Académique Documents
Professionnel Documents
Culture Documents
VISÃO DA UNDB
Ser uma instituição nacionalmente reconhecida pela sua excelência em todas as suas áreas de atuação.
MISSÃO DA UNDB
Promover o conhecimento alicerçado em princípios éticos, científicos e tecnológicos, através de metodologias de vanguarda,
visando à formação e ao aperfeiçoamento humano de profissionais comprometidos com o processo de desenvolvimento e
mudança nos seus campos de atuação.
3. OBJETIVOS
Geral
Desenvolver o raciocínio lógico-matemático, utilizando a lógica como recurso para o desenvolvimento de habilidades em
informática, em particular, programação estruturada e análise de algoritmos;
Específico
Conhecer os mecanismos lógicos necessários para realizar um processo dedutivo;
Conhecer os procedimentos, conceitos, descrições e representações lógicas do conhecimento humano;
Familiarizar-se com a inferência lógica e reconhecer como esta pode ser usada em informática e em outras ciências;
Utilizar as estruturas Lógicas de Decisão na construção de Algoritmos e sistemas computacionais.
4. EMENTA
Sentido lógico-matemático convencional dos conectivos. Argumentos. Regras de formação de fórmulas. Sistemas dedutivos.
Lógica sentencial. Decidibilidade da lógica sentencial. A lógica de predicados de primeira ordem. Valores-verdade. Funções de
avaliação.
PLANO DE ENSINO
5. CONTEÚDO PROGRAMÁTICO9.
Aulas expositivas; Trabalhos com incentivo ao raciocínio lógico; Atividades em equipe e individuais; Resolução de exercícios
propostos; Avaliações de desempenho ao longo do período.
7. RECURSOS DIDÁTICOS
8. AVALIAÇÃO
PLANO DE ENSINO
O aluno será avaliado quanto a sua participação regular e contínua em sala de aula, bem como quanto ao domínio do
conteúdo programático, o que será feito sob a forma de: trabalhos individuais e grupais, fichamentos, seminários, case/paper
e provas.
O aluno receberá duas/três parciais ao longo do semestre letivo, sendo uma delas decorrente da elaboração de um
case/paper. As demais notas parciais serão compostas pela nota obtida em provas, podendo ser fracionada, a critério do
professor.
MF = P1 + C/P + P2
3
A nota do case será fixada da seguinte forma: Sinopse do case (até 3 pontos) + Discussão do case (até 3 pontos) +
Dissertação argumentativa final do case (até 4 pontos) = 10 pontos.
A nota do paper será fixada da seguinte forma: 1º check do paper (até 1 ponto) + 2º check do paper (até 2 pontos) +
Redação final do paper (até 7 pontos) = 10 pontos.
As avaliações P1, P2, 2ch e PF serão elaboradas em conformidade com a IN nº 001/2012 desta IES e segundo a classificação
desta disciplina em teórica e (ou) prática.
9. OUTRAS ORIENTAÇÕES
10. BIBLIOGRAFIA
BÁSICA
1. ALENCAR FILHO, E. Iniciação à Lógica Matemática. São Paulo: Nobel, 200.
2. FORBELONE, A. L. V.; EBERSPACHER, H. F. Lógica de Programação. (A Construção de Algoritmos e Estrutura
3. GERSTING, J. L. Fundamentos Matemáticos para a Ciência da Computação. Rio de Janeiro: LTC, 199.
COMPLEMENTAR
1. SOUZA, Marco Antônio. Et Al. Algoritmos e Lógica de Programação. Thomson, São Paulo 205.
2. MENEZES, Paulo Blauth. Linguagens Formais e Autômatos. 6a Ed. Porto Alegre, Bokman, 201.
3. KELER, Vicente. Aprendendo Logica. Ed.Vozes 15a ed. Rio de Janeiro, 200.
4. IRVING, M. Copi. Introdução a lógica. Ed. Mestre Jou, 1981.
5. OLIVEIRA, J. F.; MANZANO, J. A. N. G. Algoritmos -Lógica para o Desenvolvimento da Programação. São Paulo: Érica, 207.
# DATA CH CONTEÚDO
1 04.02.2015 2 APRESENTAÇÃO DA DISCIPLINA E CONCEITOS INICIAIS
2 05.02.2015 2 INTRODUÇÃO À PROPOSIÇÕES
3 11.02.2015 2 INTRODUÇÃO À CONECTIVOS LÓGICOS
4 12.02. 2015 2 CONECTIVOS: NEGAÇÃO, CONJUNÇÃO E DISJUNÇÃO
5 18.02. 2015 2 CONECTIVOS: CONDICIONAL E BICONDICIONAL
6 19.02.2015 2 EXERCÍCIO DE REVISÃO DO ASSUNTO JÁ VISTO EM SALA DE AULA
7 25.02. 2015 2 CONSTRUÇÃO DE TABELAS- VERDADE DE PROPOSIÇÕES COMPOSTAS
8 26.02. 2015 2 TAUTOLOGIA, CONTRADIÇÃO E CONTINGÊNCIA
9 04.03.2015 2 ATIVIDADE SOBRE TABELA- VERDADE EM SALA DE AULA
10 05.03. 2015 2 DEDUÇÃO DA LÓGICA PROPOSICIONAL
11 11.03.2015 2 ARGUMENTOS VÁLIDOS E DEMONSTRAÇÕES
12 12.03. 2015 2 REGRAS DE EQUIVALÊNCIA E DEDUÇÃO
13 18.03. 2015 2 ARGUMENTOS VERBAIS
PLANO DE ENSINO