Introdução à Lógica Computacional

Course given by DCC-UFMG

---

• Plano de ensino
• Instructor:
  • Haniel Barbosa, Office 4323, DCC, hbarbosa@dcc.ufmg.br
  • Ernesto Soldevila, mallkuernesto@gmail.com

---

Outline

1. Introdução à Lógica Computacional
   1. Lógica de predicados
   2. Demonstrações
      1. Regras de inferência
      2. Métodos de demonstração
   3. Teoria dos conjuntos
   4. Indução
   5. Álgebra Booleana e circuitos lógicos

---

Lógica proposicional

Lógica de predicados

Demonstrações

Regras de inferência

Métodos de demonstração

Teoria dos conjuntos

Indução

Álgebra Booleana e circuitos lógicos