Lógica & Filosofia
I'm a title. Click here to edit me
Metateoremas da Lógica Clássica
Código da disciplina: MCZB022 - 17 Créditos: 4 – 0 – 4
Este sítio não tem caráter oficial relativamente à Universidade Federal do ABC e tampouco representa os outros professores.
Quadrimestre letivo
xxx quadrimestre letivo de xxx
....
Turmas e horários
diurno, turma X, campus Santo André
xxx-feira, xxhsxx – xxhsxx, sl xx-x, Bloco A
xxx-feira, xxhsxx – xxhsxx, sl xx-x, Bloco A
Atendimento
campus de Santo André
Bloco B, sala 1011
Horário
xxxx-feira
xxhsxx - xxhsxx
xx de xxxx, xxx-feira
00hs00 - 00hs00
vistas de avaliação
Monitoria
campus de Santo André
Bloco x, sala x-xxx,
Horário
xx de xxx, xxx-feira, xxhs00 - xxhs00
Avaliações e conceitos
Avaliações, faltas e conceitos parciais
turma X, diurno, SA
resultados, recuperação e conceitos parciais
turma X, xxx, SA
resultados, recuperação e conceitos parciais
Ementa
Caracterização da lógica de primeira ordem e a investigação de algumas propriedades. Distinção entre teoria e metateoria. Utilização de técnicas semânticas e sintáticas destinadas a estudar e provar propriedades de sistemas formais, e.g., consistência, completude de Gödel, decidibilidade, compacidade. Investigação da própria concepção de prova formal e outras noções associadas, por exemplo, rigor, intuição. Estudo de fundamentos e limites dos métodos lógicos-matemáticos. Prova e investigação dos Teoremas de Incompletude de Gödel, Lema de Lindenbaum, Teorema de Löwenheim-Skolem, Teorema de Tarski, noção de categoricidade.
Tabela de conceitos
Comunicados & informes
Encontram-se disponíveis:
Cadernos sumários
x x x x x x x
Questionários
x x x x x x
Avaliações quadrimestrais
estimativas de datas
turma X: Av1: xx de xxx & Av2: xx de xxx
tolerância para atraso, 15 minutos
Avaliação de recuperação
se for o caso, realizar-se-á eventualmente em datas
e horários não necessariamente coincidentes com aqueles das aulas
turma X: xx de xxx, xxx-feira, 00hs00
campus Santo André, bloco A, torre x, sala xxx-x
Avaliação substitutiva
se for o caso, realizar-se-á eventualmente em datas
e horários não necessariamente coincidentes com aqueles das aulas
turma X: xx, xxx, xxx-feira, 00hs00-00hs00
campus Santo André, bloco A, torre x, sala xxx-x