LÓGICA APRESENTAÇÃO DA DISCIPLINA Prof. Thiago Pereira Rique
P LANO DE E NSINO /E MENTA Ementa Introdução à lógica Sistemas dicotômicos Operações lógicas sobre proposições Construção de tabelas-verdade Relações de implicação e de equivalência Argumento válido Álgebra de Boole Funções booleanas e suas representações
B IBLIOGRAFIA ALENCAR FILHO, Edgard de. Iniciação à Lógica Matemática. São Paulo: Nobel, GERSTING, Judith L. Fundamentos Matemáticos para Ciência da Computação. Ed. LTC, MANZANO, JANG e OLIVEIRA, JF. Algoritmos: lógica para desenvolvimento de programação. São Paulo. 18 ed. SP: Érica: 2002.
FREQUÊNCIA Últimos 15 minutos de aula Realizar chamada Falta reprova!
AVALIAÇÕES NP1, NP2, substitutivas Estudar bibliografia Frequentar as aulas Provas não serão baseadas nos slides Exercícios de fixação Uma questão (pergunta/problema) sobre algum assunto já explicado, sempre subjetiva, para resolver nos últimos 15 minutos de aula. Apresentar solução na aula seguinte.
AVALIAÇÕES Avaliação contínua Participação, presença, entrega de listas de exercícios, resumos, artigos, trabalhos, etc. Distribuição de pontos Prova:6 pontos Exercícios de fixação:3 pontos Avaliação contínua:1 ponto