Você está na página 1de 3
PLANO DE ENSINO E APRENDIZAGEM CURSO: Ciência da Computação Disciplina: Período Letivo: Série: Periodo: Lógica Matemática
 

PLANO DE ENSINO E APRENDIZAGEM

 
 

CURSO: Ciência da Computação

 

Disciplina:

Período Letivo:

 

Série:

Periodo:

Lógica Matemática

1° sem/2014

2ª Série

Não definido

Semestre de Ingresso:

   

Ano de Ingresso: 2013

C.H. Teórica:

C.H. Outras:

 

C.H. Total:

40

20

60

Ementa

A Matemática e o Método Axiomático Dedutivo. Motivação para o estudo da Lógica. Lógica Proposicional (Linguagem, semântica, sistemas Dedutivos). Lógica de Predicados (Linguagem, semântica, sistemas Dedutivos). Sistemas de Tableaux. Formalização de problemas. Técnicas de demonstração. Indução Finita. Álgebra de Boole.

 

Objetivos

 

Conhecer os conceitos e resolver problemas de lógica posicional, lógica de predicados, sistemas Tableaux, indução finita e álgebra de Boole.

 
 

Conteúdo Programático

 

A Matemática e o Método Axiomático Dedutivo:

-

Definições

 

Motivação para o estudo da Lógica:

-

Períodos da lógica

-

Sistemas dicotômicos

-

Propriedades da lógica clássica

 

Álgebra de conjuntos:

-

notação

-

relação de conjuntos

-

conjuntos de conjuntos

-

operações em conjuntos

 

Lógica Proposicional:

-

linguagem

-

conectivos e valores lógicos

-

tautologias

-

conectivos lógicos no Mundo Real

-

argumentos válidos

-

regras de dedução e métodos dedutivos

-

argumentos verbais

-

tableaux semânticos

 

Lógica de Predicados:

-

linguagem

-

quantificadores, predicados e validade

-

regras de dedução

-

argumentos verbais

 

Técnicas de Demonstração:

-

demonstração exaustiva

-

demosntração direta

-

contraposição

 

Indução Finita:

-

a primeira foram do princípio da Indução Finita

Álgebra Booleana

  • - estrutura de álgebra de Boole

  • - circuitos lógicos

  • - mapa de Karnaugh

 

Procedimentos Metodológicos Indicados

Aula expositiva, exercício em classe, atividades práticas.

Sistema de Avaliação

1° Avaliação - PESO 4,0

2° Avaliação - PESO 6,0

Atividades Avaliativas a Critério do Professor

Prova Escrita Oficial

Práticas: 3,00

Práticas: 3,00

Teóricas: 7,00

Teóricas: 7,00

Total: 10

Total: 10

 

Bibliografia Básica Padrão

1) SOUZA, João Nunes de. Lógica para Ciência da Computação : uma introdução concisa. 2ª ed. Rio de Janeiro: Campus - Elsevier, 2008.

 

Bibliografia Básica Unidade:

Faculdade Anhanguera de Valinhos (FAV)

1) DE ALENCAR FILHO., Edgard. Iniciação a Lógica Matemática. 21ª ed. São Paulo: Nobel, 2002.

2) GERSTING, Judith L

Fundamentos Matemáticos para a Ciência da Computação. 1ª ed. Rio de Janeiro: LTC - Livros

.. Técnicos e Científicos, 2008.

 

Bibliografia Complementar: Faculdade Anhanguera de Valinhos (FAV)

1) GOLDSTEIN,, Larry J.; SCHNEIDER, David I.; LAY, David C contabilidade. 10ª ed. Porto Alegre: Bookman, 2006.

..

Matemática Aplicada : economia, administração e

2) MORTARI, Cezar A

..

Introdução à Lógica. 1ª ed. São Paulo: Fundação Editora da UNESP, 2001.

3) FORBELLONE, A. L

..

Lógica de Programação. 1ª ed. São Paulo: Pearson, 2008.

4) LIPSCHUTZ, Seymour; LIPSON, Marc Lars. Teoria e Problemas de Matemática Discreta. 2ª ed. Porto Alegre: Bookman,

2008.

5) DAGHLIAN, Jacob. Lógica e Álgebra de Boole. 4ª ed. São Paulo: Atlas, 2010.

Periódico: Faculdade Anhanguera de Valinhos (FAV)

1) JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY. Porto Alegre: Sociedade Brasileira de Computação, 1994-2009 - Trimestral

2) REVISTA DE CIÊNCIAS EXATAS E TECNOLOGIA. Valinhos: Anhanguera Publicações, 2006-2008 - Anual

Semana n°.

Cronograma de Aulas Tema

1

Apresentação da Disciplina e Metodologia de Trabalho. Introdução à Lógica.

2

Álgebra de Conjuntos.

3

Lógica Proposional - Linguagem; Conectivos e Valores Lógicos; Tautologias.

4

Lógica Proposional - Linguagem; Conectivos e Valores Lógicos; Tautologias.

5

Lógica proposional - Argumentos Válidos; Regras de Dedução; Métodos Dedutivos; Argumentos Verbais.

6

Lógica Proposional - Argumentos Válidos; Regras de Dedução; Métodos Dedutivos; Argumentos Verbais.

7

Lógica Proposional - Tableaux Semânticos.

8

Lógica Proposional - Tableaux Semânticos.

9

Atividades de Avaliação.

10

Lógica de Predicados - Linguagem; Qualificadores, Predicados e Validade.

11

Lógica de Predicados - Linguagem; Qualificadores, Predicados e Validade.

 

12

Lógica de Predicados - Regras de Dedução; Métodos Dedutivos; argumentos Verbais.

13

Técnicas de Demonstração.

14

Técnicas de Demonstração.

15

Indução Finita.

16

Álgebra de Boole.

17

Álgebra de Boole.

18

Prova Escrita Oficial.

19

Exercícios de Revisão.

20

Prova Substitutiva.

 

Coordenador do Curso

Diretor Executivo

/

/

__

__

____

_____________________

_____________________

 
 

Assinatura

Assinatura