Logika dla informatyków zima 2018/19

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 Yes
Egzamin Yes

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. /li> 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

Prowadzący Termin zajęć Limit Zapisani Kolejka
Witold Charatonik pn 12:00-14:00 (s. 25) 300 166 0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.

Ćwiczenia

Prowadzący Termin zajęć Limit Zapisani Kolejka
Witold Charatonik pn 10:00-12:00 (s. 4) 20 20 1
Piotr Wieczorek pn 10:00-12:00 (s. 103) 20 21 1
Bartosz Bednarczyk pn 10:00-12:00 (s. 104) 20 21 0
Emanuel Kieroński pn 10:00-12:00 (s. 141) 20 21 0
Antoni Kościelski pn 10:00-12:00 (s. 5) 20 21 0
Tomasz Wierzbicki pn 10:00-12:00 (s. 139) 20 21 0
Marek Piotrów pn 10:00-12:00 (s. 105) 20 21 0
Jan Otop pn 10:00-12:00 (s. 140) 20 20 1

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.

Repetytoria

Prowadzący Termin zajęć Limit Zapisani Kolejka
Jerzy Marcinkowski śr 12:00-14:00 (s. 25) 300 155 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
Marek Piotrów 348 pn 14:00-15:00, śr. 14:00-15:00 - najlepiej zapowiedzieć się przez email
Piotr Wieczorek 338 Proszę o umówienie się e-mailem, preferowany termin: środa 12-14.
Tomasz Wierzbicki 303 Po wcześniejszym umówieniu pocztą elektroniczną.
Jan Otop 336 Poniedzałek 10-12 Proszę o wcześniejsze umówienie się mailem.
Emanuel Kieroński 304 wtorki 10-12
Witold Charatonik 347 wtorek 16-18 (semestr zimowy 2019/20)
Antoni Kościelski 311 sem. zimowy 2019/20: poniedziałki, 12.15-13.00, środy, 14.15-15.00 (16.00), dodatkowe informacje na stronie www.
Bartosz Bednarczyk 325 W tym tygodniu sobotnie konsultacje się nie odbędą. Semestr zimowy 19/20: sobota 16-19. Możliwe są również dodatkowe konsultacje w poniedziałki lub piątki po godzinie 18 na wcześniejszą mailową prośbę studenta. W związku z moją pracą w Dreźnie, konsultacje w inne dni tygodnia są fizycznie niemożliwe (ale zawsze chętnie odpowiadam na maile).
Jerzy Marcinkowski 345 środa, od 2 po południu