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

LMA0002

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: 36 horas/aula
  • Créditos:

Ementa


História da lógica. Lógica clássica proposicional. Proposições atômicas e conectivos lógicos. Fórmulas tautológicas, contraditórias e contingentes. Satisfazibilidade de fórmulas. Consequência e equivalência na lógica proposicional. Métodos de prova. Lógica de Predicados. Quantificadores e fórmulas da Lógica de Predicados. Consequência e equivalência para Lógica de Predicados. Introdução a provas em Lógica de Predicados. Experimentação e prática de extensão em jogos e desafios de raciocínio lógico. Atividades de extensão.

 
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
Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga. Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga.

Utilizamos cookies para melhorar sua experiência de navegação no Portal da Universidade do Estado de Santa Catarina. Ao continuar navegando no Portal, você concorda com o uso de cookies.