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
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.
|
|||||||||||
FORMAS DE AVALIAÇÃO
- Provas (2 no mínimo).
|
|||||||||||
BIBLIOGRAFIA BÁSICA
BIBLIOGRAFIA COMPLEMENTAR
|
|||||||||||
Professor da Disciplina: Cícero Osvaldo Coati Assinatura: _________________________________________________ Chefe do Departamento ou Unidade equivalente: João Eugênio Marynowski Assinatura: _________________________________________________ |