Logika dla informatyków (zaawansowana) zima 2015/16
| Język wykładowy | Polski |
|---|---|
| Opiekun | Jerzy Marcinkowski |
| Liczba godzin | 30 (wyk.) 30 (ćw.) |
| Rodzaj | Obowiązkowy 1 |
| ECTS | 8 |
| Polecany dla I roku | Tak |
| Egzamin | Tak |
Opis przedmiotu:
Przedmiot jest adresowany do słuchaczy, co do których nie ma wątpliwości, że dobrze rozumieją co to jest rozumowanie matematyczne, i którzy zetknęli się wcześniej z wieloma pojęciami objętymi programem przedmiotu ,,Logika dla informatyków". Dlatego program nie tylko obejmuje wszystkie elementy programu przedmiotu ,,Logika dla informatyków", ale znacznie poza niego wychodzi ku kwestiom bardziej zaawansowanym.Wykłady
Lista| Prowadzący | Termin zajęć | Limit | Zapisani | Kolejka |
|---|---|---|---|---|
|
Jerzy Marcinkowski
ISIM |
cz 12:15-14:00 (s. 141) | 50 | 24 | 0 |
UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.
Ćwiczenia
Lista| Prowadzący | Termin zajęć | Limit | Zapisani | Kolejka |
|---|---|---|---|---|
|
Jan Otop
|
cz 10:15-12:00 (s. 103) | 20 | 6 | 0 |
|
Jakub Michaliszyn
ISIM |
cz 10:15-12:00 (s. 105) | 20 | 18 | 0 |
UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.
Konsultacje prowadzących:
| Imię i nazwisko | Pokój | Konsultacje |
|---|---|---|
| Jakub Michaliszyn | 305 | Czwartek od 10 |
| Jan Otop | 305 | Konsultacje: pt 13-15 Dyżur dyrektorski: pt 15-16 Proszę umówić się z wyprzedzeniem e-maile. |
| Jerzy Marcinkowski | 345 | Środa, od 2 po południu. Proszę się wcześniej umówić mailem. |