Cover Image

Lógica simbólica para informáticos /

Saved in:
Bibliographic Details
Main Author: Julián Iranzo, Pascual
Format: Book
Language: Spanish
Published: Bogotá : Alfaomega Colombiana, 2011.
Edition: 4a reimp.
Subjects:
Lenguajes de programación (Computadores electrónicos)
Lógica simbólica y matemática
Notas Contenido:
  • Introducción a la lógica
  • Lógica de proposiciones y predicados: Semántica, Cálculo axiomático y propiedades formales, Cálculo de deducción natural
  • Extensiones y otras lógicas: extensiones de la lógica de predicados
  • Otras lógicas: lógica clásica, multivalente, modal, temporal, intuicionista, no monótona
  • Fundamentos matemáticos: conjuntos, relaciones y funciones, números naturales y principio de inducción matemática
  • Notaciones para los operadores lógicos
  • reglas de inferencia.

Similar Items

Similar Items