FenixEdu™

Disciplina

Lógica para Programação

Área

Área Científica de Inteligência Artificial > Tecnologia de Inteligência Artificial

Activa nos planos curriculares

LEIC-T 2021 > LEIC-T 2021 > 1º Ciclo > Área Principal > Lógica para Programação

LEIC-A 2021 > LEIC-A 2021 > 1º Ciclo > Área Principal > Lógica para Programação

GENI > GENI > 1º Ciclo > Área Principal > Percursos > Percurso Livre > Opções 1 > Lógica para Programação

LEIC-A 2006 > LEIC-A 2006 > 1º Ciclo > Ciências da Engenharia Informática > Lógica para Programação

LEIC-T 2006 > LEIC-T 2006 > 1º Ciclo > Ciências da Engenharia Informática > Lógica para Programação

Nível

 Exercícios resolvidos nas aulas práticas.  Dois testes.  Projecto de programação em grupos de dois alunos.  A nota da cadeira é o máximo dos valores obtidos do seguinte modo: 0.3 * Projecto + 0.55 * testes + 0.15 * média dos exercícios resolvidos nas aulas práticas 0.3 * Projecto + 0.7 * testes

Tipo

Não Estruturante

Regime

Semestral

Carga Horária

1º Semestre

Aula Teórica (T): 3.0 h/semana

Aula de Problemas (PB): 1.5 h/semana

Trabalho Autónomo: 147.0 h/semestre

Créditos ECTS:

Objectivos

Com a frequência da disciplina pretende-se que os alunos tenham conhecimento sobre os componentes de uma lógica, sejam capazes de desenvolver provas no sistema dedutivo, sejam capazes de utilizar o formalismo semântico, sejam capazes de relacionar o sistema dedutivo e o sistema semântico e provar propriedades sobre estas relações. Deverão obter noções sobre o raciocínio automático e ser capazes de desenvolver programas utilizando o paradigma da programação em lógica.

Programa

Proposições e argumentos, Componentes de uma lógica, Lógica proposicional (sistema dedutivo e semântica), Lógica de primeira ordem (sistema dedutivo e semântica), Solidez e completude, Resolução, Programação em lógica.