Carga horária: 60 hs, turmas: B1 Ciência da Computação.
Monitoria:
Horário da aula: 3ª e 5ª-feiras na sala H-303 das 11-13h.
Meu horário de atendimento: 4ª-feiras, das 14-18hs em meu gabinete. O meu gabinete é o 4 do 4º andar – IME – Valonguinho.
Provas
P1 – 15/04/2014
P2 – 10/06/2014 – Vistas da P2 no meu gabinete dia 16/06 das 15h até às 18h.
VR – 19/06/2014 (Toda a matéria) – por causa dos jogos ela será no dia 24/06/2014. Nota VR
VS – 26/06/2014 (Toda a matéria) – Conforme avisei na VR a VS será a partir 9h aqui no Valonguinho. Vou confirmar a sala e depois atualizo.
Listas de Exercícios:
Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10
Lista 11
Lista 12 – Capítulo 13
Lista 13 – Capítulo 14
Cronograma:
18FEV Apresentação do curso, ementa, avaliação e bibliografia
20FEV Lógica Proposicional/Sequencial: Sintaxe
25FEV Lógica Proposicional: Semântica
27FEV Propriedades Semânticas das Fórmulas: válida, satisfatível, contraditóira, implica, equivalente
04MAR Carnaval
06MAR Carnaval
11MAR Propriedades Semânticas e Métodos de Validação de Fórmulas: Tabela verdade
13MAR Não teve aula
18MAR Métodos de Validação de Fórmulas: Árvore Semântica, Absurdo (ou Negação)
20MAR Conjuntos de conectivos Completos
25MAR Validade de argumentos e Sistemas Dedutivos
27MAR Sistema dedutivo axiomático
01ABR Sistema de Dedução Natural
03ABR Tableuax Semântico
08ABR Resolução
10ABR Exercícios
15ABR P1
17ABR Não haverá aula – feriado
22ABR Correção da P1 e vista de prova
24ABR Lógica de 1ª ordem
29ABR Sintática e semântica da lógica de 1ª ordem – cap. 9
01MAI Dia do trabalhador – feriado
06MAI Semântica da lógica de 1ª ordem – cap. 10
08MAI Propriedades Semânticas da lógica dos predicados – cap. 11
13MAI Tableaux Semântico – cap.13
15MAI Resolução na Lógica dos Predicados – cap. 14 (prenex)
20MAI Resolução na Lógica dos Predicados – cap. 14 (Skolemização e substituição)
22MAI Concluir com o algoritmo da unificação e fazer um exemplo
27MAI Exercícios
29MAI Exercícios
03JUN Exercícios
05JUN Não teve aula
10JUN P2
12JUN Copa – início – não vai haver aula
16JUN – no meu gabinete vistas da P2.
17JUN – não vai haver aula .
19JUN – não vai haver aula.
24JUN VR
26JUN VS
Ementa: GAN00166
1 Lógica Proposicional.
1.1 Sintaxe: sentenças, conectivos, linguagem da lógica proposicional.
1.2 Reescrita e simbolização.
1.3 Semântica: interpretação, tabelas de verdade, avaliação de sentenças.
1.4 Validade e consistência.
1.5 Equivalência lógica, redução do número de conectivos.
1.6 Conseqüência lógica.
1.7 Validade de argumentos.
2 Métodos de Prova para a Lógica Proposicional.
2.1 Tableaux.
2.2 Método axiomático: noção de dedução, teorema da dedução.
2.3 Conceito de correção e completude.
2.4 Dedução natural.
2.5 Resolução: formas normais conjuntiva e disjuntiva, notação clausal, regra de resolução.
3 Lógica de Primeira Ordem.
3.1 Insuficiência da lógica proposicional.
3.2 Sintaxe: quantificadores e variáveis, termos, enunciados, sentenças, linguagem da lógica de primeira ordem.
3.3 Reescrita e simbolização.
3.4 Semântica: interpretação, avaliação de sentenças.
3.5 Validade e consistência.
3.6 Equivalência lógica.
3.7 Conseqüência lógica.
3.8 Teorema da dedução.
3.9 Validade argumentos.
4 Métodos de prova para a lógica de primeira ordem.
4.1 Tableaux.
4.2 Dedução Natural.
4.3 Resolução: forma prenex, unificação, regra de resolução.
Diversão:
Exemplo de uma prova e de uma contra prova:
Bibliografia:
[1] J. N. de Souza. Lógica para Ciência da Computação. Campus-Elsevier, 2002.
[2] F. S. C da Silva, M. Finger, A. C. V. de Melo. Lógica para Computação. Thomson Learning, 2006.
[3] J. Nolt, D. Rohatyn. Lógica. Série Schaum, Mc Graw-Hill, 1991.
[4] C. Chang, R. T. Lee. Simbolic logic and mechanical theorem proving. Academic Press, 1973.
[5] Z. Mana. Mathematical theory of computation.Mc Graw-Hill, 1974.
[6] U. Schochoning. Logic for computer Science. Birkhauser, 1989.
[7] L. Zhongwan. Mathematical logic for computer science. 2nd ed. Adison-Wesley, 1998.
[8] D. J. Velleman. How to prove it: a structured approach. 2nd ed. Cambridge Univ. Press, 2006.
Última revisão em Junho, 2014.
Copyright ©2017 - STI - Todos os direitos reservados