Sumários
Definições indutivas e recursivas; Conceitos Básicos de Linguagens
23 Setembro 2025, 08:00 • Filipe Alexandre dos Santos
Leitura [Martin 2011] cap 1.4, 1.5
Definições indutivas e recursivas; Conceitos Básicos de Linguagens
22 Setembro 2025, 19:30 • Ema Silva Reis
Leitura [Martin 2011] cap 1.4, 1.5
Definições indutivas e recursivas; Conceitos Básicos de Linguagens
22 Setembro 2025, 09:30 • Filipe Alexandre dos Santos
Leitura [Martin 2011] cap 1.4, 1.5
Resolução de exercícios - Conceitos matemáticos básicos
19 Setembro 2025, 21:00 • Ema Silva Reis
Resolução [Santos 2019] 1, 2
Conceitos matemáticos básicos
19 Setembro 2025, 19:30 • Ema Silva Reis
Em cada aula é definido o plano de trabalho autónomo prévio utilizando a seguinte bibliografia disponível na biblioteca do ISCTE-IUL:
[Santos 2013] F. Santos, Teoria da Computação – Folhas de Apoio, ISCTE-IUL, 2013.
[Santos 2019] F. Santos, Teoria da Computação – Exercícios, ISCTE-IUL, 2019.
[Martin 2011] J. Martin, Introduction to Languages and the Theory of Computation, McGraw-Hill, (4ª edição) 2011.