Logika dla informatyków zima 2014/15
| Język wykładowy | Polski |
|---|---|
| Opiekun | Witold Charatonik |
| Liczba godzin | 30 (wyk.) 30 (ćw.) 30 (rep.) |
| Rodzaj | Obowiązkowy 1 |
| ECTS | 8 |
| Polecany dla I roku | Tak |
| Egzamin | Tak |
Opis przedmiotu:
**Program:** 1. Podstawowe pojęcia teoriomnogościowe i operacje na zbiorach: suma, iloczyn, iloczyn kartezjański, zbior potęgowy, relacje, funkcje, relacje rownoważności, klasy abstrakcji, zbior ilorazowy. (4 godz.) 2. Moce zbiorow. Zbiory skończone i nieskończone. Zbiory przeliczalne. Twierdzenie Cantora i moc continuum. (4 godz.) 3. Częściowe porządki, elementy minimalne i najmniejsze, kresy. Porządki liniowe. Przykłady. Twierdzenia o punkcie stałym. Dobre porządki. (6 godz.) 4. Składnia i semantyka rachunku zdań i rachunku predykatow. Pojęcie spełniania i prawdziwości formuł. Niesprzeczność zbioru formuł. Informacja o twierdzeniu o zwartości. (6 godz.) 5. Unifikacja termow. Informacja o metodzie rezolucji. (6 godz.) 6. Dowodzenie twierdzeń. Informacja o gentzenowskich i hilbertowskich systemach dowodzenia. Informacja o twierdzeniu o pełności. (4 godz.) **Wymagania:** Matematyka w zakresie szkoły średniejWykłady
Lista| Prowadzący | Termin zajęć | Limit | Zapisani | Kolejka |
|---|---|---|---|---|
|
Witold Charatonik
|
cz 10:00-12:00 (s. 25) | 300 | 130 | 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 |
|---|---|---|---|---|
|
Antoni Kościelski
|
cz 08:00-10:00 (s. 104) | 18 | 18 | 0 |
|
Leszek Pacholski
|
cz 12:00-14:00 (s. 103) | 0 | 16 | 0 |
|
Witold Charatonik
|
cz 08:00-10:00 (s. 140) | 18 | 18 | 0 |
|
Piotr Witkowski
|
cz 08:00-10:00 (s. 105) | 18 | 11 | 0 |
|
Małgorzata Biernacka
|
cz 08:00-10:00 (s. 5) | 18 | 6 | 0 |
|
Jerzy Marcinkowski
|
cz 14:00-16:00 (s. 139) | 18 | 11 | 0 |
|
Antoni Kościelski
|
cz 14:00-16:00 (s. 105) | 18 | 12 | 0 |
|
Emanuel Kieroński
|
cz 08:00-10:00 (s. 103) | 18 | 18 | 0 |
|
Jerzy Marcinkowski
zaaw |
cz 12:00-14:00 (s. 139) | 20 | 18 | 0 |
UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.
Repetytoria
Lista| Prowadzący | Termin zajęć | Limit | Zapisani | Kolejka |
|---|---|---|---|---|
|
Jerzy Marcinkowski
|
śr 10:00-12:00 (s. 119) | 300 | 89 | 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 |
|---|---|---|
| Leszek Pacholski | 306 | wtorek, 9:00 - 10:00 czwartek, 14:00 - 15:00 |
| Piotr Witkowski | 311 | Po wcześniejszym umówieniu się pocztą elektroniczną. |
| Małgorzata Biernacka | 348 | wt., pt. 13-14 + możliwe inne terminy, po wcześniejszym umówieniu się |
| Witold Charatonik | 347 | wtorek 14-16 lub po indywidualnym uzgodnieniu terminu (semestr letni 2024) |
| Emanuel Kieroński | 304 | wtorki 10-11 środy 10-11 |
| Antoni Kościelski | 311 | sem. letni 2023/24: piątki, godz. 12.30-13.30, pokój 311, a także konsultacje zdalne za pośrednictwem MSTeams, w piątki, godz. 19.15 - 19.30 i dłużej, jeżeli będą zainteresowani. Zapraszam też na konsultacje zdalne lub w Instytucie w terminach uzgodnionych ze stosownym wyprzedzeniem np. pocztą elektroniczną. |
| Jerzy Marcinkowski | 345 | Środa, od 2 po południu. Proszę się wcześniej umówić mailem. |