Lógica para informáticos /

Por:

Farré Cirera, Rafael

Colaborador(es):

Tipo de material:

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
Imagen de cubierta	Tipo de ítem	Biblioteca actual	Biblioteca de origen	Colección	Ubicación en estantería	Signatura topográfica	Materiales especificados	Info Vol	URL	Copia número	Estado	Notas	Fecha de vencimiento	Código de barras	Reserva de ítems	Prioridad de la cola de reserva de ejemplar	Reservas para cursos
	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.