Teoria kategorii dla informatyków/Test 13: Teoria dziedzin II

LISP jest językiem imperatywnym.

Prawda Źle

Fałsz Dobrze

FORTRAN jest językiem imperatywnym.

Prawda Dobrze

Fałsz Źle

$\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$ jest kategorią zupełną i kartezjańsko zamkniętą.

Prawda Dobrze

Fałsz Źle

Kategoria dziedzin ciągłych i funkcji ciągłych w sensie Scotta jest zupełna.

Prawda Źle

Fałsz Dobrze

Kategoria dziedzin ciągłych i funkcji ciągłych w sensie Scotta jest kartezjańsko zamknięta.

Prawda Źle

Fałsz Dobrze

Kategoria dziedzin algebraicznych i funkcji ciągłych w sensie Scotta jest kartezjańsko zamknięta.

Prawda Źle

Fałsz Dobrze

Jeśli $D$ jest dziedziną ciągłą i $E$ jest dziedziną bc-zupełną, to $[D,E]$ jest dziedziną bc-zupełną.

Prawda Źle

Fałsz Dobrze

Jeśli $D$ jest dziedziną ciągłą i $E$ jest dziedziną bc-zupełną, to $[D,E]$ jest dcpo.

Prawda Dobrze

Fałsz Źle

Operator $\mathrm{f}\mathrm{i}\mathrm{x}:[P,P]\to P$ 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.

Prawda Dobrze

Fałsz Źle

Operator $\mathrm{f}\mathrm{i}\mathrm{x}:[P,P]\to P$ 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.

Prawda Dobrze

Fałsz Źle

Pętle $\mathtt{w}\mathtt{h}\mathtt{i}\mathtt{l}\mathtt{e}$ w semantyce denotacyjnej modelujemy używając operatora punktu stałego.

Prawda Dobrze

Fałsz Źle