LógicaSistemas para Internet

Plano de Ensino

Professor Gilvan Maiochi

Contextualização da Disciplina

Habilitar o acadêmico a desenvolver o raciocínio lógico-matemático, adquirindo uma formação dedutiva para efetuar pesquisas e expressar-se com objetividade, clareza e precisão, reconhecendo os mecanismos lógicos necessários para resolver problemas

Formação Dedutiva: Conclusão a partir de análises prévias sobre dados existentesIntuição: raciocínio que se usa para chegar a conclusão, é puramente inconsciente

Ementa

• Conceitos Lógicos• Operações Lógicas• Tabelas-Verdade• Implicação Lógica• Álgebra de Proposições• Demonstração Condicional• Álgebra de Boole e Aplicações• Cálculo Proposicional e de Predicados

Objetivos (Habilidades)

GeralProporcionar Competências e Habilidades para que o Acadêmico:• Desenvolva raciocínio lógico-matemático• Desenvolva uma mentalidade alicerçada no rigor e na observação• Adquira uma formação dedutiva e indutiva para efetuar pesquisas mais

profundas principalmente na matemática• Expressar-se com objetividade, clareza e precisão

EspecíficosConduzir Gradativamente o Acadêmico, ao longo do curso, a:• Reconhecer os mecanismos lógicos necessários para realizar um processo

dedutivo• Identificar os procedimentos, conceitos, descrições e representações que

podem ser úteis na vida acadêmica• Reconhecer como a inferência lógica pode ser usada em matemática e em

outras ciências empíricas

Conteúdo Programático

1. Introdução ao Estudo de Lógica (8 Horas)

1.1 Princípios Fundamentais1.2 Proposições (palavras + símbolos que exprimem pensamento completo)

1.3 Conectivos Lógicos (e, ou, se...então)1.4 Formalização (Representação das proposições)

2. Operações Lógicas (12 Horas) (operações sobre proposições)

2.1 Negação2.2 Conjunção2.3 Disjunção2.4 Condicional2.5 Bicondicional

3. Tabela-verdade (16 horas) (valores lógicos assumidos pelas proposições)

3.1 Construção da tabela verdade a partir da proposição3.2 Construção da proposição a partir da tabela-verdade3.3 Mapa de karnaugh

Conteúdo Programático

4. Análise de Proposições Compostas (12 Horas)

4.1 Tautologia (resultado lógico da proposição é sempre verdadeiro)4.2 Contradição (resultado lógico da proposição é sempre falso)4.3 Contingência (quando uma proposição não é tautológica nem contra válida)

5. Álgebra booleana (20 Horas)

5.1 Regras da álgebra de Boole (portas lógicas)5.2 Leis de De Morgan (conjunto de operações que visam simplificar expressões lógicas)

5.2 Mapa de Karnaugh (obter a expressão booleana simplificada de uma tabela-verdade)

6. Lógica de Predicados (12 Horas) (conclusão lógica baseada em informações prévias)

Bibliografia

BÁSICADAGHLIAN, Jacob. Lógica e álgebra de Boole, 4ª Edição. Editora Atlas, 2008FORBELLONE, André Luiz. Lógica de Programação: a construção de Algoritmos e Estrutura de Dados. Pearson Hall, 2005BISPO, Carlos Alberto Ferreira. Introdução à lógica matemática. Cengage Learning, 2011.

COMPLEMENTARFILHO, Alencar. Iniciação a Lógica Matemática, 18 Edição. Editora Nobel, 2000.GOODRICH, Michael T.; TAMASSA, Roberto. Projeto de Algoritmos. Porto Alegre: Editora Bookman, 2004