La lógica como lenguaje de programación

Título:

La lógica como lenguaje de programación: aspectos declarativos y procedurales

Autor:

Smith, Clara Patricia

Colaboradores:

Temas:

PROGRAMACIÓN LÓGICA ; LÓGICA ; 

Localización electrónica:

http://sedici.unlp.edu.ar/handle/10915/162904

Serie:

Libros de Cátedra

Descripción física:

89 p. :il.

ISBN:

9789503423400

Idioma:

Español, 

País:

Argentina

Publicación:

La Plata : Edulp, 2023

Nota general:

Copia impresa de libro digital

Puede solicitar más fácilmente el ejemplar con: D.1.6 SMI

Introducción

Capítulo 1
Determinación de satisfactibilidad en la lógica de enunciados 

 Capítulo 2
Determinación de satisfactibilidad en la lógica de primer orden 

 Capítulo 3
El enfoque orientado a modelos

 Capítulo 4
El enfoque orientado a pruebas 

 Epílogo 
 La autora