PROF.

REN FURTADO FELIX

rffelix70@yahoo.com.br

Disciplina: Lgica
Janeiro de 2013 Aula 1

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

PLANO DE ENSINO
CURSO: Tecnologia em Anlise e Desenvolvimento de Sistemas SRIE: 1 perodo (semestral) TURNO: Noturno DISCIPLINA: Lgica CARGA HORRIA SEMANAL: 03 horas CARGA HORRIA SEMESTRAL: 66 horas

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

PLANO DE ENSINO
I EMENTA Introduo lgica. Sistemas dicotmicos. Operaes lgicas sobre proposies. Construo da tabelaverdade. Relaes de implicao e de equivalncia. Argumento vlido. Tcnicas dedutivas. Fluxogramas. Quantificaes. lgebra de Boole. Funes booleanas e suas representaes. Formas normais. II OBJETIVOS GERAIS Capacitar o aluno nos conceitos fundamentais de lgica matemtica necessrios para a definio formal de conceitos computacionais e para aplicar os conhecimentos adquiridos na resoluo de problemas pelos mtodos indutivo e dedutivo, encontrados na rea profissional.
PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

PLANO DE ENSINO
III OBJETIVOS ESPECFICOS Desenvolver a capacidade de raciocnio lgico para a resoluo de problemas. Desenvolver seu esprito crtico e criativo. Desenvolver conhecimentos bsicos de lgica matemtica que possibilitem a verificao da validade de argumentos. IV CONTEDO PROGRAMTICO Introduo Histria da lgica e da computao Classificao da lgica e definies bsicas Sistemas dicotmicos

Introduo
Interruptores Conjuntos Proposies

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

PLANO DE ENSINO
IV CONTEDO PROGRAMTICO

3. Operaes lgicas sobre proposies

Negao Conjuno Disjuno inclusiva ou soma lgica Disjuno exclusiva

Condicional
Bicondicional

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

PLANO DE ENSINO
IV CONTEDO PROGRAMTICO

4. Construo da tabela-verdade Tautologias Contradies Contingncias 5. Relaes de implicao e de equivalncia Definies Relao de implicao Relao de equivalncia Equivalncias notveis Propriedades
PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

PLANO DE ENSINO
IV CONTEDO PROGRAMTICO

6. Argumento vlido Definio Regras de inferncia 7. Tcnicas dedutivas Prova direta Prova condicional Prova bicondicional Prova indireta ou por reduo ao absurdo Prova indireta de forma condicional
PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

PLANO DE ENSINO
IV CONTEDO PROGRAMTICO
8. Fluxogramas 9. Quantificaes Sentena aberta Quantificador universal Quantificador existencial Valores lgicos de sentenas quantificadas Negao de sentenas quantificadas 10. Introduo lgebra de Boole Operador binrio Propriedades das operaes Sistemas algbricos

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

PLANO DE ENSINO
IV CONTEDO PROGRAMTICO
10. Funes booleanas
11. Representao das funes booleanas Diagramas de Venn ou crculos de Euler Tabelas-verdade Representao geomtrica Forma normal a n variveis Forma normal disjuntiva Forma normal conjuntiva Funes na forma binria Funes na forma decimal

13. Formas normais

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

PLANO DE ENSINO
V ESTRATGIA DE TRABALHO

- Aulas expositivas - Aulas reflexivas com anlise de casos - Dinmica de grupos - Seminrios - Vdeos - Debates Ser sempre indicada a bibliografia bsica e especfica necessria ao acompanhamento do curso e orientao do aluno na vida acadmica e profissional. A exposio ser feita por meio de colocao dos pontos a serem discutidos de forma esquemtica, seguida de apresentao por parte do professor. Para todas as exposies e para todos os pontos devero ser utilizadas apresentaes de casos prticos.
PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

10

PLANO DE ENSINO
VI AVALIAO A avaliao ser obtida por meio de provas, trabalhos e seminrios, dentre outros, bem como pela participao do aluno durante as aulas e demais atividades, a critrio do professor e em conformidade com o respectivo plano de ensino. Sero feitas avaliaes, assim distribudas: - Duas Notas do Professor (NP) para as atividades curriculares, com peso 4 (quatro) cada uma, na composio da nota semestral de cada disciplina; - Uma nota referente ao Projeto Integrado Multidiscipinar (PIM), com peso 2 (dois) no clculo da Mdia Semestral (MS) de cada disciplina. Esse Projeto ser desenvolvido durante o semestre. A MS ser: (NP1 x 4 + PIM x 2 + NP2 x 4) / 10. Para a aprovao, a MS dever ser igual ou superior a 5,0; exigida a freqncia mnima de 75%. O desempenho do aluno avaliado numa escala de 0 (zero) a 10 (dez).

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

11

PLANO DE ENSINO
VII BIBLIOGRAFIA
Bsica
ALENCAR FILHO, E. Iniciao lgica matemtica. 21.ed. So Paulo: Nobel, 2002. DAGGLIAN, J. Lgica e lgebra de boole. 4.ed. So Paulo: Atlas, 1995. ABE, J. M. et al. Introduo lgica para a cincia da computao. 2.ed. So Paulo: Arte & Cincia, 2001. Complementar

PROETTI, S. Simplificando a lgica: conceitos bsicos, exemplos e exerccios para facilitar a aprendizagem da lgica e o desenvolvimento do raciocnio cientfico. So Paulo. 3.ed. Edicon: 2005.
SALMON, W. C. Lgica. 3.ed. Rio de Janeiro, 1993.
PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

12

PLANO DE ENSINO

1.Introduo lgica
Definio:

O que a Lgica Computacional?

A lgica Computacional uma ferramenta imprescindvel para o profissional da rea de Computao, pois permite elaborar especificaes formais e formalizar linhas de raciocnio, desenho e descrio de sistemas inteligentes.

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

13

PLANO DE ENSINO

1.Introduo lgica
Definio:
Quais os objetivos da Lgica Computacional? Proporcionar uma slida fundamentao na formao sintaxe, semntica, e no sistema de deduo; Capacidade de ler e escrever em literatura lgica simblica e pode sentir o seu poder, tanto dedutivo e expressivo; Conhecimento do assunto de lgica que se possa pensar e inferir, corretamente.
PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

14

PLANO DE ENSINO

1.Introduo lgica
Histria:

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

15

PLANO DE ENSINO

1.Introduo lgica
Histria:

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

16

PLANO DE ENSINO

1.Introduo lgica
Histria:

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

17

PLANO DE ENSINO

1.Introduo lgica
Relaes:
Algumas relaes entre a Lgica e a Computao?

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

18

PLANO DE ENSINO

1.Introduo lgica

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

19

PLANO DE ENSINO

1.Introduo lgica

PROFESSOR: REN FURTADO FELIX HTTP://WWW.RENECOMPUTER.NET/LOGICA.PHP

20