Sumários
Fundamentos
21 Setembro 2016, 08:00 • Ana Respicio
Folha de exercícios 1: comprimento de palavra, inversa, subpalavras, operações sobre palavras. Demonstrações por indução.
Alfabetos, Linguagens, Indução e Recursão
20 Setembro 2016, 11:00 • Alexandre Miguel dos Santos Martins Pinto
Fundamentos
20 Setembro 2016, 10:30 • Ana Respicio
Folha de exercícios 1: comprimento de palavra, inversa, subpalavras, operações sobre palavras. Demonstrações por indução.
Apresentação da disciplina. Fundamentos.
20 Setembro 2016, 09:30 • Ana Respicio
Apresentação da disciplina: objectivos, programa, regras de avaliação e datas.
Não houve aula
19 Setembro 2016, 08:00 • Alexandre Miguel dos Santos Martins Pinto
Não houve aula por se tratar de uma teórico-prática antes da primeira aula teórica que só terá lugar no dia seguinte.