La lógica como lenguaje de programación : aspectos declarativos y procedurales
Smith, Clara Patricia
La lógica como lenguaje de programación : aspectos declarativos y procedurales - La Plata : Edulp, 2023 - 89 p. : il. - Libros de Cátedra .
Copia impresa de libro digital
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
9789503423400
DIF-M8770
PROGRAMACIÓN LÓGICA
LÓGICA
La lógica como lenguaje de programación : aspectos declarativos y procedurales - La Plata : Edulp, 2023 - 89 p. : il. - Libros de Cátedra .
Copia impresa de libro digital
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
9789503423400
DIF-M8770
PROGRAMACIÓN LÓGICA
LÓGICA