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
Demonstrações
Funções, sequências
Indução e Recursão
Lógica de predicados
Lógica proposicional
Recursão
Teoria dos Conjuntos
Álgebra Booleana e Circuitos Lógicos
Indução matemática
Leituras
Notas de aula
.
Do livro texto:
Capítulo 4.1 (indução fraca)
Capítulo 4.2 (indução forte)