UNIVERSIDADE FEDERAL DA PARAÍBA
CAMPUS IV: LITORAL NORTE
DEPARTAMENTO DE CIÊNCIAS EXATAS
LICENCIATURA EM CIÊNCIA DA COMPUTAÇÃO
PLANO DE CURSO
DISCIPLINA
- Nome: Lógica Aplicada à Computação
- Carga Horária: 60h
- Professor: Alexandre Duarte - aduarte@ccae.ufpb.br
- Período: 2008.2
EMENTA
Cálculo proposicional. Lógica sentencial e de primeira ordem. Sistemas dedutivos naturais e axiomáticos. Completude, consistência e coerência. Formalização de problemas. Formalização de programas e sistemas de computação simples.
OBJETIVO GERAL
Apresentar a Lógica Matemática e sua estreita correlação com as disciplinas de Computação; compreender o funcionamento dos mecanismos lógicos de representação e de análise, como o cálculo proposicional, destacando os conceitos de argumento, semântica e sintática. Aprender os fundamentos e aplicações das regras dedutivas e principalmente, aprender a lógica de primeira ordem. Apresentar finalmente, os principais teoremas e axiomas que originaram a programação em Lógica.
OBJETIVOS ESPECÍFICOS
Ao final da disciplina, os alunos deverão ter condições de:
- reconhecer e trabalhar com os símbolos formais que são usados nas lógicas proposicional e de 1a ordem
- avaliar o valor-verdade de uma expressão na lógica proposicional
- avaliar o valor-verdade de uma fórmula de 1a ordem em alguma interpretação
- usar a lógica proposicional e a lógica de 1a ordem para representar e avaliar argumentos (problemas)
- construir demonstrações formais nas lógicas proposicionais e de 1a ordem e usá-las para determinar a validade de um argumento (ou a solução de um problema)
CONTEÚDO PROGRAMÁTICO
| Assunto | Horas |
| 1 Introdução 1.1 Lógica: Origens e Relação com a Computação 1.2 Revisão sobre Teoria de Conjuntos | 12 |
| 2 Lógica Proposicional 2.1 Introdução 2.2 Operações Lógicas sobre Proposições 2.3 Construção de Tabelas-verdade 2.4 Tautologias, Contradições e Contingências 2.5 Implicação e Equivalência 2.6 Álgebra das Proposições 2.7 Método Dedutivo 2.8 Argumentos e Regras de Inferência | 24 |
| 3 Lógica de Predicados 3.1 A Sintaxe da Lógica de 1a Ordem 3.2 Linguagem da Lógica de 1a Ordem 3.3 Formas de Argumento e Formalização 3.4 Regras de Inferência e Prova de Teorema 3.5 A Semântica da Lógica de 1a Ordem 3.6 Semântica dos Operadores e Interpretação 3.7 Satisfatibilidade, Validade e Consequência Lógica 3.8 Teoria da 1a Ordem 3.9 Sistema Formal: Completude e Coerência 3.10 Formas Normais (Prenex e Scolem) | 24 |
| Total de Horas | 60 |
METODOLOGIA
Aulas expositivas utilizando os recursos didáticos; aulas práticas ou de exercícios; trabalhos individuais ou em grupo.
RECURSOS DIDÁTICOS
Quadro branco e pincel atômico. Retroprojetor e transparências. Livros e apostilas. Microcomputador e softwares específicos.
MODOS E MEIOS DE AVALIAÇÃO
A freqüência, a participação nas discussões, a iniciativa e a organização serão avaliadas subjetivamente. A absorção do conteúdo será avaliada por meio de três avaliações escritas e/ou trabalhos individuais/em grupo.
REFERÊNCIAS BIBLIOGRÁFICAS
- JUDITH L. GERSTING: FUNDAMENTOS MATEMÁTICOS PARA A CIÊNCIA DA COMPUTAÇÃO, LTC EDITORA, 5A EDIÇÃO, 1995.
- JOÃO NUNES DE SOUZA: LÓGICA PARA CIÊNCIA DA COMPUTAÇÃO, EDITORA CAMPUS, 2002.
- JOHN NOLT & DENNIS ROHATYN: LÓGICA, MAKRON BOOKS DO BRASIL, 1991.
- CHIN-LIANG CHANG & RICHARD CHAR-TUNG LEE: SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING, ACADEMIC PRESS, 1973.
- MORTARI, CEZAR A.; INTRODUÇÃO À LÓGICA; IMPRENSA OFICIAL; ED. UNESP
- MARCO A. CASANOVA, FERNANDO GIORNO E ANTÔNIO L. FURTADO: PROGRAMAÇÀO EM LÓGICA, EDITORA EDGARD BLUCHER, 1987.
- HERBERT B. ENDERTON: A MATHEMATICAL INTRODUCTION TO LOGIC, ACADEMIC PRESS, 1972.
