T-79.1002 Introduction to Theoretical Computer Science Y (2 cr)
This short course introduces the basic tools for dealing with data streams consisting of sequences of discrete symbols: finite automata and regular languages, and context-free grammars and languages.
The course covers the first half of a more extensive course on models of computation, T-79.1001 Introduction to Theoretical Computer Science T (4 cr) . For topical information, please refer to the WWW info page of that course. This short version is mainly intended for students of other study programmes than computer science (T). Computer science students, and telecommunications students following a pre-2005 curriculum, are required to take the larger course. (The course corresponding to the old course code T-79.148 is the long version T-79.1001. You can not compensate course T-79.148 in your curriculum requirements by course T-79.1002.)
Starting in 2006/07, the course is lectured in the autumn semester only.
Previous years: [Autumn 2006] [Spring 2006] [Autumn 2005] [Spring 2005] [Autumn 2004] [Spring 2004] [Autumn 2003] [Spring 2003] [Autumn 2002] [Spring 2002] [Spring 2001] [Spring 2000] [Spring 1999] [Spring 1998]
Harri Haanpää in Period I on Tuesdays 2 p.m. - 4 p.m. in Lecture Hall T1 of the Computer Science building. The first lecture is on Sep 11. The lectures are in Finnish, and the slides will appear here after each lecture. The contents will likely be very close to those from previous years, e.g. Autumn 2006.
Lecture schedule (tentative):
The tutorials start after the first lecture.
The Thursday 16-18 tutorial session is given in English, the others
are in Finnish. The head assistant of the course is Tommi Syrjänen.
There are no tutorials during the exam week from Oct 25 to Oct 31.
You must register in order to take the course, even if you were not intending to physically attend the tutorials. (Registrations are needed for bookkeeping purposes, specifically for generating your set of computerised home assignments.)
In the tutorials, there will be three home assignments and two or three demonstration problems each week. The tutorials are not compulsory, but bonus exam points (-2 to 4) will be awarded for doing the home assignments and marking them as done at the tutorial sessions. The grading scheme for the home assignments is as follows:
The demonstration problems are likely to be 90% the same as in the previous instalment of the course, and are discussed at the tutorials to the extent that time permits. In addition to the voluntary tutorials there are compulsory computer-generated "Regis" problem sets. (See the info page.)
Tutorial problems: Electronic copies (in PDF) downloadable here each week. Paper copies available at the lectures, and from the rack outside the theory lab office (TB336). Solutions for the demonstration problems are provided here as the course progresses.
Validity of tutorial bonus points. Exams for the course are for the time being scheduled for examination periods 1, 2, 3, 5 and 6 of the academic year (August, October, December, March, May). Any tutorial points earned in an autumn semester will be valid up to and including the October exam in the next autumn semester.
To participate in an exam, you must first complete your computer exercises. Exercises are generated at the beginning of the course after registration is closed for those who have registered for the course. If you complete the computer exercises by the early bird deadline announced in the registration email, you can earn 2 bonus points to augment your grade in the exam. See the info page for details.
Examinations and GradingIn general, exams for the course are scheduled for March, May, August, October, and December of each year. In 2007/08 exams are scheduled 25 Oct, 20 Dec, 7 Mar and 12 May. There may also be a summer exam in August 2008. The December exam is the main exam for T-79.1001 and the October exam is the main exam for T-79.1002.
Grading: Exam max 40 points, tutorials -1...+2 points. Min passing grade approx. 50% of exam max, highest grade (5) approx 90%. In the case of "close call" failures (at most 2 points below passing) despite serious study effort (at least half of the tutorial exercises done), there is a possibility of getting a passing grade by successfully solving additional problems. To discuss this option, please contact the lecturer after the exam has been graded.
Bonus points earned from the tutorials are added directly to the exam points, and may change the exam grade from failing to passing or vice versa. Bonus points earned from computerized assignments completed on time (see the info page) are only added afterwards to a passing exam grade, and may thus help to increase the grade, but not pass the course. Note that the computerized assignments must in any case be completed before the exam, and extra points are awarded only for completion by the bonus deadline.
FeedbackPlease provide feedback on the course via the DCSE department's course feedback system. at the end of the course.
Some useful and fun links that are related to the course contents, but not part of the official course material.
[TCS main] [Current] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [Links]
Latest update: 31 May 2007. Harri Haanpää