BIBLIOTECA MANUEL BELGRANO - Facultad de Ciencias Económicas - UNC

Imagen de cubierta local
Imagen de cubierta local
Imagen de Google Jackets

Lógica para computación / Francisco S. Naishtat.

Por: Tipo de material: TextoTextoSeries Colección Informática y computaciónDetalles de publicación: Buenos Aires : Eudeba, 2017Descripción: xx, 300 pISBN:
  • 9502302826
Tema(s): Clasificación CDD:
  • 21 005.131
Contenidos:
Prefacio -- Apéndice sobre la teoría de conjuntos -- Pte.1. Cálculo de proposiciones. Introducción -- 1. Sintaxis del lenguaje formal -- 2. Semántica del lenguaje formal -- 3. Deducción, noción de modelo, inconsistencia, árboles, teoría de finitud -- 4. Escritura booleana del cálculo proposicional: álgebra de Boole de Lindenbaum -- 5. El lenguaje de cálculo de predicados -- 6. Rudimentos de la teoría de modelos -- Bibliografía.
Existencias
Tipo de ítem Biblioteca actual Signatura Estado Fecha de vencimiento Código de barras
Libro Libro Biblioteca Manuel Belgrano Depósito D 005.131 N 55308 (Navegar estantería(Abre debajo)) Disponible 55308

Bibliografía: p. 293-300.

Prefacio -- Apéndice sobre la teoría de conjuntos -- Pte.1. Cálculo de proposiciones. Introducción -- 1. Sintaxis del lenguaje formal -- 2. Semántica del lenguaje formal -- 3. Deducción, noción de modelo, inconsistencia, árboles, teoría de finitud -- 4. Escritura booleana del cálculo proposicional: álgebra de Boole de Lindenbaum -- 5. El lenguaje de cálculo de predicados -- 6. Rudimentos de la teoría de modelos -- Bibliografía.

Donación Lic. Carlos Pérez Mackeprang

No hay comentarios en este titulo.

para colocar un comentario.

Haga clic en una imagen para verla en el visor de imágenes

Imagen de cubierta local

Bv. Enrique Barros s/n - Ciudad Universitaria. X5000HRV-Córdoba, Argentina - Tel. 00-54-351-4437300, Interno 48505
Horario de Atención: Lunes a Viernes de 8 a 18

Contacto sobre Información bibliográfica: proinfo.bmb@eco.uncor.edu