Logika obliczeniowa:

• 23.12 16:50 -> 16.12 15:10 lab. BT 2.7.16
• 23.12 11:45 -> 21.12 13:30 lab. CW 44

Metody probabilistyczne:

• 22.12 15:10 -> 22.12 11:45 BT 1.2.1
• 23.12 13:30 -> 21.12 11:45 BT 1.2.5