El lenguaje de la lógica de primer orden / Jon Barwise y John Etchemendy ; traducción de Horacio Faas.

Por: Colaborador(es): Tipo de material: Materiales mixtosMateriales 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):
Contenidos:
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.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Existencias
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 CD-ROM, DVD Biblioteca Elma Kohlmeyer de Estrabou Humanidades CD0325 (Navegar estantería(Abre debajo)) Disponible CD0325

Lógica I / Lógica Formal

Libros, Folletos, Traducciones Libros, Folletos, Traducciones Biblioteca Elma Kohlmeyer de Estrabou Humanidades 16 B 296 E (Navegar estantería(Abre debajo)) Disponible 070224

Lógica I / Lógica Formal

CD-ROM, DVD CD-ROM, DVD Biblioteca Elma Kohlmeyer de Estrabou Humanidades CD0142 (Navegar estantería(Abre debajo)) Disponible NO SE PRESTA CD0142

Lógica I / Lógica Formal

Libros, Folletos, Traducciones Libros, Folletos, Traducciones Biblioteca Elma Kohlmeyer de Estrabou Humanidades 16 B 296 E (Navegar estantería(Abre debajo)) ej.2 Disponible 079687

Lógica I / Lógica Formal

CD-ROM, DVD CD-ROM, DVD Biblioteca Elma Kohlmeyer de Estrabou Humanidades CD0337 (Navegar estantería(Abre debajo)) ej. 2 Disponible NO SE PRESTA CD0337

Lógica I / Lógica Formal

CD-ROM, DVD CD-ROM, DVD Biblioteca Elma Kohlmeyer de Estrabou Humanidades CD0338 (Navegar estantería(Abre debajo)) ej. 2 Disponible CD0338

Lógica I / Lógica Formal

Libros, Folletos, Traducciones Libros, Folletos, Traducciones Biblioteca Elma Kohlmeyer de Estrabou Humanidades 16 B 296 E (Navegar estantería(Abre debajo)) ej. 3 Disponible 077689

Lógica I / Lógica Formal

Libros, Folletos, Traducciones 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

Lógica I / Lógica Formal

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.

para colocar un comentario.

^

^

^