Licenciatura Bolonha em Engenharia Informática e de Computadores - Taguspark

Com a frequência da disciplina pretende-se que os alunos tenham conhecimento sobre os componentes de uma lógica, e sejam capazes de desenvolver provas no sistema dedutivo. 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.