Sumários

Definições indutivas e recursivas; Conceitos Básicos de Linguagens

21 Setembro 2026, 09:30 • Filipe Alexandre dos Santos


Leitura [Martin 2011] cap 1.4, 1.5

Resolução de exercícios - Conceitos matemáticos básicos

18 Setembro 2026, 21:00 • Ema Silva Reis


Resolução [Santos 2026E] 1, 2

Conceitos matemáticos básicos

18 Setembro 2026, 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 2026T] F. Santos, Teoria da Computação – Folhas de Apoio, ISCTE-IUL, 2026.

[Santos 2026P] F. Santos, Teoria da Computação – Exercícios, ISCTE-IUL, 2026.

[Martin 2011] J. Martin, Introduction to Languages and the Theory of Computation, McGraw-Hill, (4ª edição) 2011.


Obtenção de [Santos 2026T] e [Santos 2026E]; Leitura [Martin 2011] cap 1.2, 1.3

Resolução de exercícios - Conceitos matemáticos básicos

18 Setembro 2026, 11:00 • Filipe Alexandre dos Santos


Resolução [Santos 2026E] 1, 2

Resolução de exercícios - Conceitos matemáticos básicos

18 Setembro 2026, 09:30 • Filipe Alexandre dos Santos


Resolução [Santos 2026E] 1, 2