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.

Objetivos: Apresentar conceitos e teoremas de lógica de primeira ordem clássica e seus usos na atividade conceitual em matemática e computação.

Bibliografia complementar

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

Notas de aula

4. Lou van den Dries, Mathematical Logic Lecture Notes (pdf)
5. David W. Kueker, Notes on Mathematical Logic (pdf)
6. Rogério Fajardo, Lógica Matemática pdf

Para os mais empolgados

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

Um livro didático

9. Leônidas HEGENBERG, Lógica. (aqui)

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 (resolução 181-Consepe). A prova será em 08/12 e quem for fazer a sub deve me enviar um email com assunto sub lógica até 07/12 dizendo qual prova faltou e com documento comprobatório (Art. 2º da res. 181)

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 com todo o conteúdo.

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.