1º semestre de 2020
Sala B04.
Fajardo, R. A. Lógica Matemática. Edusp
Stoll, R. Set Theory and Logic. Dover Publications, Inc.
Smullyan, R. Lógica de Primeira Ordem. Editora Unesp.
Shoenfield, J. R. Mathematical Logic. Addison-Wesley Publishing Company.
Devido à atual crise epidemológica, as aulas estão suspensas por tempo indeterminado, conforme comunicado da reitoria. Visitem constantemente o site para verificarem eventuais atividades à distância na disciplina. Listarei as novidades pela data em que as atualizações são feitas.
17/03: disponibilizei a primeira lista de exercícios (além da lista 0), a errata do livro (a maior parte é sobre coisas em que a gente ainda não chegou na disciplina) e uma nova versão do texto sobre subfórmulas e linguagem da lógica proposicional. Criei também uma turma no aplicativo Google Sala de Aula (Google Classroom), disponível para Desktop (direto no navegador) e Smartphones. O nome da turma é "Lógica - 2020" e o código da turma é: wbb3dci. Utilizem esse código para acessar a turma. Usarei esse ambiente como meio preferencial para tirar dúvidas e receber listas resolvidas.
20/04: acrescentei um arquivo sobre semântica e forma disjuntiva normal e disponibilizei a primeira prova.
São 3 provas dadas à distância e mais 3 provas substitutivas dadas presencialmente, quando as aulas presenciais retornarem (estilo "recuperação sem prova"). Haverá um trabalho semestral. A primeira prova e o trabalho semestral têm peso 2, enquanto a segunda e terceira, peso 3. A entrega das provas resolvidas devem ser feitas preferencialmente pelo Google Sala de Aula, mas também aceito por e-mail, desde que seja em formato pdf e o título do e-mail conste MAT0359 ou MAT6601.
Listas de exercícios: a entrega das listas será opcional, recebendo uma avaliação qualitativa e não entrando diretamente no cômputo da nota, exceto, eventualmente, na nota bônus (como será explicado abaixo).
Conceito: Para os estudantes de pós-graduação, a média final será convertida para conceitos de acordo com a regras a seguir. Média menor que 4,85 (isto é, até 4,8 na planilha) será convertida para o conceito R (reprovado). Média maior ou igual a 4,85 e menor que 6,95 corresponde ao conceito C. Maior ou igual a 6,95 e menor que 8,45, conceito B. Média maior ou igual a 8,5 implicará em conceito A.
Arredondamento: Para os estudantes de graduação, notas entre 4,85 e 5,0 ou entre 2,85 e 3,0 serão arredondadas, respectivamente, para 5,0 e 3,0 (para fins de aprovação e ir para recuperação).
Nota bônus: De acordo com critérios ainda a serem decididos durante o semestre - envolvendo assiduidade às aulas, pontualidade nas entregas das listas e tendência de melhora no desempenho - poderá ser concedida uma nota bônus de até 0,5 ponto na média. Essa nota só será computada para completar a média 2,85 ou 4,85 (no caso de graduação), ou para completar o que falta para mudança de conceito (no caso de pós-graduação)
Recuperação: Será uma única prova, envolvendo todo o conteúdo do semestre, para quem tiver média maior ou igual a 3,0 e estritamente menor que 5,0. Apenas para estudantes de graduação (MAT0359). A prova de recuperação terá peso 2.
Provas: P1 (28/04) .
Errata da primeira impressão do meu livro de Lógica.
Definição rigorosa de fórmulas, grau de complexidade e subfórmulas
Semântica da lógica proposicional e forma disjuntiva normal.