Analise de sistemas

URI – Universidade Regional Integrada Campus de Erechim

Curso de Ciência da Computação

Apostila de Lógica para a Computação

Prof. Neilor Tonin
Erechim, 4 de Agosto de 2008

Apostila de Lógica para a computação

2

Plano de ensino da disciplina: 35-324 Departamento: 03 Carga horária: 60 horas EMENTA:

Lógica para a Computação Engenharias e Ciência da Computação Créditos: 04

Álgebra booleana. Proposições. Operações Lógicas sobre Proposições. Construção de Tabelas-Verdade. Tautologia, Contradições e Contingências. Implicação Lógica. Álgebra das Proposições. Método Dedutivo. Argumentos , Regras de Inferência. Validade mediante Regras de Inferência. Cálculo de Predicados. OBJETIVOS: Formalização de idéias complexas de forma mais simples. Propicia um novo ou melhor entendimento das questões relacionadas com toda a Ciência da Computação. Auxilia no desenvolvimento de aplicações e solução de problemas reais que envolvem aplicação da computação. RELAÇÃO DOS CONTEÚDOS:
1. Proposições – Conectivos: • Valores lógicos; Proposições Simples e Proposições Compostas; Conectivos; Tabela-Verdade. 2. Operações Lógicas sobre Proposições: • Negação; Conjunção; Disjunção; Disjunção Exclusiva; Condicional; Bicondicional; 3. Construção de Tabelas-Verdade: • Tabela-Verdade de uma proposição composta; Número de Linhas; Construção de uma T.V.; Valor lógico 4. Tautologia, Contradições e Contingências: • Tautologia; Princípio de substituição; Contradição; Contingência. 5. Implicação Lógica: • Definição; Propriedades; Tautologia e equivalência Lógica; • Proposições associadas a uma condicional; • Negação conjunta de duas proposições; Negação disjunta de duas proposições; 6. Álgebra das Proposições 7. Método Dedutivo: Formas normais; Princípio da dualidade; 8. Argumentos , Regras de Inferência: • Definição; Validade; Critério; Condicional Associada; Argumentos Válidos; • Regras de Inferência; Validade mediante as Regras de Inferência 9. Cálculo de Predicados: •