Está en la página 1de 4

Instituto Tecnológico Superior de Irapuato

Ingeniería en Sistemas Computacionales

Esquema

Cláusulas de HORN

Programación Lógica y funcional

Luis Angel Fernández Hernández

Dr. Juan Pablo Serrano Rubio

Irapuato, Gto., a 09 de abril del 2020


Carretera Irapuato – Silao km 12.5 Colonia El Copal, Irapuato, Guanajuato.
C.P. 36821 Tels. 01 462 6067900, 6067602
www.tecnm.mx | www.itesi.edu.mX
Instituto Tecnológico Superior de Irapuato
Ingeniería en Sistemas Computacionales

Carretera Irapuato – Silao km 12.5 Colonia El Copal, Irapuato, Guanajuato.


C.P. 36821 Tels. 01 462 6067900, 6067602
www.tecnm.mx | www.itesi.edu.mX
Instituto Tecnológico Superior de Irapuato
Ingeniería en Sistemas Computacionales

Bibliografía:
Kowalski, R. (1979). Logic for problem solving (Vol. 7). Ediciones Díaz de Santos.

Valdez, N. J., & Falappa, M. A. (2013, June). Cambio de creencias: operadores de contracción
utilizando cláusulas de Horn. In XV Workshop de Investigadores en Ciencias de la Computación.

Valdez, N. J., & Falappa, M. A. (2014). Implementación de operadores de contracción múltiple para
bases de creencias Horn. In XX Congreso Argentino de Ciencias de la Computación (Buenos Aires,
2014).

http://gpd.sip.ucm.es/jaime/pl/sld.pdf

Carretera Irapuato – Silao km 12.5 Colonia El Copal, Irapuato, Guanajuato.


C.P. 36821 Tels. 01 462 6067900, 6067602
www.tecnm.mx | www.itesi.edu.mX
Instituto Tecnológico Superior de Irapuato
Ingeniería en Sistemas Computacionales

Evaluación del alumno en curso ordinario. CÓDIGO: FIO210704-02


No Rev: 1
Evaluación Formativa Fecha Rev: 12-05-05
Lista de Cotejo para Mapa Conceptual HOJA: 1/ 1

Materia Docente Tiempo de Fecha de aviso Porcentaje de Calificación


Evaluación de Actividad Evaluación
MODELO DE M.E. ISRAEL 2 hrs. 05 de Marzo del 30%
DESARROLLO INTEGRAL DURAN BELMAN 2020

Competencia No. 3 Áreas de Proceso


Actividad Generar un mapa Conceptual de las prácticas genéricas y específicas de las
áreas de proceso del nivel madurez 2 del modelo CMMI
Integrantes y/o Integrantes

Instrucciones para el evaluador: Marque con una “X” en la columna SI, cuando los estudiantes muestren
las evidencias correspondientes y en la columna NO, cuando no muestre los productos señalados.
Instrucciones para los estudiantes: Realizar un cuadro sinóptico sobre una investigación de la
programación orientada a objetos.

No. El esquema funcional elaborado: SI NO Peso Observaciones


1 Contiene nombre del alumno, nombre del 3
maestro, nombre de la materia y expresa
claramente la idea del tema
2 Se entregó documento/tarea en la fecha indicada 3

3 Cuida la presentación de su trabajo y su 4


ortografía

4 Incluye figuras o se apoya en imágenes 5

5 El trabajo tiene Coherencia 5

6 Entrelaza las ideas mediante palabras correctas y 5


utiliza palabras clave o jerarquiza las ideas en
orden de importancia

7 Las Referencias están ordenadas de la manera 5


siguiente: a) Publicaciones periódicas; b) Libros;
c) Tesis y d) Recursos electrónicos por apellidos
de autores y en orden alfabético. Formato APA

Total 30

Retroalimentación

Carretera Irapuato – Silao km 12.5 Colonia El Copal, Irapuato, Guanajuato.


C.P. 36821 Tels. 01 462 6067900, 6067602
www.tecnm.mx | www.itesi.edu.mX

También podría gustarte