Nome da Atividade
LÓGICA PARA COMPUTAÇÃO
CÓDIGO
1118010
Carga Horária
68 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CARGA HORÁRIA TEÓRICA
4
FREQUÊNCIA APROVAÇÃO
75%
CARGA HORÁRIA OBRIGATÓRIA
4
CRÉDITOS
4
Ementa
Revisão de lógica proposicional e de primeira ordem; sintaxe, semântica e aplicações das lógicas modais, temporais e outras lógicas não-clássicas.
Objetivos
Conteúdo Programático
Bibliografia
Turmas Ofertadas
Turma | Período | Vagas | Matriculados | Curso / Horários | Professores | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
1 | 2025 / 1 | 24 | 6 |
Computação (Mestrado acadêmico) Computação (Doutorado) Horários
|
RENATA HAX SANDER REISER Professor responsável pela turma |