Lógica simbólica para informáticos / Pascual Julian Iranzo / México, D.F. : Alfaomega Grupo Editor (2005)

Público ISBD Vista personalizada Título : Lógica simbólica para informáticos Tipo de documento: texto impreso Autores: Pascual Julian Iranzo, Autor Mención de edición: Primera edición Editorial: México, D.F. : Alfaomega Grupo Editor Fecha de publicación: 2005 Colección: Alfaomega Ra-Ma Número de páginas: xxii, 299 páginas Il.: diagrama, tablas Dimensiones: 23 cm ISBN/ISSN/DL: 978-970-15-1072-8 Nota general: Incluye referencias bibliográficas Idioma : Español (spa) Clasificación: 004.0151 Principios matemáticos Nota de contenido: Introducción a la lógica -- Semántica -- Cálculo axiomático y propiedades formales -- Calculo de deducción natural -- Semántica -- Cálculo axiomático y propiedades formales -- Cálculo de deducción natural -- Extensiones de la lógica de predicados -- Otras lógicas. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=24171 Lógica simbólica para informáticos [texto impreso] / Pascual Julian Iranzo, Autor  . -  Primera edición . - México, D.F. : Alfaomega Grupo Editor, 2005 . - xxii, 299 páginas : diagrama, tablas ; 23 cm. - (Alfaomega Ra-Ma) . ISBN : 978-970-15-1072-8 Incluye referencias bibliográficas Idioma : Español (spa) Clasificación: 004.0151 Principios matemáticos Nota de contenido: Introducción a la lógica -- Semántica -- Cálculo axiomático y propiedades formales -- Calculo de deducción natural -- Semántica -- Cálculo axiomático y propiedades formales -- Cálculo de deducción natural -- Extensiones de la lógica de predicados -- Otras lógicas. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=24171 Lógica simbólica para informáticos Julian Iranzo, Pascual - México, D.F. : Alfaomega Grupo Editor - 2005 Incluye referencias bibliográficas Introducción a la lógica -- Semántica -- Cálculo axiomático y propiedades formales -- Calculo de deducción natural -- Semántica -- Cálculo axiomático y propiedades formales -- Cálculo de deducción natural -- Extensiones de la lógica de predicados -- Otras lógicas.

Reserva

Reservar este documento

Ejemplares (2)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
20728-62231-01	004.0151 J87 V.1072	Libros	Biblioteca Central	Area Ingenierías ( 1er. Piso )	Disponible
20728-62232-02	004.0151 J87 V.1072	Libros	Biblioteca Central	Area Ingenierías ( 1er. Piso )	Disponible

---

1 (1 - 1 / 1)