Cálculo proposicional (ou sentencial) clássico: noções de linguagem, conectivos, dedução e teorema, semântica de valorações. Cálculo clássico de predicados de primeira ordem: os conceitos de linguagem de primeira ordem, igualdade, teorema da dedução, conseqüência sintática. Semântica: noções de interpretação, verdade em uma estrutura, modelo. O conceito formal de teoria, fecho dedutivo. Exposição informal de temas, e.g., acerca da consistência de teorias, completude de teorias.

Bibliografia complementar

1. D. Van DALEN, Logic and structure. (pdf) [511.3 DALl4]
2. R. SMULLYAN, Lógica de primeira ordem. [511.3 SMUl]
3. M. BEN-ARI, Mathematical Logic for Computer Science Livro eletrônico (IP da UFABC) [005.133 BENAad2]
4. C. MORTARI, Introdução à lógica. [511.3 MORTin]

Notas de aula

5. Lou van den Dries, Mathematical Logic Lecture Notes (pdf)
6. David W. Kueker, Notes on Mathematical Logic (pdf)
7. Stefan Bilaniuk, A Problem Course in Mathematical Logic Version 1.6 (pdf)
8. Rogério Fajardo, Lógica Matemática pdf

Para os mais empolgados

9. Joseph R. SHOENFIELD, Mathematical logic [511.3 SHOEma]
10. Peter G HINMAN, Fundamentals of mathematical logic [511.3 HINf]

Material Complementar

1. Logicomix: An epic search for truth by Apostolos Doxiadis, Christos Papadimitriou
2. R. Bianconi, Como ler e estudar matemática?
3. Fernando Q. Gouvêa e Shai Simonson, How to Read Mathematics ( uma tradução "rápida e grosseira", segundo o tradutor, aqui).

Sub: Para o aluno que faltou em dia de prova com uma justificativa válida a ser realizada em 25/08.

Exame: Qualquer aluno que não reprovou por falta pode fazer o exame de recuperação. Nesse caso, o conceito final será o conceito obtido no exame. O exame será realizada em 30/08 com todo o conteúdo. Os alunos que têm intenção de fazer o exame devem enviar um email até 20hs do dia 29/08 com assunto exame-logica-matutino ou exame-logica-noturno (de acordo com o período no qual fará o exame).

A avaliação final de cada aluno não será o resultado de alguma média feita a partir das avaliações. O resultado de cada avaliação reflete o desempenho do aluno em todo o curso até aquele instante. Isso significa que a cada conceito atribuído durante o curso leva em conta o resultado das avaliações até o momento. O conceito final da disciplina poderá ser:

F - Reprovado. O aluno deve cursar novamente a disciplina.

D - Aproveitamento mínimo não satisfatório dos conceitos da disciplina, com familiaridade parcial do assunto e alguma capacidade para resolver problemas simples, mas demonstrando deficiências que exigem trabalho adicional para prosseguir em estudos avançados. Nesse caso, o aluno é aprovado na expectativa de que obtenha um conceito melhor em outra disciplina, para compensar o conceito D no cálculo do CR.

C - Desempenho mínimo satisfatório, demonstrando capacidade de uso adequado dos conceitos da disciplina, habilidade para enfrentar problemas relativamente simples e prosseguir em estudos avançados.

B - Bom desempenho, demonstrando boa capacidade de uso dos conceitos da disciplina.

A - Desempenho excepcional, demonstrando excelente compreensão da disciplina e do uso da matéria.