Lgica

Sistemas para Internet

Plano de Ensino
Professor Gilvan Maiochi
Contextualizao da Disciplina
Habilitar o acadmico a desenvolver o raciocnio
lgico-matemtico, adquirindo uma formao
dedutiva para efetuar pesquisas e expressar-se
com objetividade, clareza e preciso,
reconhecendo os mecanismos lgicos necessrios
para resolver problemas
Formao Dedutiva: Concluso a partir de anlises prvias sobre dados existentes
Intuio: raciocnio que se usa para chegar a concluso, puramente inconsciente
Ementa
Conceitos Lgicos
Operaes Lgicas
Tabelas-Verdade
Implicao Lgica
lgebra de Proposies
Demonstrao Condicional
lgebra de Boole e Aplicaes
Clculo Proposicional e de Predicados


Objetivos (Habilidades)
Geral
Proporcionar Competncias e Habilidades para que o Acadmico:
Desenvolva raciocnio lgico-matemtico
Desenvolva uma mentalidade alicerada no rigor e na observao
Adquira uma formao dedutiva e indutiva para efetuar pesquisas mais profundas
principalmente na matemtica
Expressar-se com objetividade, clareza e preciso
Especficos
Conduzir Gradativamente o Acadmico, ao longo do curso, a:
Reconhecer os mecanismos lgicos necessrios para realizar um processo dedutivo
Identificar os procedimentos, conceitos, descries e representaes que podem ser
teis na vida acadmica
Reconhecer como a inferncia lgica pode ser usada em matemtica e em outras
cincias empricas



Contedo Programtico
1. Introduo ao Estudo de Lgica (8 Horas)
1.1 Princpios Fundamentais
1.2 Proposies (palavras + smbolos que exprimem pensamento completo)
1.3 Conectivos Lgicos (e, ou, se...ento)
1.4 Formalizao (Representao das proposies)
2. Operaes Lgicas (12 Horas) (operaes sobre proposies)
2.1 Negao
2.2 Conjuno
2.3 Disjuno
2.4 Condicional
2.5 Bicondicional
3. Tabela-verdade (16 horas) (valores lgicos assumidos pelas proposies)
3.1 Construo da tabela verdade a partir da proposio
3.2 Construo da proposio a partir da tabela-verdade
3.3 Mapa de karnaugh
Contedo Programtico
4. Anlise de Proposies Compostas (12 Horas)
4.1 Tautologia (resultado lgico da proposio sempre verdadeiro)
4.2 Contradio (resultado lgico da proposio sempre falso)
4.3 Contingncia (quando uma proposio no tautolgica nem contra vlida)
5. lgebra booleana (20 Horas)
5.1 Regras da lgebra de Boole (portas lgicas)
5.2 Leis de De Morgan (conjunto de operaes que visam simplificar expresses lgicas)
5.2 Mapa de Karnaugh (obter a expresso booleana simplificada de uma tabela-verdade)
6. Lgica de Predicados (12 Horas) (concluso lgica baseada em informaes prvias)


Bibliografia
BSICA
DAGHLIAN, Jacob. Lgica e lgebra de Boole, 4 Edio. Editora Atlas, 2008
FORBELLONE, Andr Luiz. Lgica de Programao: a construo de
Algoritmos e Estrutura de Dados. Pearson Hall, 2005
BISPO, Carlos Alberto Ferreira. Introduo lgica matemtica. Cengage
Learning, 2011.
COMPLEMENTAR
FILHO, Alencar. Iniciao a Lgica Matemtica, 18 Edio. Editora Nobel,
2000.
GOODRICH, Michael T.; TAMASSA, Roberto. Projeto de Algoritmos. Porto
Alegre: Editora Bookman, 2004