Sumários

13 Dezembro 2016, 11:00 • Alexandre Miguel dos Santos Martins Pinto

Folha 9: exercícios 1, 2, 3, 4, 5, 6, 11a

13 Dezembro 2016, 10:30 • Ana Respicio

Folha 9: exercícios 1, 2, 3, 4, 5, 6, 11a

13 Dezembro 2016, 09:30 • Ana Respicio

Redutibilidade

Teorema 5.28, Sipser.

Corolário 5.29, Sipser.

Teorema 5.30, Sipser. Esboço da Prova.

Notação Big-O e small-o.

Relações de complexidade entre os diferentes modelos.Teorema 7.8, Sipser.

12 Dezembro 2016, 08:00 • Alexandre Miguel dos Santos Martins Pinto

Folha 9: exercícios 1, 2, 3, 4, 5, 11a

9 Dezembro 2016, 11:30 • Alexandre Miguel dos Santos Martins Pinto

Folha 9: exercícios 1, 2, 3, 4, 5, 6, 11a