Home 
Disciplinas Oferecidas Lógica
Disciplinas Oferecidas Lógica
Disciplinas
Lógica
Professor: Mário Roberto F. Benevides
Período: 5º
Descrição:
Lógica Clássica Proposicional: Linguagem, Semântica, Sistemas Dedutivos (Dedução Natural, Provador Automático de Teoremas e Método Axiomático) e Relações entre Sintaxe e Semântica. Lógica Clássica de Primeira Ordem: Linguagem, Semântica, Sistemas Dedutivos (Dedução Natural e Método Axiomático) e Relações entre Sintaxe e Semântica. Aplicação de Lógica em Computação.
Créditos: 4 créditos
Código: MAB 236
Turma: 2822
Sala: F2 022
Vagas: 60
Carga Horária Semanal: 4 horas
Requisitos (é preciso ter cursado as seguintes disciplinas): Números Inteiros e Criptografia
Horários: Terça-feira (8:00 - 10:00), Quinta-feira (8:00 - 10:00)
< voltar
@dccimufrj