Logika dla informatyków zima 2022/23

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) 130 132 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. 105) 21 22 1
Jarosław Byrka
pn 10:00-12:00 (s. 141) 21 22 0
Witold Charatonik
pn 10:00-12:00 (s. 140) 21 22 0
Emanuel Kieroński
pn 10:00-12:00 (s. 104) 21 22 0
Antoni Kościelski
pn 10:00-12:00 (s. 139) 21 23 0
Jan Otop
pn 10:00-12:00 (s. 103) 21 21 1

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
wt 16:00-18:00 (s. 119) 130 132 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
Jarosław Byrka 244 Czwartek od 10 do 12 (prosze o kontakt przez e-mail dzien wczesniej)
Jan Otop 305 Konsultacje: pt 13-15 Proszę umówić się z wyprzedzeniem e-mailem.
Witold Charatonik 347 wtorek 14-16 lub po indywidualnym uzgodnieniu terminu (semestr letni 2025)
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 letni 2024/25: Po wcześniejszym umówieniu się mailowo.
Jerzy Marcinkowski 345 Środa, od 2 po południu. Proszę się wcześniej umówić mailem.