Successfully reported this slideshow.

Lógica

3,166 views

Published on

Published in: Travel
  • Be the first to comment

  • Be the first to like this

Lógica

  1. 1. PLANO DE ENSINOCURSO: Superior de Tecnologia em Gestão da Tecnologia da InformaçãoSÉRIE: 1º período (semestral)DISCIPLINA: LógicaCARGA HORÁRIA SEMANAL: 03 horas/aulaCARGA HORÁRIA SEMESTRAL: 60 horasI – EMENTAIntrodução à lógica. Sistemas dicotômicos. Operações lógicas sobreproposições. Construção da tabela -verdade. Relações de implicação e deequivalência. Argumento válido. Técnicas dedutivas. Fluxogramas.Quantificações. Álgebra de Boole. Funções booleanas e suas representações.Formas normais.II – OBJETIVOS GERAISCapacitar o aluno nos conceitos fundamentais de lógica matemáticanecessários para a definição formal de conceitos computacionais e para aplicaros conhecimentos adquiridos na resolução de problemas pelos métodosindutivo e dedutivo, encontrados na área profissional.III – OBJETIVOS ESPECÍFICOSDesenvolver a capacidade de raciocínio lógico para a resolução de problemas.Desenvolver seu espírito crítico e criativo. Desenvolver conhecimentos básicosde lógica matemática que possibilitem a verificação da validade de argumentos.IV – CONTEÚDO PROGRAMÁTICO1. Introdução • História da lógica e da computação • Classificação da lógica e definições básicas2. Sistemas dicotômicos • Introdução • Interruptores • Conjuntos • Proposições3. Operações lógicas sobre proposições • Negação • Conjunção • Disjunção inc lusiva ou soma lógica • Disjunção exclusiva
  2. 2. • Condicional • Bicondicional4. Construção da tabela -verdade • Tautologias • Contradições • Contingências5. Relações de implicação e de equivalência • Definições • Relação de implicação • Relação de equivalência • Equivalências notáveis • Propriedades6. Argumento válido • Definição • Regras de inferência7. Técnicas dedutivas • Prova direta • Prova condicional • Prova bicondicional • Prova indireta ou por redução ao absurdo • Prova indireta de forma condicional8. Fluxogramas9. Quantificações • Sentença aberta • Quantificador universal • Quantificador existencial • Valores lógicos de sentenças quantificadas • Negação de sentenças quantificadas10. Introdução à álgebra de Boole • Operador binário • Propriedades das operações • Sistemas algébricos11. Funções booleanas12. Representação das funções booleanas • Diagramas de Venn ou círculos de Euler • Tabelas-verdade • Representação geométrica13. Formas normais • Forma normal a n variáveis • Forma normal disjuntiva • Forma normal conjuntiva • Funções na forma binária • Funções na forma decimalV – ESTRATÉGIA DE TRABALHO- Aulas expositivas
  3. 3. - Aulas reflexivas com análise de casos- Dinâmica de grupos- Seminários- Vídeos- DebatesSerá sempre indicada a bibliografia básica e específica necessária aoacompanhamento do curso e orientação do aluno na vida acadêmica eprofissional.A exposição será feita por meio de colocação dos pontos a serem discutidos deforma esquemática, seguida de apresentação por parte do professor. Paratodas as exposições e para todos os pontos deverão ser utilizadasapresentações de casos práticos..VI – AVALIAÇÃOA avaliação será obtida por meio de provas, trabalhos e seminários, dentreoutros, bem como pela participação do aluno durante as aulas e demaisatividades, a critério do professor e em conformidade com o respectivo planode ensino. Serão feitas avaliações, assim distribuídas:- Duas Notas do Professor (NP) para as atividades curriculares, com peso 4(quatro) cada uma, na composição da nota semestral de cada disciplina;- Uma nota referente ao Projeto Integrado Multidiscipinar (PIM), com peso 2(dois) no cálculo da Média Semestral (MS) de cada disciplina. Esse Projetoserá desenvolvido durante o semestre.A MS será: (NP1 x 4 + PIM x 2 + NP2 x 4) / 10. Para a aprovação, a MS deveráser igual ou superior a 5,0; é exigida a freqüência mínima de 75%. Odesempenho do aluno é avaliado numa escala de 0 (zero) a 10 (dez).VII – BIBLIOGRAFIABásicaALENCAR FILHO, E. Iniciação à lógica matemática. 21.ed. São Paulo: Nobel,2002.DAGGLIAN, J. Lógica e álgebra de boole. 4.ed. São Paulo: Atlas, 1995.ABE, J. M. et al. Introdução à lógica para a ciência da computação. 2.ed. SãoPaulo: Arte & Ciência, 2001.ComplementarPROETTI, S. Simplificando a lógica: conceitos básicos, exemplos e exercíciospara facilitar a aprendizagem da lógica e o desenvolvimento do raciocíniocientífico. São Paulo. 3.ed. Edicon: 2005.SALMON, W. C. Lógica. 3.ed. Rio de Janeiro, 1993.

×