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
ma w sobie liczbę największą oraz liczbę najmniejszą
:
<option>Prawda</option>
ma w sobie liczbę najmniejszą ale nigdy nie ma największej
<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>
:; -
<quiz type="exclusive">
Funktor między kategoriami dziedzin jest ciągły, jeśli
jest funkcją ciągłą w sensie Scotta.
<option>Prawda</option>
<quiz>
<option>Fałsz</option>
Zbiór <math>S\subseteq\mathbb{N}</math> jest taki, że jeśli <math>s\in S</math> to <math>s+1\in S</math> .
</quiz>
Jeśli <math>9\in S</math> , to:
:; -
<math>S=\mathbb{N}</math>
<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
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>
<quiz>
<option>Fałsz</option>
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">
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>
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">
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>
zbiór <math>S</math> jest zbiorem wszystkich liczb naturalnych, które są parzyste
<option>Fałsz</option>
</quiz>
</quiz>
:; +
<quiz type="exclusive">
<math>\displaystyle \mathbf{Dcpo}</math> jest kategorią zupełną i kozupełną.
<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">
Każdy endomorfizm w <math>\displaystyle \mathbf{Dcpo}</math> posiada najmniejszy
punkt stały.
<option>Prawda</option>
zawsze <math>3</math> lub <math>7</math>
<option>Fałsz</option>
</quiz>
:; -
zawsze <math>7</math>
<quiz type="exclusive">
Dowolny endofunktor na <math>\displaystyle \omega</math>-kategorii posiada punkt
stały.
<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">
Każdy ciągłe endofunktor na <math>\displaystyle \omega</math>-kategorii posiada
punkt stały.
<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">
W <math>\displaystyle \mathbf{Set}</math> istnieją nietrywialne rozwiązania
rówania <math>\displaystyle X\cong X+X</math>.
<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">
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>
zbiór <math>Z</math> jest pusty
<option>Fałsz</option>
</quiz>
</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>
<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">
Leniwe liczby naturalne są rozwiązaniem równania <math>\displaystyle X\cong
X\oplus X</math> w kategorii <math>\displaystyle \mathbf{Dcpo}</math>.
<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ć
zbiór <math>S</math> ma element najmniejszy, o ile <math>S</math> jest niepusty
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ć