Catálogo en línea Biblioteca Central SIGB-UNAP

Lógica para Informáticos / Rafel Farré Cirera / Alfaomega Grupo Editor (2012)

Título :	Lógica para Informáticos
Tipo de documento:	texto impreso
Autores:	Rafel Farré Cirera, Autor ; Robert Nieuwenhuis, Autor ; Robert Nieuwenhuis, Autor ; Robert Nieuwenhuis, Autor ; Pilar - otros Nivela Alós, Autor ; Pilar - otros Nivela Alós, Autor ; Pilar - otros Nivela Alós, Autor
Mención de edición:	1a ed.
Editorial:	Alfaomega Grupo Editor
Fecha de publicación:	2012
Número de páginas:	xii, 206 p.
Il.:	tbls.
Dimensiones:	23 cm.
ISBN/ISSN/DL:	978-607-707-165-5
Nota general:	Incluye contenido
Idioma :	Español (spa)
Clasificación:	624.183402 Hormigón. Manuales
Nota de contenido:	Preliminares -- Definición de la lógica proposicional -- Deducción en la lógica proposicional -- Definición de la lógica de primer orden -- Deducción en la lógica de primer orden -- Fundamentos de la programación lógica -- Ejercicios resueltos
Link:	https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=86305

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
23-1433-01	511.3 F23	Libros	Bib. Esp. Ing Sistemas	Estanteria (Libros)	Disponible

Lógica para Informáticos