Logika dla informatyków zima 2020/21
| 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. Zasada indukcji. 2. Składnia i semantyka rachunku zdań i rachunku predykatów. Pojęcie spełniania i prawdziwości formuł. Niesprzeczność zbioru formuł. 3. Podstawowe pojęcia teoriomnogościowe i operacje na zbiorach: suma, iloczyn, iloczyn kartezjański, zbiór potęgowy, relacje, funkcje, relacje równoważności, klasy abstrakcji, zbiór ilorazowy. 4. Moce zbiorów. Zbiory skończone i nieskończone. Zbiory przeliczalne i zbiory mocy continuum. Twierdzenia Cantora i Cantora-Bernsteina. 5. Porządki częściowe i liniowe. Dobre porządki. Indukcja noetherowska. 6. Unifikacja termów. Informacja o metodzie rezolucji. 7. Dowodzenie twierdzeń. Informacja o systemie naturalnej dedukcji. **Wymagania:** Matematyka w zakresie szkoły średniejWykłady
Lista| Prowadzący | Termin zajęć | Limit | Zapisani | Kolejka |
|---|---|---|---|---|
|
Witold Charatonik
hybrydowa |
pn 16:00-18:00 (s. 25) | 126 | 116 | 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 |
|---|---|---|---|---|
|
Bartosz Bednarczyk
|
pn 10:00-12:00 (s. 4) | 0 + 18 | 13 | 0 |
|
Witold Charatonik
|
pn 10:00-12:00 (s. 140) | 0 + 18 | 17 | 0 |
|
Emanuel Kieroński
|
pn 10:00-12:00 (s. 139) | 0 + 18 | 16 | 0 |
|
Antoni Kościelski
|
pn 10:00-12:00 (s. 5) | 0 + 18 | 18 | 0 |
|
Marek Piotrów
|
pn 10:00-12:00 (s. 104) | 0 + 18 | 18 | 0 |
|
Filip Sieczkowski
|
pn 10:00-12:00 (s. 103) | 0 + 18 | 17 | 0 |
|
Tomasz Wierzbicki
|
pn 10:00-12:00 (s. 141) | 0 + 18 | 17 | 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 |
|---|---|---|---|---|
|
Bartosz Bednarczyk
zdalna |
śr 10:00-12:00 (s. 310) | 126 | 116 | 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 |
|---|---|---|
| Filip Sieczkowski | 336 | jesień '25: czwartki 1230–1400 lub inny umówiony (mailowo) termin |
| Marek Piotrów | 348 | Czwartek 13-15 - należy zapowiedzieć się przez email |
| Tomasz Wierzbicki | 303 | Po wcześniejszym umówieniu pocztą elektroniczną. Nie w trakcie lub bezpośrednio przed moimi zajęciami (plan zajęć jest dostępny w systemie Zapisy). |
| Witold Charatonik | 347 | semestr zimowy 25/26: poniedziałek 16-18 lub po mailowym uzgodnieniu terminu (najlepiej uzgadniać czwartek 10-12, ale możliwe są też inne terminy) |
| Emanuel Kieroński | 304 | środy 10-12 |
| 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ą. |
| Bartosz Bednarczyk | 324 | Semestr zimowy 2025/26: poniedziałki 8:30-10:05 w moim biurze (324). |