16 vztahy: Alan Turing, Algoritmus, Alonzo Church, Cyklus while-do, Elektronická paměť, Funkce (matematika), Počítač, Problém zastavení, Programovací jazyk, Rekurze, Skok (informatika), SQL, Teorie vyčíslitelnosti, Turingův stroj, Turingovská úplnost, Uložená procedura.
Alan Turing
Alan Mathison Turing, OBE (23. června 1912 Londýn — 7. června 1954 Wilmslow) byl britský matematik, logik, kryptoanalytik a zakladatel moderní informatiky.
Nový!!: Churchova–Turingova teze a Alan Turing · Vidět víc »
Algoritmus
Algoritmus je přesný návod či postup, kterým lze vyřešit daný typ úlohy.
Nový!!: Churchova–Turingova teze a Algoritmus · Vidět víc »
Alonzo Church
Alonzo Church (Washington, D.C. – Hudson (Ohio)) byl americký matematik, logik a filozof.
Nový!!: Churchova–Turingova teze a Alonzo Church · Vidět víc »
Cyklus while-do
Vývojový diagram cyklu while-do Cyklus while-do je řídicí struktura počítačového programu a označuje cyklus, který testuje podmínku opakování cyklu vždy na počátku průběhu těla cyklu (srovnej s cyklus do-while), takže pokud zajistíme hned na počátku nesplnění podmínky cyklu, cyklus se ani jednou nevykoná.
Nový!!: Churchova–Turingova teze a Cyklus while-do · Vidět víc »
Elektronická paměť
osobním počítači Elektronická paměť je součástka, zařízení nebo materiál, který umožní uložit obsah informace (zápis do paměti), uchovat ji po požadovanou dobu a znovu ji získat pro další použití (čtení paměti).
Nový!!: Churchova–Turingova teze a Elektronická paměť · Vidět víc »
Funkce (matematika)
Zobrazení '''z''' množiny '''M''' (nahoře) resp. množiny '''D''' (dole) '''na''' množinu '''T''' (přerušovaná čára) resp. '''do''' množiny '''T''' (plná čára). Funkce je v matematice název pro zobrazení z množiny M na nebo do číselné množiny T (většinou reálných nebo komplexních čísel), či na nebo do vektorového prostoru T tvořeného uspořádanými n-ticemi čísel (vektorová funkce).
Nový!!: Churchova–Turingova teze a Funkce (matematika) · Vidět víc »
Počítač
Počítač je číslicový elektronický stroj, který lze naprogramovat tak, aby automaticky prováděl posloupnosti aritmetických nebo logických operací (výpočty).
Nový!!: Churchova–Turingova teze a Počítač · Vidět víc »
Problém zastavení
Problém zastavení (halting problem) je úloha teorie vyčíslitelnosti, která může být neformálně zadána takto: V roce 1936 Alan Turing dokázal, že obecný algoritmus, který by řešil problém zastavení pro všechny vstupy všech programů, neexistuje.
Nový!!: Churchova–Turingova teze a Problém zastavení · Vidět víc »
Programovací jazyk
Programovací jazyk je prostředek pro zápis algoritmů, jež mohou být provedeny na počítači.
Nový!!: Churchova–Turingova teze a Programovací jazyk · Vidět víc »
Rekurze
Rekurzivně definovaný Sierpińského trojúhelník. Rekurze je stav, kdy je určitý objekt v nějakém smyslu součástí sebe samotného.
Nový!!: Churchova–Turingova teze a Rekurze · Vidět víc »
Skok (informatika)
Vývojový diagram podmíněného větvení (podmíněného skoku) Skok (nebo) je instrukce, která narušuje normální způsob provádění počítačového programu instrukce po instrukci (sekvenčně).
Nový!!: Churchova–Turingova teze a Skok (informatika) · Vidět víc »
SQL
SQL (vyslovováno anglicky es-kjů-el) je zkratka pro standardizovaný strukturovaný dotazovací jazyk, který je používán pro práci s daty v relačních databázích.
Nový!!: Churchova–Turingova teze a SQL · Vidět víc »
Teorie vyčíslitelnosti
Teorie vyčíslitelnosti je obor na pomezí matematiky a informatiky, který zkoumá otázky algoritmické řešitelnosti problémů.
Nový!!: Churchova–Turingova teze a Teorie vyčíslitelnosti · Vidět víc »
Turingův stroj
Umělecké znázornění Turingova stroje Turingův stroj (TS) je teoretický model počítače popsaný matematikem Alanem Turingem, který se používá pro modelování algoritmů v teorii vyčíslitelnosti.
Nový!!: Churchova–Turingova teze a Turingův stroj · Vidět víc »
Turingovská úplnost
Turingovská úplnost je pojem z oboru teorie vyčíslitelnosti: Turingovsky kompletní, turingovsky úplný nebo turingovsky ekvivalentní je stroj (počítač), programovací jazyk, úloha nebo abstraktní stroj, který má stejnou výpočetní sílu jako Turingův stroj.
Nový!!: Churchova–Turingova teze a Turingovská úplnost · Vidět víc »
Uložená procedura
Uložená procedura (anglicky stored procedure) je databázový objekt, který neobsahuje data, ale část programu, který se nad daty v databázi má vykonávat.
Nový!!: Churchova–Turingova teze a Uložená procedura · Vidět víc »