Elementos de lógica formal / Calixto Badesa, Ignasia Jané y Ramon Jansana
Material type:
TextSeries: Publication details: Barcelona, España : Editorial Ariel, c2007Edition: 2a ed. actDescription: 381 p. : il. ; 24 cmISBN: - 8434487772
- 9788434487772
- BC 108 B134 2007
| Item type | Current library | Home library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|---|---|
Libros para consulta en sala
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | COLECCIÓN RESERVA | BC 108 B134 2007 (Browse shelf(Opens below)) | 1 | No para préstamo | Ing. Telematica | 025072 | |||
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | BC 108 B134 2007 (Browse shelf(Opens below)) | 2 | Available | Ing. Telematica | 025073 | |||
|
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | BC 108 B134 2007 (Browse shelf(Opens below)) | 3 | Available | Ing. Telematica | 025074 | |||
|
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | BC 108 B134 2007 (Browse shelf(Opens below)) | 4 | Available | Ing. Telematica | 025075 | |||
|
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | BC 108 B134 2007 (Browse shelf(Opens below)) | 5 | Available | Ing. Telematica | 025076 |
Browsing Biblioteca Antonio Enriquez Savignac shelves, Collection: COLECCIÓN RESERVA Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| BC 75 G88 Introducción a la lógica / | BC75 G9844 Introducción a la lógica / | BC75 G9844 2000 Introducción a la lógica / | BC 108 B134 2007 Elementos de lógica formal / | BC 108 C783 Introducción a la lógica / | BC 108 S53 1997 Logic and its limits / | BC 117 .S6 D43 Introducción a la lógica formal / |
Incluye índice
Nociones de teoría de conjuntos -- El concepto de conjunto -- Operaciones con conjuntos -- Relaciones -- Funciones -- Conjuntos finitos e infinitos -- Lógica proposicional -- Sintaxis de los lenguajes proposicionales -- Semántica de los lenguajes proposicionales -- Equivalencia lógica -- Consecuencias lógica -- Formas normales -- Lógica proposicional y lenguaje natural -- Lógica de primer orden -- Sintaxis de los lenguajes de primer orden -- Semántica de los lenguajes de primer orden -- Verdad, equivalencia y consecuencia lógica -- Lógica de primer orden símbolos funcionales -- Cálculo de deductivo -- Teorías y modelos -- Apéndice A. Soluciones a los ejercicios señalados -- Apéndice B. Alfabeto griego
Fondos PIFI Compra 110304 517.50
