Introdução à Lógica Computacional

Course given by DCC-UFMG

---

• Plano de ensino
• Instructor:
  • Haniel Barbosa, Office 4323, DCC, hbarbosa@dcc.ufmg.br

---

Outline

1. Introdução à Lógica Computacional

---

TODO