Logika dla informatyków – ćwiczenia

Formularz do deklarowania zadań

mjod.kieg.science/logika-form

Tematyka zajęć

  • Podstawowe pojęcia logiczne: prawda i fałsz, proste i złożone zdania logiczne.
  • Metody definiowania zbiorów, operacje mnogościowe.
  • Produkt kartezjański, relacje, badanie własności relacji.
  • Dowodzenie własności relacji równoważności i relacji porządku.
  • Równoliczność zbiorów. Ciągi, operacje składania ciągów.
  • Przykłady definiowania języków formalnych. Gramatyki bezkontekstowe a skończone automaty akceptujące.
  • Przykłady typów danych jako algebr wielorodzajowych.
  • Przykłady dowodzenia formuł rachunku zdań metodą zerojedynkową i transformacyjną.
  • Przykłady dowodzenia formuł rachunku zdań metodą Gentzena.
  • Nieformalna interpretacja formuł rachunku kwantyfikatorów.
  • Przykłady dowodzenia formuł rachunku kwantyfikatorów metodą Gentzena.
  • Postaci kanoniczne formuł.
  • System dowodzenia oparty o regułę rezolucji.

Zasady uczestnictwa w ćwiczeniach i ich zaliczenia

  1. Obecność na ćwiczeniach jest obowiązkowa. Dopuszczalne są dwie nieobecności, które nie mają konsekwencji.
  2. Wiedza niezbędna do rozwiązania zadań zdobywana jest przez Studentów podczas wykładu oraz w ramach studiowania literatury przedmiotu.
  3. Studenci przychodzą na ćwiczenia przygotowani. Przez przygotowanie rozumie się umiejętność rozwiązania poszczególnych zadań z listy zadań.
  4. Przed rozpoczęciem ćwiczeń studenci deklarują umiejętność rozwiązania konkretnego zadania poprzez formularz dostępny pod linkiem mjod.kieg.science/logika-form lub w przypadku braku dostępu do internetu – na kartce podpisanej imieniem i nazwiskiem wraz z adnotacją dotyczącą numeru listy.
  5. Deklaracje są wsparciem dla prowadzącego w wyborze studenta rozwiązującego konkretne zadanie. Deklaracja mniejszej niż połowa liczby zadań powoduje otrzymanie przez studenta ujemnego punktu za aktywność.
  6. Trzecia i kolejna nieusprawiedliwiona nieobecność jest równoważna brakowi deklaracji każdego z zadań obowiązujących na danych ćwiczeniach.
  7. Podczas zajęć rozwiązywane i omawiane są kolejne zadania z listy przy tablicy. Prowadzący wybiera Studenta rozwiązującego zadanie spośród osób, które je zadeklarowały.
  8. Na siódmych oraz przedostatnich zajęciach odbędą się kolokwia. Na ostatnich zajęciach odbędzie się kolokwium poprawkowe. Kolokwia będą miały formę testu wielokrotnego wyboru.

Ocenianie

Aktywność

  1. Za samodzielne przedstawienie rozwiązania zadania z listy można otrzymać 1 punkt.
  2. Za jedną listę można zdobyć maksymalnie 2 punkty za aktywność.
  3. Nieumiejętność rozwiązania zadeklarowanego zadania skutkuje punktem ujemnym za aktywność.
  4. Suma punktów za aktywność na zajęciach przed pierwszym kolokwium oznaczana będzie symbolem A1, a suma punktów za aktywność między pierwszym a drugim kolokwium – A2.

Kolokwia

  1. Kolowia będą miały formą testów wielokrotnego wyboru.
  2. Na kolokwium można uzyskać od 0 do 10 punktów.
  3. Nieobecność na kolokwium skutkuje otrzymaniem 0 punktów z testu.
  4. Otrzymana liczba punktów na pierwszym kolokwium oznaczana będzie symbolem K1, a liczba punktów na drugim kolokwium – K2.

Ocena końcowa

Zaliczenie ćwiczeń bez kolokwium poprawkowego wymaga otrzymania co najmniej 4 punkty z pierwszej oraz drugiej części zajęć. Ocena końcowa z ćwiczeń wyznaczana jest na podstawie sumy ocen uzyskanych przez studenta za aktywność na ćwiczeniach oraz na kolokwiach. Końcowa liczba punktów P zadana jest wzorem:

P = min(10, A1 + K1) + min(10, A2 + K2)

Ocena wyznaczana jest z poniższej tabeli:

Ppopr 10 12 14 16 18
Ocena 3.0 3.5 4.0 4.5 5.0

Zaliczenie poprawkowe

W przypadku braku zaliczenia w normalnym terminie można pisać kolokwium poprawkowe. Na kolokwium poprawkowym można zdobyć 10 punktów. Jeśli student otrzymał co najmniej cztery punkty z pierwszej lub drugiej części zajęć, za każdą taką sytuację przyznawany jest dodatkowy punkt.

Liczba punktów Ppopr zdobytych po kolokwium poprawkowym stanowi podstawę do uzyskania oceny zgodnie z tabelą:

P 5 7 8 11 12
Ocena 3.0 3.5 4.0 4.5 5.0

Listy zadań

Listy zadań będą publikowane przez prowadzącego wykład we wskazanym miejscu.