Logika dla informatyków zima 2025/26

Lista

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 średniej

Wykłady

Lista

Prowadzący	Termin zajęć	Limit	Zapisani	Kolejka
Witold Charatonik	pn 12:00-14:00 (s. 25)	142	83	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. 140)	15	16	1
Jarosław Byrka	pn 10:00-12:00 (s. 105)	15	14	0
Witold Charatonik	pn 10:00-12:00 (s. 104)	15	15	1
Emanuel Kieroński	pn 10:00-12:00 (s. 103)	15	13	0
Katarzyna Paluch	pn 10:00-12:00 (s. 139)	15	12	0
Filip Sieczkowski	pn 10:00-12:00 (s. 141)	15	13	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)	142	83	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
Katarzyna Paluch	304	środy 16.15-17.30 - bezpieczniej jest się zapowiedzieć; możliwe inne terminy po uzgodnieniu przez e-mail;
Jarosław Byrka	244	Czwartek od 10 do 12 (prosze o kontakt przez e-mail dzien wczesniej)
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
Bartosz Bednarczyk	324	Semestr zimowy 2025/26: Czwartki 18:00-20:00 online przez MS Teams. Od 27.10.2025, konsultacje będą się odbywały w poniedziałki w godzinach 08:20-10:05 (w moim biurze, 324).