Logika dla informatyków zima 2026/27
| Język wykładowy | Polski |
|---|---|
| Opiekun | Witold Charatonik |
| Liczba godzin |
|
| 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
|
pn 12:00-14:00 (s. 25) | 154 | 136 | 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 |
|---|---|---|---|---|
|
Maksymilian Adamczewski
|
pn 10:00-12:00 (s. 104) | 17 | 17 | 0 |
|
Jarosław Byrka
|
pn 10:00-12:00 (s. 140) | 17 | 17 | 0 |
|
Witold Charatonik
|
pn 10:00-12:00 (s. 105) | 17 | 17 | 0 |
|
Emanuel Kieroński
|
pn 10:00-12:00 (s. 141) | 17 | 17 | 0 |
|
Pola Marciniak
|
pn 10:00-12:00 (s. 103) | 17 | 18 | 0 |
|
Kamil Matuszewski
|
pn 10:00-12:00 (s. 139) | 17 | 17 | 2 |
|
Filip Sieczkowski
|
pn 10:00-12:00 (s. 4) | 17 | 17 | 0 |
|
Mikołaj Swoboda
|
pn 10:00-12:00 (s. 5) | 17 | 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
|
wt 12:00-14:00 (s. 25) | 154 | 131 | 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ń '26: standardowo wtorki 1400–1600, proszę się zapowiedzieć emailowo (można też próbować znaleźć alternatywny termin jeśli będzie potrzeba) |
| Jarosław Byrka | 244 | Czwartek od 10 do 12 (prosze o kontakt przez e-mail dzien wczesniej) |
| Maksymilian Adamczewski | 323 | Po uzgodnieniu mailem |
| Pola Marciniak | 325 | czwartek 16:15-18:00 lub inny termin po uzgodnieniu mailowym |
| Kamil Matuszewski | 324 | Terminy (również zdalne) dostępne po kontakcie mailowym. |
| Mikołaj Swoboda | 323 | piątek 14:00–16:00 |
| Witold Charatonik | 347 | semestr zimowy 2026/27: wtorek 16-18 lub po mailowym uzgodnieniu terminu |
| Emanuel Kieroński | 304 | wtorki 10-12 |
| Bartosz Bednarczyk | 324 | Semestr zimowy 2026/27: wtorki 10:30-12:00, wyłącznie po wcześniejszym umówieniu się mailowo (w inne dni konsultacje nie są możliwe w związku z moim etatem we Wiedniu). |