Terminarz zajęć z Logiki dla Informatyków w roku akademickim 2008/9.
Wykłady odbywają się w środy w godzinach 16:15–18:00 w sali 25 (wielka sala wschodnia), ćwiczenia w środy w godzinach 14:15–16:00 (grupa zaawansowana we wtorki w godzinach 14:15–16:00 w sali 103), zaś repetytorium we wtorki w godzinach 10:15–12:00 w sali 25.
Szczegółowy regulamin zajęć znajduje się w materiałach do zajęć
ranking ćwiczeńNa indywidualne konsultacje można przychodzić do prowadzących w terminach podanych w systemie zapisow.
| Nr tygodnia | Data | Numery zadań |
| 1 | 8.10 | Zadania z rozdziału 0 Materiałów do zajęć |
| 2 | 15.10 | 10, 13, 14, 23, 26, 33, 36, 39 |
| 3 | 22.10 | 42, 52, 62, 65, 75, 76, 79, 86, 88 |
| 4 | 29.10 | 101, 102, 109, 127, 128, 129, 139, 149, 154 |
| 5 | 5.11 | 160, 181, 186, 195, 197, 198, 206, 207, 208 |
| 6 | 12.11 | 209-217 |
| 7 | 19.11 | 218, 220, 221, 232, 239, 240, 242, 244, 246 |
| 8 | 26.11 | 253, 257, 263, 274, 275, 276, 277, 281, 311 |
| 9 | 3.12 | 302, 310, 312, 313, 314, 316, 331, 334, 337 |
| 10 | 10.12 | 356, 357, 362, 363, 373, 374, 378, 381, 382 |
| 11 | 17.12 | konsultacje w sprawie egzaminu połówkowego |
| 12 | 7.1 | 406, 408, 410, 428, 429, 430, 438, 439, 441 |
| 13 | 14.1 | 457, 458, 459, 488, 490, 492, 507, 509, 510 |
| 14 | 21.01 | 511, 512, 513, 514, 516, 445, 446, 450, 451 |
| 15 | 28.01 | 93, 94, 113, 114, 183, 223, 339, 379, 426, 549 |
| Wydarzenie | Termin | Uwagi |
| Egzamin połówkowy | 5.12.2008 | 16:00-19:00 |
| Ogłoszenie wyników egzaminu połówkowego | ||
| Konsultacje w sprawie egzaminu połówkowego | 17.12 | w porze ćwiczeń |
| Ogłoszenie ocen z ćwiczeń | 2 lutego 2009 | |
| Konsultacje w sprawie ocen z ćwiczeń i wpisywanie ocen do indeksów | 3 lutego 2009 | po egzaminie |
| Egzamin końcowy | 3 lutego 2009 | 10:00-14:00 |
| Ogłoszenie wyników egzaminu końcowego | 9.2.2009 | 23:59 |
| Konsultacje w sprawie egzaminu końcowego i wpisywanie ocen do indeksów | 10.2.2009 | 13:15-15:00, 119 |
| Egzamin poprawkowy | 17 lutego 2009 | 10:00-14:00 |
| Ogłoszenie wyników egzaminu poprawkowego | 17.2.2009 | 23:59 |
| Konsultacje w sprawie egzaminu poprawkowego i wpisywanie ocen do indeksów | 18.2.2009 | 12:15-13:00 |