Você está na página 1de 4

PLANO DE ENSINO

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.

1. INFORMAÇÕES SOBRE A DISCIPLINA

Nome: LÓGICA MATEMÁTICA E COMPUTACIONAL Carga Horária: 80 horas


PROFESSORA: ADRIANO VIANA PINTO Turno: NOTURNO
Curso: SISTEMAS DE INFORMAÇÃO Período/Semestre: 1º Período / 2015.1
PRÉ-REQUISITO: HORÁRIO: QUARTA - 19:00- 20:40H E QUINTA – 19:00- 20:40H

2. HABILIDADES E COMPETÊNCIAS ASSOCIADAS ÀS DISCIPLINAS

1. Compreender e explicar as dimensões quantitativas de um problema;


2. Conhecer os limites da computação;
3. Representar os modelos mentais dos indivíduos e do coletivo na análise de requisitos de um Sistema de Informação;
4. Identificar problemas que têm uma solução algorítmica;

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.

MÓDULO I – Lógica Proposicional- 30 h


1. Proposições e Conectivos;
2. Conectivos: Negação, Conjunção, Disjunção, Condicional e Bicondicional;
3. Construção da tabela verdade de uma proposição composta;
4. Tautologia, Contradição e Contingência.
MÓDULO II – Lógica de Predicados - 30h
1. Argumentos válidos
2. Demonstrações
3. Regras de Equivalência e Dedução
4. Regra do método dedutivo
5. Argumentos válidos
6. A lógica de sentenças abertas
7. Sentenças abertas com uma variável
8. Conjunto- verdade de sentenças abertas com uma variável
9. Sentenças abertas com N variáveis
10. Conjunção de sentenças abertas
11. Disjunção de sentenças abertas
12. Negação de sentenças abertas
13. Demais operadores
14. Equivalência tautológicas
MÓDULO III – Lógica Digital - 20h
1. Quantificadores
2. Quantificadores universais e existenciais
3.Quantificador existencial de unicidade
4. Quantificação múltipla e parcial
5. Comutatividade de quantificadores

6. METODOLOGIA DO ENSINO APRENDIZAGEM

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

Projetor, Notebook, Quadro Branco, Desafios lógicos.

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

Sendo: MF = média final; P1 = prova 1; C/P = case/paper; P2 = prova 2

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

Todas as atividades serão realizadas conforme calendário disponibilizado pela IES.

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.

11. CRONOGRAMA DE ATIVIDADES

# 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

14 19.03. 2015 2 APLICAÇÃO DE PROBLAMAS LÓGICOS EM SALA DE AULA


15 25.03. 2015 2 EXERCÍCIO DE REVISÃO DO CONTEÚDO VISTO PARA A PROVA 1
16 26.03. 2015 2 INTRODUÇÃO À LÓGICA DE SENTENÇAS ABERTAS
17 01.04. 2015 2 SENTENÇAS ABERTAS COM UMA VARIÁVEL E CONJUNTO VERDADE
18 02.04. 2015 2 SENTENÇAS COM N VARIÁVEIS E SEU CONJUNTO VERDADE
19 08.04. 2015 2 CONJUNÇÃO E DISJUNÇÃO DE SOBRE SENTENÇAS ABERTAS
20 09.04. 2015 2 NEGAÇÃO DE SENTENÇAS ABERTAS E REVISÃO DAS OPERAÇÕES LÓGICAS JÁ VISTAS
21 15.04. 2015 2 CONDICIONAL SOBRE SENTENÇAS ABERTAS
22 16.04. 2015 2 PROVA 1
23 22.04. 2015 2 CORREÇÃO DA PROVA 1 E ENTREGA DA PROVA AOS ALUNOS CORRIGIDA
24 23.04. 2015 2 BICONDICIONAL DE SENTENÇAS ABERTAS
25 29.04. 2015 2 ENTREGA DA SINOPSE DO CASE AO PROFESSOR E CONTINUAÇÃO DO ASSUNTO DE
SENTENÇAS ABERTAS
26 30.04. 2015 2 EQUIVALÊNCIAS TAUTOLÓGICAS
27 06.05. 2015 2 ENTREGA DAS SINOPSES CORRIDA AOS ALUNOS
28 07.05. 2015 2 EXERCÍCIO SOBRE SENTENÇAS ABERTAS
29 13.05. 2015 2 INTRODUÇÃO À QUANTIFICADORES
30 14.05. 2015 2 DISSERTAÇÃO ARGUMENTATIVA DO CASE
31 20.05. 2015 2 QUANTIFICADORES UNIVERSAIS E EXISTENCIAIS
32 21.05.2015 2 ENTREGA E DISCUSSÃO DAS DISERTAÇÕES ARGUMENTATIVAS DE CASE JÁ
CORRIGIDAS
33 27.05. 2015 2 VARIÁVEIS QUANTIFICADAS E APARENTES
34 28.05. 2015 2 QUANTIFIADOR EXISTENCIAL DE UNICIDADE
35 03.06. 2015 2 QUANTIFICAÇÃO MÚLTIPLA E PARCIAL
36 04.06. 2015 2 QUANTIFICAÇÃO MÚLTIPLA E PARCIAL
37 10.06. 2015 2 COMUTATIVIDADE DE QUANTIFICADORES
38 11.06. 2015 2 COMUTATIVIDADE DE QUANTIFICADORES
39 17.06. 2015 2 EXERCÍCIO DE REVISÃO SOBRE O CONTEÚDO VISTO PARA A PROVA 2
40 18.06. 2015 2 PROVA 2

*** 24.06. 2015 *** CORREÇÃO DA PROVA 2 EM SALA DE AULA


*** 25.06. 2015 *** PROVA DE 2ª CHAMADA
*** 02.07.2015 *** PROVA FINAL