General Theory Flashcards
(12 cards)
(pseudo)příkaz
pokyn k činnosti, který se odehraje při běhu programu; (při překladu)
ordinální typ
jednoduchý typ, pro každou hodnotu existuje jedna následující a jedna předchozí (kromě první a poslední)
skalární typ
jednoduchý typ, pro každé dvě hodnoty lze stanovit relace
konstruktor
operace, která ustaví strukturovanou hodnotu výčtem jejich komponent
vedlejší jev
změna globální proměnné uvnitř procedury
selektor
operace, kt umožní přístup k jednotlivé komponentě struktury na základě jména a reference
Abstraktní datový typ
ADT je definovách množinou hodnot, kterých smí nabývat jeho prvky a množinou operací nad těmito prvky.
(zvýšení datové abstrakce, snížení složitosti algoritmů)
iterátor
operace, která provede zadanou činnost nad všemi prvky homogenní datové struktury
destruktor
operace zruší dynamickou strukturu a vrátí prostor jí zaujímaný
Ekvivalence dvou seznamů [rekurzivně]
Dva seznamy jsou ekv, když jsou oba prázdné nebo když se rovnají jejich první prvky a také jejich zbytky
Délka seznamu [rekurzivně]
Je-li seznam prázdný, má délku nula. V jiném případě je jeho délka jedna plus délka jeho zbytku.
Binární strom [rekurzivně]
Binární strom je buď prázdný, nebo sestává z jednoho uzlu zvaného kořene a dvou podstromů - levého a pravého. (Oba podstromy mají vlastnosi binárního stromu.)