Sumários

23 Novembro 2018, 08:00 • André Souto

Resolução de exercícios da folha 7 sobre máquinas de Turing.

21 Novembro 2018, 09:30 • André Souto

O postulado de Church-Turing e o 10º problema de Hilbert.

Considerações sobre algoritmos.

Codificações de objectos para máquinas de Turing.

Exemplos: grafos e máquinas de Turing.

Definição de máquina de Turing universal.

Prova da existência de uma máquina de Turing universal.

Estudar a secção 3.3 do Sipser.

21 Novembro 2018, 08:00 • André Souto

Resolução de exercícios da folha 7 sobre máquinas de Turing.

20 Novembro 2018, 11:00 • Andreia Mordido

Resolução de exercícios da folha 7 sobre máquinas de Turing.

20 Novembro 2018, 10:30 • André Souto

Resolução de exercícios da folha 7 sobre máquinas de Turing.