Logica - plano de curso PDF

Preview

Summary

plano de curso...

Description

Data de emiss�o 06/09/2019 09:09:05

1. IDENTIFICA��O Curso: CIÊNCIA DA COMPUTAÇÃO

Turno: MANHÃ/TARDE

Disciplina: LÓGICA MATEMÁTICA

C�digo: 4731

Carga Hor�ria: 60h Bloco: 1

Per�odo Letivo:2018.2

Munic�pio: TERESINA - PI Professor: MARIA JOSE DA COSTA MACHADO

2. EMENTA Lógica Proposicional e de Primeira. Tabelas Verdade. Operações lógicas fundamentais. Relações de equivalência e de implicação lógica. Teoria da demonstração e análise inferencial no cálculo proposicional. Cálculo dos predicados. Quantificação. Álgebra das funções proposicionais quantificadas. Aplicação programação lógica(noções)

3. OBJETIVOS Desenvolver o raciocínio lógico e dedutivo possibilitando a adequada utilização das estruturas da Lógica Matemática para a análise e a resolução de problemas relacionados.

4. CONTE�DO PROGRAM�TICO Lógicas formais e lógica matemática. • Fundamentos da lógica matemática. • Estruturação do cálculo proposicional. • Tabelas função de verdade • Operações lógicas fundamentais Relações de equivalência e de implicação lógica. Relações de equivalência lógica. Propriedades das equivalências lógicas. Equivalências lógicas fundamentais. Operações lógicas derivadas.

P�gina 1

Data de emiss�o 06/09/2019 09:09:05

Relações de implicação lógica. Implicações lógicas fundamentais. Tautologias, contradições e contingências. • Teoria da demonstração e análise inferencial no cálculo proposicional. Método dedutivo em lógica matemática. Avaliação e validação de argumentos dedutivos Principais regras de inferência Cálculo dos predicados. Sistematização do cálculo dos predicados Linguagem formal no cálculo dos predicados. • Quantificação. Definição e notação de quantificador universal. Definição e notação de quantificador existencial. Definição e notação de quantificador existencial de unicidade. Relações lógicas entre quantificadores. •Aplicação programação lógica(noções)

5. METODOLOGIA Aulas expositivas; Listas de exercícios individuais e em grupos

6. RECURSOS DID�TICOS Quadro de acrílico e pincel, notas de aula e listas impressas

7. AVALIA��O A avaliação será composta de: 1ª. Avaliação 10 pontos, podendo ocorrer a realização de oficina(em dupla) no valor de 2 pontos 2ª. Avaliação 10 pontos, podendo ocorrer a realização de oficina(em dupla) no valor de 2 pontos

P�gina 2

Data de emiss�o 06/09/2019 09:09:05

3ª. Avaliação escrita 10 podendo ocorrer a realização de oficina(em dupla) no valor de 2 pontos Média Final para Aprovação é 7,0 pontos e no Exame Final Média para Aprovação é 6,0 (aluno só poderá realizar Exame Final se Média Final for >= 4,0)

8. REFER�NCIAS Livro texto: João Nunes de Souza. Lógica para Ciência da Computação. Editora Campus, 2002. Livros Complementar Edgard Alencar Filho. Iniciação à Lógica Matemática. Nobel, 1999.

P�gina 3...