FICHA 2 - Lógica Matemática
Logo UFPR

MINISTÉRIO DA EDUCAÇÃO

UNIVERSIDADE FEDERAL DO PARANÁ

SETOR DE SETOR DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA

Coordenação do Curso de Tecnologia em Análise e Desenvolvimento de Sistemas

Ficha 2 (variável)

FICHA 2 - Lógica Matemática
Disciplina: Lógica Matemática Código: DS614
Natureza:
( X ) Obrigatória
( ) Optativa 		( X ) Semestral ( ) Anual ( ) Modular
Pré-requisito: Nenhum Co-requisito: Modalidade: ( X ) Presencial ( ) Totalmente EaD ( ) EaD
CH Total: 30h
CH Semanal: 2h 		Padrão (PD):30h Laboratório (LB): 0h Campo (CP): 0h Estágio (ES): 0h Orientada (OR): 0h Prática Específica (PE): 0h

EMENTA (Unidade Didática)

Cálculo proposicional e Lógica de primeira ordem; e programa: Cálculo proposicional(20hs): valores lógicos, conectivos, tabelas verdade, proposições lógicas (tautologia, contradições e contingência), equivalências, formas normais, regras de inferência e prova; Lógica de primeira ordem (10hs): quantificadores, argumentos e validade.

PROGRAMA (itens de cada unidade didática)

...

OBJETIVO GERAL

...

OBJETIVO ESPECÍFICO

...

PROCEDIMENTOS DIDÁTICOS

- Aulas teóricas e práticas.
- Aplicação da matemática em correlação com a área de informática.

FORMAS DE AVALIAÇÃO

- Provas (2 no mínimo).
- Trabalhos (4 no mínimo).

BIBLIOGRAFIA BÁSICA

  1. GERSTING, Judith L.; IÓRIO, Valéria de Magalhães. Fundamentos matemáticos para a ciência da computação: um tratamento moderno de matemática discreta. 5. ed. Rio de Janeiro, RJ: LTC, 2012.
  2. ALENCAR FILHO, E. Iniciação à lógica matemática. Editora Nobel, 1986.
  3. SOUZA, J. N. Lógica para Ciência da Computação: Uma Introdução Sucinta. 2. Ed. Rio de Janeiro: Elsevier, 2008.

BIBLIOGRAFIA COMPLEMENTAR

  1. BOULOS, P.; CAMARGO, I.. Geometria Analítica – Um tratamento vetorial. MAKRON. 2012
  2. STEINBRUCH, A. ; WINTERLE, P.. Álgebra Linear e Geometria Analítica. MAKRON. 2001.
  3. DAGHLIAN, J.. Lógica e Álgebra de Boole. ATLAS, SP – 1995. LIPSCHUTZ, S. Seymour. Álgebra Linear – McGRAW-HILL do Brasil, LTDA, 1978. VENTURI, Álgebra Vetorial e geometria Analítica. Curitiba: 2002. MACHADO, Antonio dos S.; Geometria Analítica e Polinômios. Atual : São Paulo, 1986.

Professor da Disciplina: Cícero Osvaldo Coati

Assinatura: _________________________________________________

Chefe do Departamento ou Unidade equivalente: João Eugênio Marynowski

Assinatura: _________________________________________________