aula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:

Transcrição

1 aula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:

2 Plano de Ensino CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas SÉRIE: 1º período (semestral) TURNO: Noturno DISCIPLINA: Lógica CARGA HORÁRIA SEMANAL: 03 horas CARGA HORÁRIA SEMESTRAL: 66 horas Aula de Lógica - Professor Renê F Felix 2

3 I EMENTA Introdução à lógica. Sistemas dicotômicos. Operações lógicas sobre proposições. Construção da tabela-verdade. Relações de implicação e de equivalência. Argumento válido. Técnicas dedutivas. Fluxogramas. Quantificações. Álgebra de Boole. Funções booleanas e suas representações. Formas normais. Aula de Lógica - Professor Renê F Felix 3

4 II OBJETIVOS GERAIS Capacitar o aluno nos conceitos fundamentais de lógica matemática necessários para a definição formal de conceitos computacionais e para aplicar os conhecimentos adquiridos na resolução de problemas pelos métodos indutivo e dedutivo, encontrados na área profissional. Aula de Lógica - Professor Renê F Felix 4

5 III OBJETIVOS ESPECÍFICOS Desenvolver a capacidade de raciocínio lógico para a resolução de problemas. Desenvolver seu espírito crítico e criativo. Desenvolver conhecimentos básicos de lógica matemática que possibilitem a verificação da validade de argumentos. Aula de Lógica - Professor Renê F Felix 5

6 Introdução IV CONTEÚDO PROGRAMÁTICO o História da lógica e da computação o Classificação da lógica e definições básicas o Sistemas dicotômicos o Introdução o Interruptores o Conjuntos o Proposições Aula de Lógica - Professor Renê F Felix 6

7 IV CONTEÚDO PROGRAMÁTICO 3. Operações lógicas sobre proposições o Negação o Conjunção o Disjunção inclusiva ou soma lógica o Disjunção exclusiva o Condicional o Bicondicional Aula de Lógica - Professor Renê F Felix 7

8 IV CONTEÚDO PROGRAMÁTICO 4. Construção da tabela-verdade o Tautologias o Contradições o Contingências Aula de Lógica - Professor Renê F Felix 8

9 IV CONTEÚDO PROGRAMÁTICO 5. Relações de implicação e de equivalência o Definições o Relação de implicação o Relação de equivalência o Equivalências notáveis o Propriedades Aula de Lógica - Professor Renê F Felix 9

10 IV CONTEÚDO PROGRAMÁTICO 6. Argumento válido o Definição o Regras de inferência Aula de Lógica - Professor Renê F Felix 10

11 IV CONTEÚDO PROGRAMÁTICO 7. Técnicas dedutivas o Prova direta o Prova condicional o Prova bicondicional o Prova indireta ou por redução ao absurdo o Prova indireta de forma condicional Aula de Lógica - Professor Renê F Felix 11

12 IV CONTEÚDO PROGRAMÁTICO 8. Fluxogramas 9. Quantificações o Sentença aberta o Quantificador universal o Quantificador existencial o Valores lógicos de sentenças quantificadas o Negação de sentenças quantificadas Aula de Lógica - Professor Renê F Felix 12

13 IV CONTEÚDO PROGRAMÁTICO 10. Introdução à álgebra de Boole o Operador binário o Propriedades das operações o Sistemas algébricos Aula de Lógica - Professor Renê F Felix 13

14 IV CONTEÚDO PROGRAMÁTICO 10. Funções booleanas 11. Representação das funções booleanas o Diagramas de Venn ou círculos de Euler o Tabelas-verdade o Representação geométrica Aula de Lógica - Professor Renê F Felix 14

15 IV CONTEÚDO PROGRAMÁTICO 13. Formas normais o Forma normal a n variáveis o Forma normal disjuntiva o Forma normal conjuntiva o Funções na forma binária o Funções na forma decimal Aula de Lógica - Professor Renê F Felix 15

16 V ESTRATÉGIA DE TRABALHO o Aulas expositivas o Aulas reflexivas com análise de casos o Dinâmica de grupos o Seminários o Vídeos o Debates Aula de Lógica - Professor Renê F Felix 16

17 V ESTRATÉGIA DE TRABALHO Será sempre indicada a bibliografia básica e específica necessária ao acompanhamento do curso e orientação do aluno na vida acadêmica e profissional. A exposição será feita por meio de colocação dos pontos a serem discutidos de forma esquemática, seguida de apresentação por parte do professor. Para todas as exposições e para todos os pontos deverão ser utilizadas apresentações de casos práticos. Aula de Lógica - Professor Renê F Felix 17

18 VI AVALIAÇÃO A avaliação será obtida por meio de provas, trabalhos e seminários, dentre outros, bem como pela participação do aluno durante as aulas e demais atividades, a critério do professor e em conformidade com o respectivo plano de 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 Projeto será 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%. O desempenho do aluno é avaliado numa escala de 0 (zero) a 10 (dez). Aula de Lógica - Professor Renê F Felix 18

19 VII BIBLIOGRAFIA Básica ALENCAR FILHO, E. Iniciação à lógica matemática. 21.ed. São Paulo: Nobel, DAGGLIAN, J. Lógica e álgebra de boole. 4.ed. São Paulo: Atlas, ABE, J. M. et al. Introdução à lógica para a ciência da computação. 2.ed. São Paulo: Arte & Ciência, Complementar PROETTI, S. Simplificando a lógica: conceitos básicos, exemplos e exercícios para facilitar a aprendizagem da lógica e o desenvolvimento do raciocínio científico. São Paulo. 3.ed. Edicon: SALMON, W. C. Lógica. 3.ed. Rio de Janeiro, Aula de Lógica - Professor Renê F Felix 19

20 Bom inicio de aula Eu aprendi pesquisando, que uma bussola aponta sempre para o norte, não importa onde estiver; mas não orienta sobre pântanos, desertos e abismos que você encontrará pelo caminho. Se na busca pelo seu destino, você vai de cabeça ignorando os obstáculos e acaba se afundando depois em pântano, de que adianta saber para onde fica o norte? Abraham Lincoln Aula de lógica - Professor Renê F Felix 20