Anúncios
Teórica #13
13 abril 2020, 17:56 • Carlos Caleiro
Máquina de Turing universal
Indecidibilidade do problema da terminação (Halting problem)estes conteúdos estiveram disponíveis até 2a-feira, 20 de Abril
Teórica #12
31 março 2020, 17:09 • Carlos Caleiro
Existência de linguagens não decidíveis e não reconhecíveis
Diagonalização
estes conteúdos estiveram disponíveis até 5a-feira, 16 de Abril
Prática #05
30 março 2020, 17:25 • Carlos Caleiro
Os exercícios para a aula prática 5, sobre propriedades de fecho das linguagens decidíveis e reconhecíveis, são: capítulo 3, exercícios 2.1(i), 2.2(c,d), 2.3 e 2.1(f).
Teórica #11
30 março 2020, 17:23 • Carlos Caleiro
Representação canónica de máquinas
Numerabilidade das linguagens decidíveis e reconhecíveis sobre um alfabeto
estes conteúdos estiveram disponíveis até 2a-feira, 13 de Abril
Teórica #10
24 março 2020, 18:21 • Carlos Caleiro
Mais propriedades de fecho
Cardinalidade de conjuntos
Reais não são numeráveis
Numerabilidade das palavras sobre um alfabeto
estes conteúdos estiveram disponíveis até 5a-feira, 2 de Abril