MAT 349 - Introdução à Lógica
IME - 2007
Professor: Gláucio Terra
Sala 102 - A   IME
glaucio@ime.usp.br
Ramal: 9093

 

At work icon Esta página estará em construção até o final do semestre letivo.

Informações Gerais
Ementa e Bibliografia
Monitoria
Critério de avaliação
Horário e local das aulas: segundas, 19h20 às 21h00, e sextas, das 21h10 às 22h50, na sala B-03.

As Provas
Datas das Provas: P1: 01 de Outubro; P2: 26 de Novembro; Sub: 30 de Novembro.
Enunciados das Questões das Provas: P1, P2, SUB
Gabaritos das Provas: P1
Notas das Provas

Listas de Exercícios e Trabalhos
Lista 1 
Lista 2 
Trabalho 1. Data Limite para Entrega: 01/10
Trabalho 2. Data Limite para Entrega: 12/12

Textos Complementares
Elementos de Lógica Matemática e Teoria dos Conjuntos
Slides da 1a. Aula (30/07)
Slides da 2a. Aula (06/08)
Slides da 3a. Aula (10/08)
Slides da 4a. Aula (13/08)
Slides da 5a. Aula (24/08)
Slides da 6a. Aula (27/08)
Slides da 7a. Aula (10/09)
Slides da 9a. Aula (17/09)
Slides da 10a. Aula (21/09)
Slides da 11a. Aula (24/09)
Slides da 13a. Aula (05/10)
Slides da 14a. Aula (08/10)
Slides da 15a. Aula (15/10)
Slides da 16a. Aula (22/10)
Slides da 17a. Aula (29/10)
Slides da 18a. Aula (23/11)
Para Imprimir Slides (de todas as aulas)
Notas Complementares