I231 - Formelle språk og maskiner

Kurset I231 ble undervist for siste gang høsten 1998 og vil bli erstattet av I210 - Datamaskinteori. Det er anledning til å ta eksamen i kurset I231 siste gang høsten 1999.

Oversikt over innholdet på denne vev-siden:

• Pensum
• Kursledere
• Tidspunkt
• Øvelsesoppgaver
• Eksamen

Pensum

• Kapittel 1.
• Kapittel 2.
• Kapittel 3: Ikke Parikhs teorem. Ikke 3.6.1-3.6.3.
• Kapittel 4.
• Kapittel 5:
• Kapittel 6: Ikke beviset for Posts korrespondanseteorem, ikke 6.5
• Ikke kapitler 7-9.

Kursledere

Tidspunkt for forelesninger og øvelser

Forelesninger

• Mandager kl. 12.15 - 14.00 i auditorium 2134
• Tirsdager kl. 10.15 - 12.00 i auditorium 2134 (første gang 24. august)

Øvelser

• Fredager kl. 10.15 - 12.00 i auditorium 2134 (første gang tirsdag 22. september kl. 12.15 i 2104HiB)

Oppdatering

• Siste forelesningen var tirsdag 10. november kl. 10.15 - 12.00.
• Siste øvelse var fredag 11. desember, kl. 1015-12.00.

Øvelsesoppgaver

• Øvelse 1 (22.9.): 1.2.1, 1.2.4, 1.4.1, 1.4.5, 1.4.6, 1.5.1, 1.5.2, 1.5.6, 1.7.1
• Øvelse 2 (22.9.): 1.7.7, 1.8.2, 1.8.3, 1.8.5, 1.8.6, 1.9.2, 1.9.5, 2.1.2ad, 2.1.3ae, 2.2.1
• Øvelse 3 (25.9.): 2.2.3, 2.3.3, 2.4.3, 2.5.1, 2.6.7, 2.6.5
• Øvelse 4 (2.10.): 3.1.8adf, 3.2.2, 3.2.6, 3.3.2ab, 3.4.1
• Øvelse 5 (9.10.): 3.4.3, 3.5.1ab, 3.5.2a, 3.5.4b, 3.5.7, 3.5.8
• Øvelse 6 (16.10.): 4.1.4, 4.1.7, 4.2.5, 4.3.2
• Øvelse 7 (22.10.): 4.4.7a (eksplisitt konstruksjon), 4.5.3, 4.5.7b, 4.6.2c, 4.6.7
• Øvelse 8 (29.10.): 5.2.3ad, 5.2.5, 5.2.7a, 5.2.9, 5.7.6, 5.7.7
• Øvelse 9 (6.11.): (5.2.9, 5.7.6, 5.7.7), 5.3.1bc, 5.3.2, 5.3.7, 5.4.4, 5.6.2a
• Øvelse 10 (13.11.): 5.5.3, 5.6.1, 5.6.5a, 6.1.3, 6.1.4, 6.2.1, 6.2.12
• Øvelse 11 (20.11.): 6.1.6, 6.2.3, 6.2.9, 6.3.3, 6.4.1, 6.4.7
• Øvelse 12 (27.11.): 1.9.1, 2.3.1, 2.5.2ac, 2.6.2abdef, 3.1.4
• Øvelse 13 (4.12.): 3.5.2b, 3.5.22ac, 3.5.28abc, 4.1.6, 4.2.3, 4.4.3, 4.4.7b
• Øvelse 14 (11.12.): 4.5.7, 4.5.8, 4.5.10, 5.2.3b, 6.1.3

Eksamen