Uma lista de links que irão auxiliá-lo no estudo da disciplina.

Sumário

• Material de Estudo
• Exercícios
• Projetos Antigos

Material de Estudo

• Ebook Lógica de Programacao para iniciantes - Gustavo Furtado de Oliveira Alves
• Material de Lógica da DAINF
• Dedução Natural
• Introdução e Histórico - Tiago Massoni

Exercícios

• Listas de Exercícios (2014 a 2018)

Ferramentas para estudo

• Gerador de tabelas verdade
• Gerador de tableau semântico

Projetos Antigos

• Arquivos
• Biblioteca
• Clínica
• Condomínio
• Dropbox
• Gerenciamento de Condomínio
• Hospital
• Petshop
• Telecomunicações
• Xbox