Elementos de lógica formal / Calixto Badesa, Ignasia Jané y Ramon Jansana
Tipo de material:
TextoSeries Detalles de publicación: Barcelona, España : Editorial Ariel, c2007Edición: 2a ed. actDescripción: 381 p. : il. ; 24 cmISBN: - 8434487772
- 9788434487772
- BC 108 B134 2007
| Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | |
|---|---|---|---|---|---|---|---|---|---|---|---|
Libros para consulta en sala
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | COLECCIÓN RESERVA | BC 108 B134 2007 (Navegar estantería(Abre debajo)) | 1 | No para préstamo | Ing. Telematica | 025072 | |||
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | BC 108 B134 2007 (Navegar estantería(Abre debajo)) | 2 | Disponible | Ing. Telematica | 025073 | |||
|
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | BC 108 B134 2007 (Navegar estantería(Abre debajo)) | 3 | Disponible | Ing. Telematica | 025074 | |||
|
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | BC 108 B134 2007 (Navegar estantería(Abre debajo)) | 4 | Disponible | Ing. Telematica | 025075 | |||
|
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | BC 108 B134 2007 (Navegar estantería(Abre debajo)) | 5 | Disponible | Ing. Telematica | 025076 |
Navegando Biblioteca Antonio Enriquez Savignac estanterías, Colección: COLECCIÓN RESERVA Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| No hay imagen de cubierta disponible | ||||||||
| 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
