El lenguaje de la lógica de primer orden / Jon Barwise y John Etchemendy ; traducción de Horacio Faas.
Tipo de material: Materiales mixtosIdioma: Español Lenguaje original: Inglés Detalles de publicación: Córdoba, Argentina : Brujas, 2006.Edición: 1a edDescripción: 320 p. ; 24 cm. + 1 CD-RomTema(s):Tipo de ítem | Biblioteca actual | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reservas para cursos | |
---|---|---|---|---|---|---|---|---|---|
CD-ROM, DVD | Biblioteca Elma Kohlmeyer de Estrabou Humanidades | CD0325 (Navegar estantería(Abre debajo)) | Disponible | CD0325 | |||||
Libros, Folletos, Traducciones | Biblioteca Elma Kohlmeyer de Estrabou Humanidades | 16 B 296 E (Navegar estantería(Abre debajo)) | Disponible | 070224 | |||||
CD-ROM, DVD | Biblioteca Elma Kohlmeyer de Estrabou Humanidades | CD0142 (Navegar estantería(Abre debajo)) | Disponible | NO SE PRESTA | CD0142 | ||||
Libros, Folletos, Traducciones | Biblioteca Elma Kohlmeyer de Estrabou Humanidades | 16 B 296 E (Navegar estantería(Abre debajo)) | ej.2 | Disponible | 079687 | ||||
CD-ROM, DVD | Biblioteca Elma Kohlmeyer de Estrabou Humanidades | CD0337 (Navegar estantería(Abre debajo)) | ej. 2 | Disponible | NO SE PRESTA | CD0337 | |||
CD-ROM, DVD | Biblioteca Elma Kohlmeyer de Estrabou Humanidades | CD0338 (Navegar estantería(Abre debajo)) | ej. 2 | Disponible | CD0338 | ||||
Libros, Folletos, Traducciones | Biblioteca Elma Kohlmeyer de Estrabou Humanidades | 16 B 296 E (Navegar estantería(Abre debajo)) | ej. 3 | Disponible | 077689 | ||||
Libros, Folletos, Traducciones | Biblioteca Elma Kohlmeyer de Estrabou Humanidades | 16 B 296 E (Navegar estantería(Abre debajo)) | ej. 4 | Prestado | 27/03/2024 | 085543 |
I : Introducción.
Parte I : LOGICA PROPOSICIONAL Enunciados atómicos. Conjunciones, disyunciones y negaciones. Condicionales y bicondicionales.
Parte II : CUANTIFICACIONES Introducción a la cuantificación. Enunciados con más de un cuantificador. Algunos usos específicos de cuantificadores.
Parte III : APLICACIONES DE LA LOGICA DE PRIMER ORDEN. Teoría de conjuntos de primer orden. Inducción.
Parte IV : TOPICOS AVANZADOS Tópicos avanzados de lógica proposicional. Tópicos avanzados de LPO.
MATERIAL DE REFERENCIA Cómo usar el Mundo de Tarski. Terminología de Windows. Resumen de Reglas de Demostración.
La Bca. posee 3 ejs ; el 2do. ej. fue donado sin el CD-Rom. ; el ej. 3 incluye la versión para Windows de Tarski's World 4.0.
No hay comentarios en este titulo.