Logika dla informatyków zima 2024/25

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	103	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
Witold Charatonik	pn 10:00-12:00 (s. 103)	17	17	0
Jan Otop	pn 10:00-12:00 (s. 141)	17	17	1
Emanuel Kieroński	pn 10:00-12:00 (s. 140)	17	18	0
Tomasz Wierzbicki	pn 10:00-12:00 (s. 104)	17	17	0
Bartosz Bednarczyk	pn 10:00-12:00 (s. 139)	17	17	6
Kamil Matuszewski	pn 10:00-12:00 (s. 105)	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	cz 16:00-18:00 (s. 25)	142	103	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
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).
Kamil Matuszewski	324	Terminy (również zdalne) dostępne po kontakcie mailowym.
Jan Otop	305	Konsultacje: pt 13-15 Proszę umówić się z wyprzedzeniem e-maile.
Emanuel Kieroński	304	środy 10-12
Witold Charatonik	347	wtorek 15-17 lub po indywidualnym uzgodnieniu terminu (semestr zimowy 2024/25)
Bartosz Bednarczyk	324	Semestr zimowy 2024/25: Konsultacje z logiki odbywają się w poniedziałki 8:15-10:00 (biuro 324) oraz czwartki 18:15-19:00 (sala 25). Konsultacje z matematyki dyskretnej odbywają się na życzenie w poniedziałki w godzinach 17:15-19:00 (okolice biura 324).