Logika dla informatyków, grupa nr 6

Logika dla informatyków

semestr zimowy 2010/2011, grupa nr 6
poniedziałki 16.15-17.45, sala 3130 (do odwołania: sala 3230)

Literatura

Skrypt do wykładu
Materiały do kursu logiki wg starego programu (przydatne do około połowy semestru)
- na stronie prof. Urzyczyna znajdują się skrypt i zbiór zadań
- Skrypt prof. Tiuryna, "Wstęp do teorii mnogości i logiki" (jest dostępny np. w wydziałowej bibliotece)
W wydziałowym archiwum egzaminów jest dużo egzaminów z logiki według starego programu. Trzeba się zalogować, a następnie wybrać Informatyka > Logika.

Kolokwium odbędzie się 6 grudnia na wykładzie. Materiał: do tw. Gödla włącznie.
Kolokwium stanowi 40% oceny końcowej.
Egzamin stanowi 60% oceny końcowej. (Wszyscy mogą pisać.)
W drugim terminie będzie się liczył tylko egzamin.

(4.10.2010) Ćwiczenia nr 1: logika zdaniowa, zdaniowe logiki trójwartościowe, problemy obliczeniowe
(11.10.2010) Ćwiczenia nr 2: spełnialność formuł w strukturach
(18.10.2010) Ćwiczenia nr 3: izomorfizmy struktur
(25.10.2010) Ćwiczenia nr 4: izomorfizmy struktur cd. Rozwiązanie zadania o definiowalności skończonych struktur nad skończoną sygnaturą.
(8.11.2010) Ćwiczenia nr 5: gry Ehrenfeuchta, twierdzenie Fraïssé
(15.11.2010) Ćwiczenia nr 6: twierdzenie o zwartości, twierdzenie Skolema-Löwenheima
(22.11.2010) Ćwiczenia nr 7: niestandardowy model arytmetyki, funkcja beta Gödla
(29.11.2010) Ćwiczenia nr 8: powtórzenie przed kolokwium
(6.12.2010) Ćwiczenia nr 9: zdaniowa logika intuicjonistyczna
(13.12.2010) Ćwiczenia nr 10: zdaniowa logika intuicjonistyczna - cd., logika drugiego rzędu
(20.12.2010) Ćwiczenia nr 11: logika drugiego rzędu - cd., PDL (zdaniowa logika dynamiczna)
(3.01.2011) Ćwiczenia nr 12: twierdzenie Trachtenbrota, twierdzenie Codda, algebra relacji
(10.01.2011) Ćwiczenia nr 13: twierdzenie Codda, algebra relacji - cd.
(17.01.2011) Ćwiczenia nr 14: teorie rozstrzygalne