Logika dla informatyków zima 2015/16

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. Podstawowe pojęcia teoriomnogościowe i operacje na zbiorach: suma, iloczyn, iloczyn kartezjański, zbior potęgowy, relacje, funkcje, relacje rownoważności, klasy abstrakcji, zbior ilorazowy. (4 godz.) 2. Moce zbiorow. Zbiory skończone i nieskończone. Zbiory przeliczalne. Twierdzenie Cantora i moc continuum. (4 godz.) 3. Częściowe porządki, elementy minimalne i najmniejsze, kresy. Porządki liniowe. Przykłady. Twierdzenia o punkcie stałym. Dobre porządki. (6 godz.) 4. Składnia i semantyka rachunku zdań i rachunku predykatow. Pojęcie spełniania i prawdziwości formuł. Niesprzeczność zbioru formuł. Informacja o twierdzeniu o zwartości. (6 godz.) 5. Unifikacja termow. Informacja o metodzie rezolucji. (6 godz.) 6. Dowodzenie twierdzeń. Informacja o gentzenowskich i hilbertowskich systemach dowodzenia. Informacja o twierdzeniu o pełności. (4 godz.) **Wymagania:** Matematyka w zakresie szkoły średniej

Wykłady

Lista
Prowadzący Termin zajęć Limit Zapisani Kolejka
(nieznany prowadzący)
0 145 0
Witold Charatonik
cz 12:15-14:00 (s. 25) 200 146 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
Emanuel Kieroński
cz 08:15-10:00 (s. 104) 20 21 0
Witold Charatonik
cz 10:15-12:00 (s. 140) 20 23 0
Jan Otop
cz 08:15-10:00 (s. 139) 20 20 0
Antoni Kościelski
cz 08:15-10:00 (s. 105) 20 17 0
Antoni Kościelski
cz 10:15-12:00 (s. 104) 20 22 0
(nieznany prowadzący)
0 0 0
Tomasz Wierzbicki
cz 10:15-12:00 (s. 139) 20 20 0
Piotr Wieczorek
cz 08:15-10:00 (s. 140) 20 21 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
Jerzy Marcinkowski
śr 10:15-12:00 (s. 119) 200 129 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
Piotr Wieczorek 338 Proszę o umówienie się e-mailem, preferowany termin: wtorek 12:15-13:00, czwartek 13:15-14.
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).
Emanuel Kieroński 304 wtorki 10-11 środy 10-11
Jan Otop 305 Konsultacje: pt 13-15 Dyżur dyrektorski: pt 15-16 Proszę umówić się z wyprzedzeniem e-maile.
Witold Charatonik 347 wtorek 14-16 lub po indywidualnym uzgodnieniu terminu (semestr letni 2024)
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ą.
Jerzy Marcinkowski 345 Środa, od 2 po południu. Proszę się wcześniej umówić mailem.