Fundamentos de lógica computacional

Por:

Colaborador(es):

México Trillas 2000Descripción: 212 páginasTipo de contenido:

Tipo de medio:

Tipo de soporte:

ISBN:

Tema(s):

Clasificación CDD:

Contenidos:

Complejidad computacional, cap.4

Fundamentos de la lógica de hoare, cap.10

Introducción a los métodos formales, cap.9

Introducción, cap.1

Lógica de predicados, cap.3

Lógica modal, cap.8

Lógica proposicional, cap.2

Lógica temporal, cap.7

Regla de una literal, cap.6

Resolución, cap.5

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

Existencias
Tipo de ítem	Biblioteca actual	Colección	Signatura topográfica	Copia número	Estado	Notas	Fecha de vencimiento	Código de barras
Libro general	Biblioteca Uniagraria	General	004 / F659f (Navegar estantería(Abre debajo))	Ej. 1	Disponible	70		0100000216