Logika dla informatyków/Ćwiczenia 12

Z Studia Informatyczne
< Logika dla informatyków
Wersja z dnia 20:21, 1 paź 2006 autorstwa Przemo (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Ćwiczenie 1

Napisać zdanie logiki drugiego rzędu aksjomatyzujące pojęcie porządku ciągłego i wywnioskować stąd, że dla tej logiki nie zachodzi także dolne twierdzenie Skolema-Lowenheima.

Ćwiczenie 1

Pokazać, że odpowiednik twierdzenia o zwartości nie zachodzi dla logiki drugiego rzędu.

Ćwiczenie 1

Napisać zdanie MSO, którego wszystkie skończone modele to dokładnie te grafy, które są 3-kolorowalne.

Ćwiczenie 1

Napisać zdanie Σ11, którego wszystkimi modelami są dokładnie struktury skończone.

Ćwiczenie 1

Napisać zdanie MSO, które definiuje język regularny składający się z tych wszystkich słów nad A1={0,1}, w których liczba jedynek jest parzysta.

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Logika_dla_informatyków/Ćwiczenia_12&oldid=61565”