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

Príncipio de Indução. Definições indutivas e recursivas.
Exercícios 1, 2a, 2b da Ficha 1.


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. 

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


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.