Zbiór <math>S\subseteq\mathbb{N}</math> jest taki, że jeśli <math>a,b\in S</math> ,
</quiz>
to <math>a+b\in S</math> oraz <math>a+b+1\not\in S</math> .
Jeśli <math>0,2 \in S</math> , to:
:; +
<math>S=\mathbb{N}</math>
<quiz type=„exclusive”>
Każdy poset skończony jest dcpo.
<option>Prawda</option>
zbiór <math>S</math> zawiera wszystkie liczby naturalne, które są parzyste
<option>Fałsz</option>
</quiz>
:; +
zbiór <math>S</math> jest zawarty w zbiorze liczb naturalnych, które są parzyste
<quiz type=„exclusive”>
Każda krata skończona jest dcpo.
<option>Prawda</option>
zbiór <math>S</math> jest zbiorem wszystkich liczb naturalnych, które są parzyste
<option>Fałsz</option>
</quiz>
</quiz>
:; -
<quiz type=„exclusive”>
Relacja aproksymacji na dowolnym posecie jest
interpolatywna.
<option>Prawda</option>
<quiz>
<option>Fałsz</option>
Ostatnią cyfrą liczby <math>3^{3^n}</math> jest:
</quiz>
:; +
zawsze <math>3</math>
<quiz type=„exclusive”>
Relacja aproksymacji na dowolnej dziedzinie Scotta jest
interpolatywna.
<option>Prawda</option>
zawsze <math>3</math> lub <math>7</math>
<option>Fałsz</option>
</quiz>
:; -
zawsze <math>7</math>
<quiz type=„exclusive”>
Liczby naturalne są dcpo.
<option>Prawda</option>
jakakolwiek z cyfr <math>0,1,2,3,4,5,6,7,8,9</math>
<option>Fałsz</option>
</quiz>
</quiz>
:; +
<quiz type=„exclusive”>
Liczby naturalne są posetem algebraicznym i bc-zupełnym.
<option>Prawda</option>
<quiz>
<option>Fałsz</option>
Jeśli <math>Z \subseteq \mathbb{N}</math> jest jakimś zbiorem liczb naturalnych,
</quiz>
który wraz z każdym początkowym fragmentem zbioru <math>\mathbb{N}</math>
postaci <math>\left\lbrace 0,\ldots,k-1 \right\rbrace</math> zawiera również kolejną liczbę <math>k</math>, to wtedy
:; +
zbiór <math>Z</math> zawiera wszystkie liczby naturalne poza skończonym podzbiorem
<quiz type=„exclusive”>
Każda rama jest dcpo.
<option>Prawda</option>
zbiór <math>Z</math> zawiera wszystkie liczby naturalne
<option>Fałsz</option>
</quiz>
:; -
zbiór <math>Z</math> zawiera nieskończenie wiele liczb naturalnych
<quiz type=„exclusive”>
Każda krata dystrybutywna jest dcpo.
<option>Prawda</option>
zbiór <math>Z</math> jest pusty
<option>Fałsz</option>
</quiz>
</quiz>
:; +
<quiz type=„exclusive”>
Istnieje poset nieskończony, którego każdy element, który
nie jest maksymalny, jest zwarty.
<option>Prawda</option>
<quiz>
<option>Fałsz</option>
Grupa uczniów stojących przed klasą skłóciła się do tego stopnia, że nikt z nikim się nie lubił. Jeden z nich, aby naprawić relacje, wymyślił, że jeżeli wszyscy znajdujący się wewnątrz klasy będą pogodzeni, to nie powinno być problemu, aby któryś stojący na zewnątrz klasy wszedł do środka i pogodził się ze wszystkimi, będącymi w klasie. Drugi z nich zauważył jednak, że nic z tego nie wyjdzie, bo w środku nikogo nie ma. Czy klasa jest w stanie się pogodzić?
</quiz>
:; -
klasa na pewno się nie pogodzi
<quiz type=„exclusive”>
Zbiory domknięte w sensie Scotta na dowolnym posecie są domknięte ze względu
na dowolne suprema.
<option>Prawda</option>
klasa się pogodzi, jeżeli każdy pójdzie za radą pierwszego ucznia
<option>Fałsz</option>
</quiz>
:; +
jeżeli w klasie byłaby już jedna osoba, to reszta klasy miałaby szansę się pogodzić
<quiz type=„exclusive”>
Zbiory domknięte w sensie Scotta na dowolnym posecie skończonym są domknięte ze względu
na dowolne suprema.
<option>Prawda</option>
jeżeli w klasie byłyby już co najmniej dwie osoby,
<option>Fałsz</option>
przy czym osoby w klasie byłyby ze sobą pogodzone,
to reszta klasy miałaby szansę się pogodzić
</quiz>
</quiz>
:; +
<quiz type=„exclusive”>
Stożki górne w posecie <math>\displaystyle P</math> (tj. zbiory typu <math>\displaystyle \uparrow x</math> dla <math>\displaystyle x\in
P</math>) są zwarte w topologii Scotta.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Każdy stożek dolny <math>\displaystyle \downarrow x</math> w dziedzinie ciągłej <math>\displaystyle P</math> wraz z
porządkiem z <math>\displaystyle P</math> obciętym do <math>\displaystyle \downarrow x</math> jest dziedziną ciągłą.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Topologia Scotta na dowolnym porządku jest <math>\displaystyle T_0</math>.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Istnieją częściowe porządki dowolnej mocy, dla których
topologia Scotta jest <math>\displaystyle T_1</math>.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Topologia Scotta na porządku jest <math>\displaystyle T_1</math> wtedy i tylko
wtedy, gdy częściowy porządek redukuje się do równości.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Topologia Scotta na posecie posiadającym element
najmniejszy jest zwarta.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Topologia Scotta na dowolnej dziedzinie ciągłej jest
realna.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Topologia Scotta na dowolnym dcpo jest realna.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Funkcja ciągła w sensie Scotta jest monotoniczna.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Każda funkcja ciągła w sensie Scotta na dowolnym posecie posiada punkt stały.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Każda funkcja ciągła w sensie Scotta na posecie
posiadającym element najmniejszy posiada punkt stały.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Każda funkcja ciągła w sensie Scotta na dcpo
posiadającym element najmniejszy posiada najmniejszy punkt stały.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Każda funkcja monotoniczna na dcpo
posiadającym element najmniejszy posiada punkt stały.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Porządek specjalizacji topologii Scotta na dziedzinie
ciągłej pokrywa się z porządkiem tejże dziedziny.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Funkcje ciągłe w sensie Scotta zachowują suprema zbiorów
skierowanych.
; Pyt.13
:
<option>Prawda</option>
<quiz>
<option>Fałsz</option>
Jeśli <math>S\subseteq\mathbb{N}</math> , to:
</quiz>
:; -
<quiz type=„exclusive”>
LISP jest językiem imperatywnym.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
FORTRAN jest językiem imperatywnym.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
<math>\displaystyle \mathbf{Dcpo}</math> jest kategorią zupełną i kartezjańsko
zamkniętą.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Kategoria dziedzin ciągłych i funkcji ciągłych w sensie
Scotta jest zupełna.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Kategoria dziedzin ciągłych i funkcji ciągłych w sensie
Scotta jest kartezjańsko zamknięta.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Kategoria dziedzin algebraicznych i funkcji ciągłych w sensie
Scotta jest kartezjańsko zamknięta.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Jeśli <math>\displaystyle D</math> jest dziedziną ciągłą i <math>\displaystyle E</math> jest dziedziną
bc-zupełną, to <math>\displaystyle [D,E]</math> jest dziedziną bc-zupełną.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Jeśli <math>\displaystyle D</math> jest dziedziną ciągłą i <math>\displaystyle E</math> jest dziedziną
bc-zupełną, to <math>\displaystyle [D,E]</math> jest dcpo.
funkcji ciągłej w sensie Scotta na dowolnej kracie zupełnej jej
punkt stały jest ciągły w sensie Scotta.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Pętle <math>\displaystyle \mathtt{while}</math> w semantyce denotacyjnej
modelujemy używając operatora punktu stałego.
; Pyt.14
zbiór <math>S</math> ma element największy
:
<option>Prawda</option>
zbiór <math>S</math> ma element najmniejszy
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
<math>\displaystyle \mathbf{Dcpo}^{EP}_{\bot}</math> jest <math>\displaystyle \omega</math>-kategorią.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
<math>\displaystyle \mathbf{Dcpo}</math> jest <math>\displaystyle \omega</math>-kategorią.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
<math>\displaystyle \mathbf{Set}</math> jest <math>\displaystyle \omega</math>-kategorią.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Funktor między kategoriami dziedzin jest ciągły, jeśli
jest funkcją ciągłą w sensie Scotta.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
W <math>\displaystyle \mathbf{Set}</math> równanie <math>\displaystyle D\cong [D,D]</math> dla <math>\displaystyle D\in \mathbf{Set}_0</math> nie ma żadnego
rozwiązania.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
W <math>\displaystyle \mathrm{Dcpo}</math> istnieje nieskończenie wiele rozwiązań
równania <math>\displaystyle D\cong [D,D]</math>.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Istnienie kategorii, w której rekursywne równania typu <math>\displaystyle D\cong [D,D]</math>
mają rozwiązania, jest wykorzystywane w semantyce operacyjnej
nietypowanego rachunku lambda.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Istnienie kategorii, w której rekursywne równania typu <math>\displaystyle D\cong [D,D]</math>
mają rozwiązania, jest wykorzystywane w semantyce denotacyjnej
nietypowanego rachunku lambda.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Przekątna <math>\displaystyle \Delta\colon
\mathbf{Dcpo}\to\mathbf{Dcpo}\times\mathbf{Dcpo}</math> jest funktorem
ciągłym i lokalnie ciągłym.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
<math>\displaystyle \mathbf{Dcpo}</math> jest kategorią zupełną i kozupełną.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Każdy endomorfizm w <math>\displaystyle \mathbf{Dcpo}</math> posiada najmniejszy
punkt stały.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Dowolny endofunktor na <math>\displaystyle \omega</math>-kategorii posiada punkt
stały.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Każdy ciągłe endofunktor na <math>\displaystyle \omega</math>-kategorii posiada
punkt stały.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
W <math>\displaystyle \mathbf{Set}</math> istnieją nietrywialne rozwiązania
rówania <math>\displaystyle X\cong X+X</math>.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Liczby naturalne <math>\displaystyle \omega</math> są rozwiązaniem równania
<math>\displaystyle X\cong\mathbf{1}\oplus X</math> w kategorii <math>\displaystyle \mathbf{Dcpo}</math>.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Liczby naturalne <math>\displaystyle \omega</math> są rozwiązaniem równania
<math>\displaystyle X\cong X_{\bot}</math> w katetgorii <math>\displaystyle \mathbf{Dcpo}</math>.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Leniwe liczby naturalne są rozwiązaniem równania <math>\displaystyle X\cong
X\oplus X</math> w kategorii <math>\displaystyle \mathbf{Dcpo}</math>.
jest każda para <math>\displaystyle (X,a\colon TX\to X)</math>.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Algebry początkowe endofunktorów w <math>\displaystyle \mathbf{Set}</math> są
jedyne z dokładnością do izomrfizmu.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Istnieje kategoria, w której para
<math>\displaystyle (\mathbb{N},[0,s]\colon \mathbf{1}+\mathbb{N}\to\mathbb{N})</math> jest
obiektem końcowym.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Nieskończone listy nad alfabetem <math>\displaystyle A</math> są koalgebrą końcową
pewnego endofunktora na <math>\displaystyle \mathbf{Set}</math>.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Nieskończone listy nad alfabetem <math>\displaystyle A</math> są koalgebrą
początkową pewnego endofunktora na <math>\displaystyle \mathbf{Set}</math>.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Każda bisymulacja jest bipodobieństwem, ale nie
odwrotnie.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Dwie nieskończone listy będące w relacji bisymulacji
muszą być sobie równe.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Dwie bipodobne nieskończone listy są sobie równe.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Istnieje bipodobieństwo, które nie jest bisymulacją.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Koindukcja jest metodą dowodzenia własności list
nieskończonych.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Metoda dowodzenia przez koindukcję opiera się na
własności uniwersalnej algebr początkowych endofunktorów w
<math>\displaystyle \mathbf{Set}</math>.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Relacja odwrotna do bisymulacji jest bipodobieństwem.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
<math>\displaystyle T</math>-koalgebry dla ustalonego funktora <math>\displaystyle T\colon \mathbf{Set}\to\mathbf{Set}</math> wraz z homomorfizmami
tworzą kategorię małą.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Graf homomorfizmu dwóch dowolnych koalgebr jest
bipodobieństwem.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Graf homomorfizmu dwóch dowolnych koalgebr jest
bisymulacją.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Istnieją endofunktory w <math>\displaystyle \mathbf{Set}</math>, dla których
kategoria algebr nie posiada obiektu początkowego.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Dla każdego endofunktora <math>\displaystyle T</math> w <math>\displaystyle \mathbf{Set}</math> kategoria
<math>\displaystyle T</math>-koalgebr posiada obiekt końcowy.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Zasada indukcji matematycznej na liczabch naturalnych
jest równoważna faktowi, że liczby naturalne wraz z elementem zero
i funkcją następnika tworzą algebrę początkową endofunktora
<math>\displaystyle \mathbf{1}+(-)</math> w <math>\displaystyle \mathbf{Set}</math>.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Każda <math>\displaystyle T</math>-algebra początkowa jest izomorfizmem.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Każda <math>\displaystyle T</math>-koalgebra końcowa jest izomorfizmem.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
</quiz>
Aktualna wersja na dzień 11:02, 5 wrz 2023
--- przykładowo jak zrobić pierwsze pytanie z pierwszego modułu ---
Dowolna kategoria składa się ze zbioru obiektów i zbioru morfizmów, które
spełniają odpowiednie aksjomaty dotyczące złożenia, identyczności,
dziedzin i kodziedzin morfizmów.
Prawda Źle
Fałsz Dobrze
Zaznacz zdania prawdziwe dotyczące podłogi i sufitu:
ma w sobie liczbę największą oraz liczbę najmniejszą
ma w sobie liczbę najmniejszą ale nigdy nie ma największej
Zbiór jest taki, że jeśli to .
Jeśli , to:
Zbiór jest taki, że jeśli ,
to oraz .
Jeśli , to:
zbiór zawiera wszystkie liczby naturalne, które są parzyste
zbiór jest zawarty w zbiorze liczb naturalnych, które są parzyste
zbiór jest zbiorem wszystkich liczb naturalnych, które są parzyste
Ostatnią cyfrą liczby jest:
zawsze
zawsze lub
zawsze
jakakolwiek z cyfr
Jeśli jest jakimś zbiorem liczb naturalnych,
który wraz z każdym początkowym fragmentem zbioru
postaci zawiera również kolejną liczbę , to wtedy
zbiór zawiera wszystkie liczby naturalne poza skończonym podzbiorem
zbiór zawiera wszystkie liczby naturalne
zbiór zawiera nieskończenie wiele liczb naturalnych
zbiór jest pusty
Grupa uczniów stojących przed klasą skłóciła się do tego stopnia, że nikt z nikim się nie lubił. Jeden z nich, aby naprawić relacje, wymyślił, że jeżeli wszyscy znajdujący się wewnątrz klasy będą pogodzeni, to nie powinno być problemu, aby któryś stojący na zewnątrz klasy wszedł do środka i pogodził się ze wszystkimi, będącymi w klasie. Drugi z nich zauważył jednak, że nic z tego nie wyjdzie, bo w środku nikogo nie ma. Czy klasa jest w stanie się pogodzić?
klasa na pewno się nie pogodzi
klasa się pogodzi, jeżeli każdy pójdzie za radą pierwszego ucznia
jeżeli w klasie byłaby już jedna osoba, to reszta klasy miałaby szansę się pogodzić
jeżeli w klasie byłyby już co najmniej dwie osoby,
przy czym osoby w klasie byłyby ze sobą pogodzone,
to reszta klasy miałaby szansę się pogodzić