Ir para a página inicial
UFAC
Início » Licenciatura em Física » Currículo » Lógica II
Licenciatura em Física
84
Informações Gerais
Disciplina
Lógica II ( CFCH364 )
Unidade
Centro de Filosofia e Ciências Humanas
Tipo
Optativa
Período Ideal no Curso
Não consta
Nota Mínima para Aprovação
5.0
Carga Horária
60
Nº de Créditos
4
Docentes
Nenhum professor encontrado!
Objetivos
Não consta
Ementa

Introdução à Lógica moderna. Cálculo sentencial: estudo semântico ( tábuas de verdade e tautologias ) e sintático ( dedução natural, formas normais e método axiomático ) do cálculo sentencial. Cálculo dos predicados: estudo semântico ( interpretações, modelos e validade ) e sintático ( dedução natural, método axiomático ) do cálculo dos predicados.

Programa
Não consta
V.2.0.201705161513 - Copyright © 2013 ASTEN.