I231 - Formelle språk og maskiner
Harry R. Lewis &
Christos H. Papadimitriou:
Elements of the Theory of Computation,
Prentice-Hall, 1981,
ISBN: 0-13-273417-6
- Kapittel 1.
- Kapittel 2.
- Kapittel 3: Ikke Parikhs teorem. Ikke 3.6.1-3.6.3.
- Kapittel 4.
- Kapittel 5: 5.1-5.2 og 5.7
- Kapittel 6: Ikke Teorem 6.3.2.
Foreleser: Professor Bengt Aspvall
Har kontor 3101 i Høyteknologisenteret
(adresse og telefon).
Email:
Bengt.Aspvall@ii.uib.no
Gruppeleder: Forsker Inge Jonassen
Email: inge@ii.uib.no
Forelesninger
- Mandager kl. 10.15 - 12.00 i auditorium 2142
- Fredager kl. 10.15 - 12.00 i auditorium 2142
(første gang 23. august)
Øvelser
- Tirsdager kl. 12.15 - 14.00 i auditorium 2142
(første gang 10. september)
Oppdatering
- Øvelse mandag 30. september kl. 10.15 - 12.00.
- Forelesning tirsdag 1. oktober kl. 12.15 - 14.00.
- Ikke øvelse tirsdag 8. oktober.
- Ikke forelesning fredag 11. oktober.
- Professor Torleiv Kløve foreleser mandag 14. oktober.
- Forelesning tirsdag 22. oktober kl. 12.15 - 13.00.
- Ikke øvelse tirsdag 22. oktober.
- Tirsdag 12. november øvelse kun kl. 12.15 - 13.00.
- Ikke øvelse tirsdag 19. november.
- Siste forelesningen var tirsdag 19. november kl. 12.15 - 13.00.
- Siste øvelsen var tirsdag 3. desember.
- Øvelse 1: 1.2.1, 1.2.4, 1.4.1, 1.4.6, 1.5.1, 1.5.2, 1.5.6, 1.8.1bc, 1.8.2a, 1.8.3, 1.8.5
- Øvelse 2:
1.9.1, 1.9.2a-c, 1.9.5, 2.1.2a, 2.1.3ae, 2.2.1b, 2.2.3c, 2.3.1a
- Øvelse 3: 2.3.1bc, 2.4.5aeg, 2.5.1b, 2.5.6.abc
- Øvelse 4 (mandag 30. september): 2.6.7, 3.1.4, 3.1.8f, 3.2.1, 3.3.2b
- Øvelse 5 (15. oktober): 3.5.1ab, 3.5.2ab, 3.5.28abc, 4.1.4, 4.1.6abc, 4.1.7
- Øvelse 6 (29. oktober): 4.2.3, 4.2.5, 4.3.1d, 4.3.2, 4.3.3, 4.4.3, 4.4.7ab
- Øvelse 7 (5. november): 4.5.7ab, 4.5.8, 4.5.10, 4.6.7, 5.2.3b, 5.2.7a
- Øvelse 8 (12. november): 5.7.1, 5.7.7, 6.1.3, 6.1.6
- Øvelse 9 (26. november): 6.2.3, 6.5.1, 6.5.2, 6.5.7, 6.2.9
- Øvelse 10 (3. desember): 2.5.2ac, 2.6.2abdef, 3.3.3a, 3.5.22ac
Muntlig eksamen torsdag 12. og fredag 13. desember .
Tidspunkt: se oppslag. Rom 2103 (Høyteknologisenteret).
Sensor: Forsker Pinar Heggernes.
Bengt.Aspvall@ii.uib.no
Tue Dec 3 15:30:42 MET 1996