Lógica para matemáticos

By: Material type: TextTextSeries: Lógica y teoría de la cienciaPublication details: Madrid : Paraninfo, 1981Subject(s):
Contents:
1- Cálculo de enunciados informal 2- Cálculo de enunciados formal -- 3- Cálculo de predicados informal -- 4- Cálculo de predicados formal 5- Sistemas matemáticos 6- El Teorema de Incompletitud de Gödel 7- Computabilidad, insolubilidad, indecidibilidad -- Ap. Conjuntos numerables y no numerables -- Indicaciones y soluciones de ejercicios seleccionados -- Bibliografía -- Glosario de símbolos -- Indice alfabético.
Item type: Fotocopia
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Current library Call number Status Date due Barcode
Biblioteca Fac.Informática F.4.1 HAM (Browse shelf(Opens below)) Available DIF-F248
Biblioteca Fac.Informática F.4.1 HAM (Browse shelf(Opens below)) Available DIF-F161
Biblioteca Fac.Informática F.4.1 HAM (Browse shelf(Opens below)) Available DIF-F179
Biblioteca Fac.Informática F.4.1 HAM (Browse shelf(Opens below)) Available DIF-F184
Biblioteca Fac.Informática F.4.1 HAM (Browse shelf(Opens below)) Available DIF-F189

Copia anillada. --

1- Cálculo de enunciados informal 2- Cálculo de enunciados formal -- 3- Cálculo de predicados informal -- 4- Cálculo de predicados formal 5- Sistemas matemáticos 6- El Teorema de Incompletitud de Gödel 7- Computabilidad, insolubilidad, indecidibilidad -- Ap. Conjuntos numerables y no numerables -- Indicaciones y soluciones de ejercicios seleccionados -- Bibliografía -- Glosario de símbolos -- Indice alfabético.

There are no comments on this title.

to post a comment.

Powered by Koha