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.

Antioquia/Complejo Norte: Unknown

Holdings details from Antioquia/Complejo Norte: Unknown
Call Number:	005.101 J945l
Copy Ej. 1	Available Place a Hold