AUTOR: DE LEDESMA archivos - Codeu https://www.codeu.org.ec/product-tag/autor-de-ledesma/ Corporación para el Desarrollo de la Educación Universitaria Tue, 21 Jan 2025 21:01:28 +0000 es hourly 1 https://www.codeu.org.ec/wp-content/uploads/2022/12/favicon-codeu-100x100.png AUTOR: DE LEDESMA archivos - Codeu https://www.codeu.org.ec/product-tag/autor-de-ledesma/ 32 32 LOGICA PARA LA COMPUTACION https://www.codeu.org.ec/libros/logica-para-la-computacion/ Tue, 21 Jan 2025 21:01:28 +0000 https://www.codeu.org.ec/?post_type=product&p=5275 TEORIAS DE PRIMER ORDEN, RESOLUCION Y ELEMENTOS DE PROGRAMACION LOGICA Y PROLOG

Introducción
Capítulo 1. Teorías de primer orden.
Capítulo 2. Resolución.
Capítulo 3. Elementos de programación lógica y prolog.
Apéndice A. Definiciones y demostraciones inductivas.
Apéndice B. Adecuación de las tablas analíticas.
Apéndice C. Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden.
Referencias
Índice alfabético

La entrada LOGICA PARA LA COMPUTACION se publicó primero en Codeu.

]]> La entrada LOGICA PARA LA COMPUTACION se publicó primero en Codeu.

]]>