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. |
|||||||||||
Chefe do Departamento ou Unidade equivalente: João Eugênio Marynowski Assinatura: _________________________________________________ |