**Lectures** (28 times 2 hours) Jan 11-Apr 22:

- 12:15-14:00 Monday (Jan 11)

- 8:15-10:00 Wednesday (Jan 13, 20, 27; Feb 3,10; Mar 2,9,16,23,30; Apr 6,13,20)

- 14:15-16:00 Thursday (Jan 21, 28; Feb 11)

- 10:15-12:00 Friday (Jan 22, 29; Feb 5, 12; Mar 4,11,18; Apr 1,8,15,22)

- 12:15-14:00 Monday (Jan 18,25; Feb 1, 8, 15, 29; Mar 7, 14, 21; Apr 4, 11, 18)

- 14:15-16:00 Thurday (Feb 4)

**Course Web Page:**

**Instructor:**

- Jarkko Kari
- Office: Quantum 365, 3rd floor

- email: jkari@utu.fi,

- tel: (02) 333 5616.

- Office hours: Thursday 10:15-11:00am

- No texbook. Lecture notes will be posted on the course web page.

- Presence is mandatory. Absence is permitted only if agreed with the lecturer (ask beforehand if possible).
- To pass the course, at least 25% of the homework problems must be completed. The more problems you solve, the more credit towards the final grade you get: You get demo class
- A, if you complete 70%-100%,
- B, if you complete 45%-70%,
- C, if you complete 25%-45%

- Two midterms:
- Feb 26
- TBA

- Not mandatory. The class requirements can also be satisfied by taking a single final exam.
**Registration though internet (NettiOpsu) is required at least one week before the exam.**- Both midterms (3 hours) consist of 4 problems, each of which has maximum score of 4 point.
- A minimum of 5 points is required in both midterms.
- Homework activity (demo class A, B or C) and the combined score of the two midterms determine the final grade according to the following table:

Final Grade

Demo class

A

B

C

**1**13-14

14-15

15-16

**2**15-18

16-19

17-20

**3**19-22

20-23

21-24

**4**23-27

24-28

25-28

**5**28-32

29-32

29-32

- An alternative way to pass the class. One can take the exam more than once (even if one has passed the course) to improve the final grade.
- First chance to take the final exam is on TBA. More final exams will be scheduled during the Spring term.
- Registration though internet (NettiOpsu) is required at least one week before the exam.
- Anyone with democlass at least C has qualified to take the exam within one year.
- Exams (4 hours) consist of 5 problems, each of which has maximum score of 8 points.
- Homework activity (demo class A, B or C) and the score of the final exam determine the final grade according to the following table:

Final Grade

Demo class

A

B

C

**1**17-18

18-19

19-21

**2**19-23

20-24

22-26

**3**24-29

25-30

27-31

**4**30-34

31-35

32-36

**5**35-40

36-40

37-40

**Tentative course outline**

- Basic definitions of cellular automata and symbolic dynamics
- Injectivity, surjectivity, reversibility
- Garden-of-Eden theorem, Hedlund’s theorem
- Conservation laws, reversible CA
- 1st midterm (Feb 26)

- Computational universality in CA
- Undecidability in CA
- Dynamical properties of CA, limit sets

- 2nd midterm (TBA)