Logika dla informatyków/Ćwiczenia 12: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 2: | Linia 2: | ||
Napisać zdanie logiki drugiego rzędu aksjomatyzujące pojęcie porządku | 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 | ciągłego i wywnioskować stąd, że dla tej logiki nie zachodzi także | ||
dolne twierdzenie Skolema- | dolne twierdzenie Skolema-Löwenheima. | ||
}} | }} | ||
Wersja z 17:50, 4 paź 2006
Ć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-Löwenheima.
Ćwiczenie 2
Pokazać, że odpowiednik twierdzenia o zwartości nie zachodzi dla logiki drugiego rzędu.
Ćwiczenie 3
Napisać zdanie MSO, którego wszystkie skończone modele to dokładnie te grafy, które są 3-kolorowalne.
Ćwiczenie 4
Napisać zdanie , którego wszystkimi modelami są dokładnie struktury skończone.
Ćwiczenie 5
Napisać zdanie MSO, które definiuje język regularny składający się z tych wszystkich słów nad w których liczba jedynek jest parzysta.
