Cursos‎ > ‎Cursadas Anteriores‎ > ‎2020‎ > ‎Mañ-Jueves‎ > ‎Bitácora Jueves Mañana 2020‎ > ‎

Clase 11 - Intro al Paradigma Lógico

publicado a la‎(s)‎ 17 jun 2020 19:20 por Alf Sanzo   [ actualizado el 18 jun 2020 11:11 ]
La clase comienza 9:15.

Comenzaremos por mirar este video de intro a lógico, y luego 10:15 retomaremos clase. Recuerden que los videos pueden reproducirse más rápido si lo necesitan, eligiendo la velocidad en la tuerquita.


Materiales que dan soporte a los temas de hoy
   Tipo  Qué
1 Google Meet 
 En el link de siempre.
2 Diapos Las diapos de la clase
 3  Video 45' + Diapos  Intro a Lógico (diapos del video)
 4 Repo Código de hoy
 5 Mumuki Guías 1, 2, y mitad de la 3 de mumuki
6 Apuntes  Módulo 1: Predicados. Individuos. Consultas. Universo Cerrado. 
Módulo 2: Variables. Consultas Existenciales. Reglas simples y compuestas. Inversibilidad.
Anexo A: Testeo con PlUnit
   

Tarea obligatoria para la clase que viene

    Tipo  Qué  Fecha de entrega / finalización
1  Guía de instalación Guía de instalación de SWI-Prolog.
Deben instalarse el entorno para hacer el primer TP Individual de lógico		 Lunes 22/06 23:59 hs
2  TP 1 Individual Enunciado y classroom.  Lunes 22/06 23:59 hs

Tarea recomendada para la clase que viene

    Tipo  Qué  Fecha de entrega / finalización
 1 Desafío "café con leche" Quien primero resuelva el desafío pirámide de números en prolog 
¡respetando los conceptos de la materia! y lo envíe por privado
a la casilla indicada por mail ganará un premio.		 -
 2 Ejercicio VSCode Hacer el último punto (punto 7: rioplatense) del enunciado de clase.
Está en las diapos de clase y en el repo de la clase.		Miércoles 24/06 23:59 hs 
 3  Guía Mumuki  Guías 3 a 7 de Mumuki lógico: cubren los temas de la clase que viene. Miércoles 24/06 23:59 hs 
 4 Apunte Testing en Prolog con PLUnit Miércoles 24/06 23:59 hs 
Comments