Algoritmos para Lógica Computacional
pt
en
Not Taught.
7 dezembro 2020, 11:00
•
Vasco Manquinho
Decreto n.º 9/2020 - DRE
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
Zoom links
Office Hours
Slides
Projects
Bibliography (complement)
Labs
Lab 01
Lab 02
Lab 03
Lab 04
Lab 07
Lab 09
Lab 11
Lab 12
Grading
Exams
Bibliography (Complement)