Please enable JavaScript to view the page content.
Logo da Universidade do Estado de Santa Catarina

LMA0001

LÓGICA MATEMÁTICA
Informações da disciplina
  • Departamento: DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO CCT
  • Carga Horária Teórica: 72 horas/aula
  • Carga Horária Prática: 0 horas/aula
  • Créditos: 4

Ementa


História da lógica. Cálculo proposicional. Fórmulas tautológicas, contra-válidas e consistentes.Transformação entre conectivos lógicos. Equivalencias. Argumentos válidos. Teorema lógico. Axiomatização. Metodos de prova. Lógica de 1a. Ordem (LPO). Quantificadores. Fórmulas. Argumentos. Axiomatização. Noções sobre teorias lógicas (completude e corretude). Notação clausal. Introdução à Provas de LPO. Uso de uma linguagem baseada em lógica, como instância da LPO. Axiomatização. Noções sobre teorias lógicas (completude e corretude). Notação clausal. Introdução à Provas de LPO. Uso de uma linguagem baseada em lógica, como instância da LPO.

 
ENDEREÇO
Av. Madre Benvenuta, 2007
Itacorubi, Florianópolis / SC
CEP: 88.035-901
CONTATO
Telefone: (48) 3664-8000
E-mail: contato@udesc.br
Horário de atendimento: 13h às 19h