Cursosā€Ž > ā€ŽMartes Anualā€Ž > ā€ŽBitĆ”coraā€Ž > ā€ŽBitĆ”cora - Martes MaƱanaā€Ž > ā€Ž

Clase08

QuƩ vimos hoy?
  • Introducción al paradigma lógico
  • Predicado, clĆ”usula, individuos simples (Ć”tomos y nĆŗmeros)
  • is/2, Solo para cuentas.
  • SimetrĆ­a vs. Inversibilidad
Tarea

Resumen clase 1, 2 y 3