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.

Table of Contents:

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