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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

LISP jest językiem imperatywnym.

Prawda

Fałsz


FORTRAN jest językiem imperatywnym.

Prawda

Fałsz


jest kategorią zupełną i kartezjańsko zamkniętą.

Prawda

Fałsz


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

Prawda

Fałsz


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

Prawda

Fałsz


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

Prawda

Fałsz


Jeśli jest dziedziną ciągłą i jest dziedziną bc-zupełną, to jest dziedziną bc-zupełną.

Prawda

Fałsz


Jeśli jest dziedziną ciągłą i jest dziedziną bc-zupełną, to jest dcpo.

Prawda

Fałsz


Operator 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

Fałsz


Operator 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

Fałsz


Pętle w semantyce denotacyjnej modelujemy używając operatora punktu stałego.

Prawda

Fałsz