Studiehåndbok (description in study guide):
Link to Olav Hjortås' English-Norwegian dictionary of terms used in the course.
Course Description: The course covers models of computation that form the basis of modern computers. The course overviews methods for generating and recognizing formal languages (grammars, automata, Turing machines) and explains their relation to computation. With an emphasis on applications, logical circuits and a simple CPU are designed on a mathematical basis.
Objectives: The student should acquire a good understanding of formal models of computation and their relevance to computer science.
Lærebok (Textbook): John Martin, Introduction to Languages and the Theory of Computation, McGraw Hill, Third Edition. In addition some parts from John Savage, Models of Computation, Addison-Wesley, will be used. Booklets with selected parts from Savage's book will be available at Studia for approximately 80 NOK.
The course covers Chapters 1-8 of Martin's book (plus-minus some minor parts to be specified later) and selected parts from Savage's book.
Foreleser (Lecturer): Fedor V. Fomin
Gruppeleder (Assistent): Olav Hjortås
Forelesninger på engelsk (lectures in English):
Gruppeøvinger (plenary workshops):
Første forelesning (starting lecture): 18/8 Siste forelesning (last lecture): by the end of November
Office Hours: 12:30-13:00 Monday, or by appointment (fomin_AT_ii.uib.no)
Exam:: Written or oral, depending on number of students. There will be two compulsory exercisers (obligatoriske oppgaver). They will be counted equally (15% each), and will count 30% of the final grade.
Tentative Schedule (changes are possible):
Off stands for no meeting at all, Ch. for lecturing material and Ex. for workshop exercises to be found at the end of each chapter. For example, Ch.1.1-5;2.1,3 would denote a slot with lectures on the first 5 sections of chapter 1 and sections 1 and 3 of chapter 2.
Oral exam: November, 26 and 27, 2143 Questions
November, 26, 2143
November, 27, 2143