Strona główna » Przedmioty » Logika dla informatyków
Filtrowanie
Rodzaj przedmiotu
Inne

Logika dla informatyków

zima 2018/19
Punkty ECTS8
Liczba godzin30 (wyk) + 30 (rep) + 30 (ćw)
ProwadzącyWitold Charatonik
RodzajObowiązkowy 1
Przedmiot przyjazny dla I rokuTak
EgzaminTak
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ącyTermin zajęćLimitZapisaniKolejka
Witold Charatonik pn 12:00-14:00 (s. 25)3001660

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

Ćwiczenia

ProwadzącyTermin zajęćLimitZapisaniKolejka
Jan Otop pn 10:00-12:00 (s. 140)20201
Piotr Wieczorek pn 10:00-12:00 (s. 103)20211
Tomasz Wierzbicki pn 10:00-12:00 (s. 139)20210
Witold Charatonik pn 10:00-12:00 (s. 4)20201
Bartosz Bednarczyk pn 10:00-12:00 (s. 104)20210
Marek Piotrów pn 10:00-12:00 (s. 105)20210
Emanuel Kieroński pn 10:00-12:00 (s. 141)20210
Antoni Kościelski pn 10:00-12:00 (s. 5)20210

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

Repetytoria

ProwadzącyTermin zajęćLimitZapisaniKolejka
Jerzy Marcinkowski śr 12:00-14:00 (s. 25)3001550

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 nazwiskoPokójKonsultacje
Marek Piotrów348pn 14:15-15:00, śr. 12:15-13:00 - najlepiej zapowiedzieć się przez email
Piotr Wieczorek338Proszę o umówienie się e-mailem, preferowane terminy: środa 10-11, czwartek 12-13.
Tomasz Wierzbicki303Wtorki 18:15–20:00 po wcześniejszym umówieniu pocztą elektroniczną.
Witold Charatonik347wtorek 10-12 (semestr zimowy 2018/19)
Jan Otop336Wtorek 10-12 Proszę o wcześniejsze umówienie się mailem.
Emanuel Kieroński304wtorki 10.15-12.00
Antoni Kościelski311sem. zimowy 2018/19: poniedziałki, 12.15-13.00 wtorki, 11.15-12.00, piątki, 11.15-13.00, dodatkowe informacje na stronie www.
Bartosz Bednarczyk325Piątek 10:00-12:00. Możliwy również inny termin: w czwartek lub piątek na prośbę studenta.
Jerzy Marcinkowski345środa, od 2 po południu

Semestr 2018/19 letni