Lógica
Objetivos
Perceber a dicotomia sintase/semântica e demonstração/verdade. Familiarizar-se com a Lógica de primeira ordem, e os seus resultados fundamentais.
Caracterização geral
Código
8526
Créditos
6.0
Professor responsável
Herberto de Jesus da Silva
Horas
Semanais - 2
Totais - 54
Idioma de ensino
Português
Pré-requisitos
Conhecimentos habitualmente ministrados numa Licenciatura em Matemática.
Bibliografia
Mathematical Logic, A course with exercises, Part I and Part II, de Cori and Lascar, Oxford.
Método de ensino
As aulas são teórico-práticas e consistem na exposição da teoria, que é ilustrada com exemplos de aplicação, e na resolução de exercícios.
Método de avaliação
Regras de Avaliação
1. Requisitos
Só poderão efectuar qualquer das provas os alunos que se tenham inscrito no CLIP, dentro do prazo definido para o efeito, e que no acto da prova sejam portadores de um caderno de teste (em branco), do Cartão de Cidadão (ou Bilhete de Identidade) e do Cartão de Estudante válidos.
2. Avaliação contínua
Realizam-se dois testes durante o semestre.
a) Podem apresentar-se a qualquer dos testes todos os alunos inscritos na disciplina.
b) A classificação dos testes, CT, obtém-se fazendo a média aritmética das classificações, não arredondadas, obtidas nos testes. Se a CT (arredondada às unidades) for inferior 10 o aluno pode apresentar-se a exame. Se CT (arredondada às unidades) for superior, ou igual, a 10, o aluno fica aprovado com essa classificação.
3. Exame
a) Todo o aluno ainda não aprovado e que esteja inscrito na disciplina pode apresentar-se a exame.
b) Se a classificação, arredondada às unidades, for inferior a 10, o aluno reprova. Se a classificação, arredondada às unidades, for superior, ou igual, a 10, o aluno fica aprovado com essa classificação.
4. Melhoria de nota
a) Todo o aluno que pretenda obter melhoria de nota deve cumprir, para esse efeito, as formalidades legais de inscrição.
b) Para obter melhoria de nota, é necessário que o aluno se apresente a exame.
c) A classificação é obtida de acordo com b) do ponto 3. Se este resultado for superior ao já obtido anteriormente na disciplina, será tomado como nota final. Caso contrário, não se verifica melhoria de nota.
Conteúdo
1. Cálculo proposicional;
2. Cálculo de predicados;
3. Teoremas da completude;
4. Teoria da recursão;
5. Formalização da aritmética, teoremas de Gödel.