Test GR3: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Rogoda (dyskusja | edycje)
Nie podano opisu zmian
m Zastępowanie tekstu – „ </math>” na „</math>”
 
(Nie pokazano 8 wersji utworzonych przez 2 użytkowników)
Linia 10: Linia 10:
---------------------------------------------------------------------
---------------------------------------------------------------------


; Pyt.12
:; -
<quiz type="exclusive">
Każda dziedzina ciągła posiada bazę przeliczalną.


<wrongoption>Prawda</wrongoption>
<quiz>
<rightoption>Fałsz</rightoption>
Zaznacz zdania prawdziwe dotyczące podłogi i sufitu:
</quiz>
 
<option><math>n\geq 2^{\left\lceil \log_2 n \right\rceil}</math>,</option>
<option><math>n\leq 2^{\left\lceil \log_2 n \right\rceil}</math>,</option>
<option><math>\left\lceil \log_2 \left\lceil n/2 \right\rceil \right\rceil=\left\lceil \log_2 \left( n/2 \right) \right\rceil</math>,</option>
<option><math>\left\lfloor \log_2 \left\lceil n/2 \right\rceil \right\rfloor=\left\lfloor \log_2 \left( n/2 \right) \right\rfloor</math>.</option>
</quiz>  


:; -
<quiz type="exclusive">
Każdy element bazy dziedziny ciągłej jest zwarty.


<option>Prawda</option>
<quiz>
<rightoption>Fałsz</rightoption>
Dowolny niepusty podzbiór  <math>S\subseteq \mathbb{N}</math> zbioru liczb naturalnych
</quiz>
 
 
:; +
ma w sobie liczbę największą
<quiz type="exclusive">
  Każda baza posetu algebraicznego zawiera wszystkie
ma w sobie liczbę najmniejszą
elementy zwarte.
   
 
ma w sobie liczbę największą oraz liczbę najmniejszą
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
ma w sobie liczbę najmniejszą ale nigdy nie ma największej
</quiz>
</quiz>


:; +
<quiz type="exclusive">
Każdy poset skończony jest algebraiczny.


<rightoption>Prawda</rightoption>
<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">
Każdy poset skończony jest dcpo.


<rightoption>Prawda</rightoption>
<math>S=\mathbb{N}-\left\lbrace 0,1,2,3,4,5,6,7,8 \right\rbrace</math>  
<option>Fałsz</option>
</quiz>


:; +
<math>S\subseteq\mathbb{N}-\left\lbrace 0,1,2,3,4,5,6,7,8 \right\rbrace</math>  
<quiz type="exclusive">
Każda krata skończona jest dcpo.


<rightoption>Prawda</rightoption>
<math>S\supseteq\mathbb{N}-\left\lbrace 0,1,2,3,4,5,6,7,8 \right\rbrace</math>  
<option>Fałsz</option>
</quiz>
</quiz>


:; -
<quiz type="exclusive">
Relacja aproksymacji na dowolnym posecie jest
interpolatywna.


<option>Prawda</option>
<quiz>
<rightoption>Fałsz</rightoption>
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">
Relacja aproksymacji na dowolnej dziedzinie Scotta jest
interpolatywna.


<rightoption>Prawda</rightoption>
zbiór  <math>S</math> zawiera wszystkie liczby naturalne, które są parzyste
<option>Fałsz</option>
</quiz>


:; -
zbiór  <math>S</mathjest zawarty w zbiorze liczb naturalnych, które parzyste
<quiz type="exclusive">
  Liczby naturalne dcpo.


<option>Prawda</option>
zbiór  <math>S</math> jest zbiorem wszystkich liczb naturalnych, które są parzyste
<rightoption>Fałsz</rightoption>
</quiz>
</quiz>


:; +
<quiz type="exclusive">
Liczby naturalne są posetem algebraicznym i bc-zupełnym.


<rightoption>Prawda</rightoption>
<quiz>
<option>Fałsz</option>
Ostatnią cyfrą liczby  <math>3^{3^n}</math> jest:
</quiz>


:; +
zawsze  <math>3</math>  
<quiz type="exclusive">
Każda rama jest dcpo.


<rightoption>Prawda</rightoption>
zawsze  <math>3</math> lub  <math>7</math>  
<option>Fałsz</option>
</quiz>


:; -
zawsze  <math>7</math>  
<quiz type="exclusive">
Każda krata dystrybutywna jest dcpo.


<option>Prawda</option>
jakakolwiek z cyfr  <math>0,1,2,3,4,5,6,7,8,9</math>  
<rightoption>Fałsz</rightoption>
</quiz>
</quiz>


:; +
<quiz type="exclusive">
Istnieje poset nieskończony, którego każdy element, który
nie jest maksymalny, jest zwarty.


<rightoption>Prawda</rightoption>
<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</mathzawiera wszystkie liczby naturalne poza skończonym podzbiorem
<quiz type="exclusive">
  Zbiory domknięte w sensie Scotta na dowolnym posecie są domknięte ze względu
na dowolne suprema.


<option>Prawda</option>
zbiór  <math>Z</math> zawiera wszystkie liczby naturalne
<rightoption>Fałsz</rightoption>
</quiz>


:; +
zbiór  <math>Z</mathzawiera nieskończenie wiele liczb naturalnych
<quiz type="exclusive">
  Zbiory domknięte w sensie Scotta na dowolnym posecie skończonym są domknięte ze względu
na dowolne suprema.


<rightoption>Prawda</rightoption>
zbiór  <math>Z</math> jest pusty
<option>Fałsz</option>
</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.


<rightoption>Prawda</rightoption>
<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">
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łą.


<rightoption>Prawda</rightoption>
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">
Topologia Scotta na dowolnym porządku jest <math>\displaystyle T_0</math>.


<rightoption>Prawda</rightoption>
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">
Istnieją częściowe porządki dowolnej mocy, dla których
topologia Scotta jest <math>\displaystyle T_1</math>.
<rightoption>Prawda</rightoption>
<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.
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
:; +
<quiz type="exclusive">
Topologia Scotta na posecie posiadającym element
najmniejszy jest zwarta.
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
:; +
<quiz type="exclusive">
Topologia Scotta na dowolnej dziedzinie ciągłej jest
realna.
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
:; -
<quiz type="exclusive">
Topologia Scotta na dowolnym dcpo jest realna.
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
:; +
<quiz type="exclusive">
Funkcja ciągła w sensie Scotta jest monotoniczna.
<rightoption>Prawda</rightoption>
<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>
<rightoption>Fałsz</rightoption>
</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>
<rightoption>Fałsz</rightoption>
</quiz>
:; +
<quiz type="exclusive">
Każda funkcja ciągła w sensie Scotta na dcpo
posiadającym element najmniejszy posiada najmniejszy punkt stały.
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
:; +
<quiz type="exclusive">
Każda funkcja monotoniczna na dcpo
posiadającym element najmniejszy posiada punkt stały.
<rightoption>Prawda</rightoption>
<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.
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
:; +
<quiz type="exclusive">
Funkcje ciągłe w sensie Scotta zachowują suprema zbiorów
skierowanych.
   
   
<rightoption>Prawda</rightoption>
<quiz>   
<option>Fałsz</option>
Jeśli <math>S\subseteq\mathbb{N}</math> , to:
</quiz>
--------------------------------------------------------
zbiór <math>S</math>  ma element największy
; Pyt.13
:; -
zbiór <math>S</math>  ma element najmniejszy
<quiz type="exclusive">
  LISP jest językiem imperatywnym.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
FORTRAN jest językiem imperatywnym.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
  <math>\displaystyle \mathbf{Dcpo}</math> jest kategorią zupełną i kartezjańsko
zamkniętą.
 
<rightoption>Prawda</rightoption>
<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>
<rightoption>Fałsz</rightoption>
</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>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Kategoria dziedzin algebraicznych i funkcji ciągłych w sensie
Scotta jest kartezjańsko zamknięta.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</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>
<rightoption>Fałsz</rightoption>
</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.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
  Operator <math>\displaystyle \mathrm{fix}\colon [P,P]\to P</math> przypisujący
funkcji ciągłej w sensie Scotta na dcpo posiadającym element
najmniejszy jej punkt stały jest ciągły w sensie Scotta.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
  Operator <math>\displaystyle \mathrm{fix}\colon [P,P]\to P</math> przypisujący
funkcji ciągłej w sensie Scotta na dowolnej kracie zupełnej jej
punkt stały jest ciągły w sensie Scotta.
 
<rightoption>Prawda</rightoption>
<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.
   
   
<rightoption>Prawda</rightoption>
zbiór <math>S</math>  ma element największy, o ile <math>S</math>  jest niepusty
<option>Fałsz</option>
</quiz>
---------------------------------------------------------------
; Pyt.14
:; +
<quiz type="exclusive">
<math>\displaystyle \mathbf{Dcpo}^{EP}_{\bot}</math> jest <math>\displaystyle \omega</math>-kategorią.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
<math>\displaystyle \mathbf{Dcpo}</math> jest <math>\displaystyle \omega</math>-kategorią.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
  <math>\displaystyle \mathbf{Set}</math> jest <math>\displaystyle \omega</math>-kategorią.
 
<rightoption>Prawda</rightoption>
<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>
<rightoption>Fałsz</rightoption>
</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>
<rightoption>Fałsz</rightoption>
</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>.
 
<rightoption>Prawda</rightoption>
<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>
<rightoption>Fałsz</rightoption>
</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.
 
<rightoption>Prawda</rightoption>
<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.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
  <math>\displaystyle \mathbf{Dcpo}</math> jest kategorią zupełną i kozupełną.
 
<rightoption>Prawda</rightoption>
<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>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Dowolny endofunktor na <math>\displaystyle \omega</math>-kategorii posiada punkt
stały.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Każdy ciągłe endofunktor na <math>\displaystyle \omega</math>-kategorii posiada
punkt stały.
 
<rightoption>Prawda</rightoption>
<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>
<rightoption>Fałsz</rightoption>
</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>
<rightoption>Fałsz</rightoption>
</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>
<rightoption>Fałsz</rightoption>
</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>.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Podzbiory liczb naturanych <math>\displaystyle \mathcal{P}\omega</math>
uporządkowane względem inkluzji spełniają rówanie
<math>\displaystyle \mathcal{P}\omega\cong [\mathcal{P}\omega,\mathcal{P}\omega]</math> w
kategorii <math>\displaystyle \mathbf{Dcpo}</math>.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Model zbioru Cantora <math>\displaystyle \Sigma^{\infty}</math> jest rozwiązaniem
pewnego rekursywnego równania w kategorii <math>\displaystyle \mathbf{Dcpo}</math>.
   
   
<rightoption>Prawda</rightoption>
zbiór <math>S</math>  ma element najmniejszy, o ile <math>S</math>  jest niepusty
<option>Fałsz</option>
</quiz>
-----------------------------------------------
; Pyt.15
:; -
<quiz type="exclusive">
Koalgebrą funktora <math>\displaystyle T\colon \mathbf{Set}\to\mathbf{Set}</math>
jest każda para <math>\displaystyle (X,a\colon TX\to X)</math>.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Algebry początkowe endofunktorów w <math>\displaystyle \mathbf{Set}</math> są
jedyne z dokładnością do izomrfizmu.
 
<rightoption>Prawda</rightoption>
<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.
 
<rightoption>Prawda</rightoption>
<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>.
 
<rightoption>Prawda</rightoption>
<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>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Każda bisymulacja jest bipodobieństwem, ale nie
odwrotnie.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Dwie nieskończone listy będące w relacji bisymulacji
muszą być sobie równe.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Dwie bipodobne nieskończone listy są sobie równe.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Istnieje bipodobieństwo, które nie jest bisymulacją.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Koindukcja jest metodą dowodzenia własności list
nieskończonych.
 
<rightoption>Prawda</rightoption>
<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>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
  Relacja odwrotna do bisymulacji jest bipodobieństwem.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</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>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Graf homomorfizmu dwóch dowolnych koalgebr jest
bipodobieństwem.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
  Graf homomorfizmu dwóch dowolnych koalgebr jest
bisymulacją.
 
<rightoption>Prawda</rightoption>
<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.
 
<rightoption>Prawda</rightoption>
<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>
<rightoption>Fałsz</rightoption>
</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>.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Każda <math>\displaystyle T</math>-algebra początkowa jest izomorfizmem.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Każda <math>\displaystyle T</math>-koalgebra końcowa jest izomorfizmem.
<rightoption>Prawda</rightoption>
<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

Fałsz



Zaznacz zdania prawdziwe dotyczące podłogi i sufitu:


n2log2n,

n2log2n,

log2n/2=log2(n/2),

log2n/2=log2(n/2).


Dowolny niepusty podzbiór S zbioru liczb naturalnych


ma w sobie liczbę największą

ma w sobie liczbę najmniejszą

ma w sobie liczbę największą oraz liczbę najmniejszą

ma w sobie liczbę najmniejszą ale nigdy nie ma największej


Zbiór S jest taki, że jeśli sS to s+1S . Jeśli 9S , to:

S=

S={0,1,2,3,4,5,6,7,8}

S{0,1,2,3,4,5,6,7,8}

S{0,1,2,3,4,5,6,7,8}


Zbiór S jest taki, że jeśli a,bS , to a+bS oraz a+b+1∉S . Jeśli 0,2S , to:

S=

zbiór S zawiera wszystkie liczby naturalne, które są parzyste

zbiór S jest zawarty w zbiorze liczb naturalnych, które są parzyste

zbiór S jest zbiorem wszystkich liczb naturalnych, które są parzyste


Ostatnią cyfrą liczby 33n jest:

zawsze 3

zawsze 3 lub 7

zawsze 7

jakakolwiek z cyfr 0,1,2,3,4,5,6,7,8,9


Jeśli Z jest jakimś zbiorem liczb naturalnych, który wraz z każdym początkowym fragmentem zbioru postaci {0,,k1} zawiera również kolejną liczbę k, to wtedy

zbiór Z zawiera wszystkie liczby naturalne poza skończonym podzbiorem

zbiór Z zawiera wszystkie liczby naturalne

zbiór Z zawiera nieskończenie wiele liczb naturalnych

zbiór Z 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ć


Jeśli S , to:

zbiór S ma element największy

zbiór S ma element najmniejszy

zbiór S ma element największy, o ile S jest niepusty

zbiór S ma element najmniejszy, o ile S jest niepusty