DCC 638 – Introdução à Lógica Computacional (2024/2)

Informações gerais

  • Local e hora das aulas:

    • Turmas TZ-TZ1-TZ2: Segundas e quartas, 17:00-18:40, na sala 207 do CAD 3.
    • Turma TW-TE: Segundas e quartas, 19:00-20:40, na sala 207 do CAD 3.

  • Informações gerais sobre o curso: Tópicos, bibliografia, e métodos de avaliação (“syllabus”): [pdf]

  • Calendário de atividades: Aulas, entregas de exercícios e realização de provas (Atualizado em 2024-Nov-27): [pdf]

  • FAQ: Algumas dúvidas comuns sobre meus métodos de ensino e de avaliação estão respondidas aqui.

Material da disciplina

ConteúdoSlides de aulaListas de exercícios
Aula 0.1 - Introdução ao Curso[pdf][pdf]
Aula 1.1 - Os Fundamentos: Lógica Proposicional[pdf][pdf] (Parte A)
[pdf] (Parte B)
Aula 1.2 - Os Fundamentos: Lógica de Predicados[pdf][pdf]
Aula 1.3 - Os Fundamentos: Regras de Inferência[pdf][pdf]
Aula 1.4 - Os Fundamentos: Métodos de Demonstração[pdf][pdf]
Aula 2.1 - Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios[pdf][pdf]
Aula 2.2 - Estruturas Básicas: Cardinalidade e Enumerabilidade[pdf][pdf]
Aula 3.1 - Indução e Recursão: Indução Matemática Fraca e Indução Matemática Forte[pdf][pdf]
Aula 3.2 - Indução e Recursão: Definições Recursivas e Indução Estrutural, Algoritmos Recursivos[pdf][pdf]
Aula 4 - Álgebra Booleana[pdf][pdf]

Playlist do YouTube, gravada durante a pandemia em 2020/2.