plano de ensino
TRANSCRIPT
Centro de Educação Superior de Brasília – CESB
INSTITUTO DE EDUCAÇÃO SUPERIOR DE BRASÍLIA - IESBDIRETORIA ACADÊMICA
CURSO : CIÊNCIA DA COMPUTAÇÃOPlano de Curso
IDENTIFICAÇÃO:CURSO: Ciência da Computação Carga Semestral: 60 horasDISCIPLINA: Fundamentos de Lógica Carga Semanal: 3 horasPERÍODO MINISTRADO: 1/2010 Turma: CCON1ASEMESTRE/ANO: Turno: NoturnoDOCENTE: Pedro Henrique Valente Mendes e-mail: [email protected]
2. EMENTA:Histórico evolutivo. Fundamentos de Lógica: Lógica Sentencial e Lógica de primeira ordem. Notação clausal e o Teorema de Herbrand. Prova Automática de Teoremas: Resolução, Refutação por Resolução, Eliminação de Modelos e Negação por falha finita
3. OBJETIVO GERAL Apresentar ao aluno os fundamentos da lógica matemática, sistemas de prova, semântica, formalização e aplicações.
3.1 OBJETIVOS ESPECÍFICOS
Em conjunto com a disciplina Matemática Discreta e de forma complementar à disciplina Algoritmos e Programação de Computadores, o objetivo de Lógica é contribuir no fornecimento de base ao aluno para que este seja capaz de construir e definir formalmente conceitos fundamentais da computação, de desenvolver algoritmos, de resolver eficientemente problemas em ambientes computacionais, além de contribuir no desenvolvimento de seu raciocínio abstrato, do ponto de vista lógico-matemático.
4. CONTEÚDO PROGRAMÁTICO:
Histórico e Evolução da Lógica Lógica Proposicional Motivação e Introdução Sentenças declarativas Linguagem Formal Computação de tabelas-verdade Noções de verdade e validade Provas Semântica Significado dos conetivos lógicos Correção da lógica proposicional Completude da lógica proposicional Lógica de Predicados Motivação e Introdução Lógica de Predicados como uma linguagem formal Provas Sistema de Dedução Natural
Princípio da resolução Outros sistemas de prova Semântica Modelos Conseqüência lógica Semântica da igualdade Correção e Completude da Lógica de Predicados
5. METODOLOGIASerão utilizados os seguintes métodos para aprendizagem:a) Exposição pelo professor;b) Trabalhos independentes (listas de exercícios, produção de textos, etc);c) Trabalhos em grupo (listas de exercícios, apresentação oral ou escrita, etc).
6. AVALIAÇÃO:
a) Em cada bimestre letivo haverá um conjunto de avaliações, composto por prova(s) e trabalho(s).b) No primeiro bimestre, esse conjunto de avaliações terá nota A1 e no segundo bimestre, nota A2;c) As notas avaliativas A1 e A2 representarão 90% (noventa por cento) da menção. Os 10% (dez por
cento) restantes compreenderão a avaliação institucional ( EDADE);d) Os alunos que não realizarem as provas bimestrais (P1 e P2) poderão fazê-las em caráter
substitutivo, cujas regras serão divulgadas em Resolução do CONSEPE – Conselho Superior). As demais avaliações, tais como os trabalhos, deverão ser entregues na data estipulada pelo docente, não cabendo substituição;
e) Será aprovado na disciplina o aluno que obtiver no mínimo a média 5,0 (cinco), considerando o seguinte critério:
f) Para a aluno que não obtiver a média mínima de 5,0 (cinco ) será realizada uma A3 ( com toda a matéria do semestre ), sendo aprovado na disciplina o aluno que obtiver no mínimo a média final de 5,0 ( cinco ), considerando o seguinte critério:
BIBLIOGRAFIA BÁSICA
ABE, Jair Minoro; SCALZITTI, Alexandre; SILVA FILHO, João Inácio da. Introdução à lógica para a ciência da computação . 2. ed. São Paulo: Arte & Ciência, 2002.
SOUZA, João Nunes. Lógica para ciência da computação. Rio de Janeiro: Campus, 2002.
BIBLIOGRAFIA COMPLEMENTARSOARES, Edvaldo. Fundamentos de lógica. São Paulo: Atlas, 2003.
KELLER, Vicente, BASTOS, Cleverson L. Aprendendo lógica. Petrópolis/RJ: Vozes, 2002.
SOUZA, Joao Nunes de. Lógica para ciência da computação: fundamentos de linguagem, semântica e
sistemas de dedução. Rio de Janeiro: Campus, 2002.