Nome da Atividade
LÓGICA PARA COMPUTAÇÃO
CÓDIGO
22000224
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Modalidade
PRESENCIAL
Unidade responsável
CARGA HORÁRIA TEÓRICA
4
FREQUÊNCIA APROVAÇÃO
75%
CARGA HORÁRIA OBRIGATÓRIA
4
CRÉDITOS
4
Ementa
Relação entre Lógica e Computação. Sintaxe e Semântica da Lógica Proposicional. Sintaxe e Semântica da Lógica de Predicados. Sistemas de Prova com Dedução Natural. Formalização e Verificação de Argumentos.
Objetivos
Conteúdo Programático
Bibliografia
Turmas Ofertadas
Turma | Período | Vagas | Matriculados | Curso / Horários | Professores | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
T1 | 2025 / 1 | 62 | 61 |
Ciência da Computação (Bacharelado) Horários
|
LUCIANA FOSS Professor Regente ANDRE RAUBER DU BOIS Professor Regente LARISSA ASTROGILDO DE FREITAS Professor responsável pela turma |
||||||
T2 | 2025 / 1 | 50 | 52 |
Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) Horários
|
RENATA HAX SANDER REISER Professor responsável pela turma |
Disciplinas Equivalentes
Disciplina | Curso |
---|---|
LÓGICA FORMAL | Ciência da Computação (Bacharelado) |
LÓGICA PARA COMPUTAÇÃO | Engenharia de Computação (Bacharelado) |