Sumários

Introdução

19 Setembro 2017, 10:30 Ana Respicio

Folha de exercícios 1: Exercícios 1, 2, 3 a) e c).

Comprimento de palavra, inversa, subpalavras, operações sobre palavras. Demonstrações por indução.


Apresentação. Introdução.

19 Setembro 2017, 09:30 Ana Respicio

Apresentação da disciplina: objectivos, programa, regras de avaliação e datas. 

Questões abordadas pela teoria da computação. Implicações práticas e aspectos fundacionais.
Alfabetos, palavras e linguagens. Comprimento de palavra. 
Operações: concatenação, inversão. Subplavra.
[Aprender: Sipser, Cap.0, Palavras e Linguagens; folhas de apoio]
[Exercitar: folha 1 de exercícios]


Not Taught.

18 Setembro 2017, 08:00 Jorge Miguel Carvalho Gomes

Ainda não tinha ocorrido a primeira aula teórica.