Lógica para Ciência da Computação
Propaganda
CENTRO UNIVERSITÁRIO DE FORMIGA CREDENCIAMENTO: Decreto publicado em 05/08/2004 RECREDENCIAMENTO: Decreto publicado em 15/12/2006 Mantenedora: Fundação Educacional Comunitária Formiguense – FUOM Plano de Ensino – Graduação Período: Turma: Disciplina: Carga Horária: Curso: Docente: 1º Ano Letivo: 2011 Semestre: 1º 1° Período A - 2011/1ºSem - Ciência da Computação Bacharel em Ciên Lógica para Ciência da Computação 80 h/a C.H. Teórica: 80 h/a C.H. Prática: 0 h/a Ciência da Computação Márcio Lopes Júnior Parte A Objetivo Geral • • • • • • • Introduzir os fundamentos da Lógica. Desenvolver o raciocínio matemático e uma mentalidade alicerçada no rigor e na observação. Desenvolver uma formação dedutiva e indutiva. Desenvolver a capacidade de abstração. Apresentar a Lógica Proposicional e métodos de determinação da validade de sentenças da Lógica Proposicional. Apresentar a Lógica de Predicados, métodos de determinação da validade de sentenças da Lógica de Predicados. Desenvolver teorias a partir da criação de uma linguagem formal que represente a teoria. Determinação de novas propriedades da teoria a partir da aplicação de regras de inferência aos axiomas da teoria. Ementa • Introdução à Lógica. Lógica Proposicional. Regras Semânticas e Sintáticas da Lógica Proposicional. Relações entre sentenças da Lógica Proposicional. Validade de sentenças da Lógica Proposicional. Lógica de primeira ordem. Regras semânticas e sintáticas da lógica de primeira ordem. Relações entre sentenças da lógica de primeira ordem. Validade de sentenças da Lógica de Primeira Ordem. Teorias e Álgebra de Boole. Teorias Especiais. Teorias com Igualdade. Teorias com Indução. Metodologia • • • • Aula teórica Trabalhos extra-classe Exercícios Avaliações Avaliações • • • Exercícios em sala de aula Trabalhos Provas SICAPE – Sistema de Cadastro de Plano de Ensino CI – Centro de Informação 20110526113341400052400808375 CENTRO UNIVERSITÁRIO DE FORMIGA CREDENCIAMENTO: Decreto publicado em 05/08/2004 RECREDENCIAMENTO: Decreto publicado em 15/12/2006 Mantenedora: Fundação Educacional Comunitária Formiguense – FUOM Plano de Ensino – Graduação Período: Turma: Disciplina: Carga Horária: Curso: Docente: 1º Ano Letivo: 2011 Semestre: 1º 1° Período A - 2011/1ºSem - Ciência da Computação Bacharel em Ciên Lógica para Ciência da Computação 80 h/a C.H. Teórica: 80 h/a C.H. Prática: 0 h/a Ciência da Computação Márcio Lopes Júnior Parte B Item 1 1.1 1.2 1.3 1.4 2 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 3 3.1 3.2 3.3 3.4 3.5 3.6 4 4.1 5 5.1 5.2 6 6.1 6.2 6.3 6.4 6.5 6.6 Conteúdo Programático Títulos e Subtítulos Introdução a Lógica A lógica formal clássica A lógica matemática Linguagens formais Indução e dedução Lógica Proposicional Regras sintáticas e semânticas Propriedades das sentenças Tabela verdade Árvores semânticas Prova por falsificação Substituição Interpretação estendida Equivalência Lógica dos Predicados Regras Sintáticas Regras Semânticas Validade Implicação Equivalência Fecho Universal e Fecho Existencial Teorias Teorias Especiais Funções Lógicas Portas Lógicas Interligação entre expressões circuitos e tabela verdade Álgebra de Boole e simplificação de circuito lógico Variáveis e expressões na Álgebra de Boole Postulados Propriedades Expressões equivalentes (teorema de De Morgan) Expressões complementares Método de simplificação de expressões através da álgebra de Boole SICAPE – Sistema de Cadastro de Plano de Ensino CI – Centro de Informação 20110526113341400052400808375 CENTRO UNIVERSITÁRIO DE FORMIGA CREDENCIAMENTO: Decreto publicado em 05/08/2004 RECREDENCIAMENTO: Decreto publicado em 15/12/2006 Mantenedora: Fundação Educacional Comunitária Formiguense – FUOM Plano de Ensino – Graduação Período: Turma: Disciplina: Carga Horária: Curso: Docente: 1º Ano Letivo: 2011 Semestre: 1º 1° Período A - 2011/1ºSem - Ciência da Computação Bacharel em Ciên Lógica para Ciência da Computação 80 h/a C.H. Teórica: 80 h/a C.H. Prática: 0 h/a Ciência da Computação Márcio Lopes Júnior Parte C Referências Bibliografia Básica DAGHLIAN, Jacob. Lógica e álgebra de boole. 4ª. ed. São Paulo: Atlas, 1995. 167 p. DALEN, Dirk Van. Logic and Structure. 3ª. ed. Berlin: Springer, 1997. MANZANO, Maria. Extensions of mathematical logic. New York: Ams Chelsea: [s.n.], 1999. 172 p. Referências Bibliografia Complementar ALENCAR FILHO, E. Iniciação à Lógica Matemática. São Paulo: Nobel, 1999. 203 p. GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação. 4ª. ed. Rio de Janeiro: LTC, 2001. HILBERT, David. Principles of mathematical logic. New York: Ams Chelsea, 1999. 172 p. SOUZA, João Nunes de. Lógica para ciência da computação:: Fundamentos de linguagem semântica e sistema de dedução. [S.l.]: Campus, 2002. WALDINGER, R; MANNA, Z. The logical basis for computer programming. Massachusetts: Addison-Wesley, 1985. Assinatura do Docente Assinatura do Coordenador(a) SICAPE – Sistema de Cadastro de Plano de Ensino CI – Centro de Informação 20110526113341400052400808375
