Lógica para informáticos /

Por:

Farré Cirera, Rafael

Colaborador(es):

Tipo de material: Texto

TextoDetalles de publicación: México: Alfaomega; 2012.Edición: Primera ediciónn: Alfaomega Grupo Editor, México, mayo 2012Descripción: xii, 206 páginas : informatica; libroISBN:

9786077071655

Tema(s):

Clasificación CDD:

510.6 / F245L / C,G.

Resumen: Preliminares.-- Definición de la lógica profesional.-- Deducción en la lógica proporcional.-- 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.-- Ejercicio resueltos.

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.

Existencias
Tipo de ítem	Biblioteca actual	Signatura topográfica	Estado	Fecha de vencimiento	Código de barras
Books	CURC	510.6 / F245L / C,G. (Navegar estantería(Abre debajo))	Disponible		11000210
Books	CURC	510.6 / F245L / C,G. (Navegar estantería(Abre debajo))	Disponible		11000211

"Área: Computación. Sub área: Teoría de la computación".

Preliminares.-- Definición de la lógica profesional.-- Deducción en la lógica proporcional.-- 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.-- Ejercicio resueltos.

No hay comentarios en este titulo.

para colocar un comentario.