Algoritmos para Lógica Computacional
pt
en
Instâncias para teste do projecto.
Attachments
small_puzzle.zip
puzzles-students.zip
puzzle-students_2.zip
tests.zip
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Notas
Resultado dos QUC
Horários de Dúvidas
Aulas Teóricas
Aulas Práticas
Textos de Apoio
Projeto
Instâncias
Simulador e verificador
Exames
Planeamento das Aulas