Logika dla Informatyków 2002/3
Terminarz zajęć z Logiki dla Informatyków w roku akademickim 2002/3.
Wykłady prowadzi Leszek Pacholski.
Wykłady odbywają się we czwartki w godzinach 14:15-16:00 w sali 31,
ćwiczenia zaś we czwartki w godzinach 12:15-14:00 w salach 33, 34 (grupa
zaawansowana), 35, 36 i 56 oraz 201 w budynku Mikrobiologii.
Terminy konsultacji prowadzących
Antoni Kościelski prowadzi
repetytorium w czasie swoich poniedziałkowych konsultacji
o godzinie 13:15 w sali 32. Na indywidualne konsultacje można
przychodzić do prowadzących w podanych niżej terminach.
| Witold Charatonik |
środy, 12:15-13:00 i czwartki, 11:15-12:00, pok. 22 |
| Antoni Kościelski |
poniedziałki, 13:15-14:00, sala 32
czwartki, 11:15-12:00, pok. 26 |
| Emanuel Kieroński |
wtorki, 16:15-17:00 i czwartki, 14:15-15:00, pok. 6 |
| Jerzy Marcinkowski |
wtorki, 15:00-17:00, pok. 21 |
| Leszek Pacholski |
poniedziałki, wtorki i piątki, 9:00-10:00, pok. 27 |
| Tomasz Wierzbicki |
wtorki, 14:15-16:00, pok. 23 |
Terminy zajęć
| Nr tygodnia |
Data |
Numery zadań |
| 1 |
3.10 |
Osobna lista zadań nr 0, rozdawana bezpośrednio przed
ćwiczeniami (TeX | DVI | Postscript | PDF) |
| 2 |
10.10 |
8-14, 27, 30-32, 42, 44, 46, 48 |
| 3 |
17.10 |
33, 34, 38, 40, 51-56, 60, 64, 68 |
| 4 |
24.10 |
61-63, 74-77, 81-84, 89, 91, 92 |
| 5 |
7.11 |
79, 93-102 |
| 6 |
14.11 |
103-115 |
| 7 |
21.11 |
118, 121, 126, 130-139 |
| 8 |
28.11 |
141-143, 161-162, 167, 171-174, 176-177 |
| 9 |
5.12 |
konsultacje w sprawie wyników egzaminu połówkowego |
| 10 |
12.12 |
191-194, 196-204 |
| 11 |
19.12 |
246-254, 281-284 |
| 12 |
9.01 |
288-296, 302-306 |
| 13 |
16.01 |
308-317, 319 |
| 14 |
23.01 |
6-7, 36, 86, 148-149, 182, 186-188 |
| 15 |
30.01 |
265-280, 285-287 |
Terminy egzaminów
| Wydarzenie |
Termin |
Uwagi |
| Egzamin połówkowy |
sobota, 30.11.02, 9:00-12:00 |
|
| Ogłoszenie wyników egzaminu połówkowego |
czwartek, 5.12.02, 12:00 |
|
| Konsultacje w sprawie egzaminu połówkowego |
czwartek, 5.12.02, 12:15-14:00 |
w porze ćwiczeń |
| Ogłoszenie ocen z ćwiczeń |
piątek, 31.01.03, 12:00 |
|
| Konsultacje w sprawie ocen z ćwiczeń i wpisywanie ocen
do indeksów |
piątek, 31.01.03, 12:15-14:00 |
|
| Egzamin końcowy |
poniedziałek, 3.02.03, 9:00-12:00 |
|
| Ogłoszenie wyników egzaminu końcowego |
piątek, 7.02.03, 12:00 |
|
| Konsultacje w sprawie egzaminu końcowego i wpisywanie
ocen do indeksów |
piątek, 7.02.03, 12:15-14:00 |
|
| Egzamin poprawkowy |
piątek, 14.02.03, 9:00-12:00 |
|
| Ogłoszenie wyników egzaminu poprawkowego |
Zmiana: piątek, 21.02.03, 12:15 |
|
| Konsultacje w sprawie egzaminu poprawkowego i
wpisywanie ocen do indeksów |
Zmiana: piątek, 21.02.03, 12:15 |
|
Przydział studentów do sal egzaminacyjnych, treści i rozwiązania zadań
oraz oceny z egzaminów
Egzamin połówkowy
Egzamin końcowy
Egzamin poprawkowy
|
