Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
Introdução à Lógica Computacional
Aulas
Avaliações
Notes
Cardinalidade de conjuntos
Funções, sequências
Indução e Recursão
Lógica de predicados
Lógica proposicional
Métodos de demonstração
Recursão
Regras de inferência
Teoria dos Conjuntos
Álgebra Booleana e Circuitos Lógicos
Grading
Value
When
Prova 1
40
03/05
Prova 2
40
26/06
Participação
10
Ao longo do semestre
Listas de exercício
10
Ao longo do semestre