11 vztahy: Částečně rekurzivní funkce, Česko, Intuicionistická logika, Matematicko-fyzikální fakulta Univerzity Karlovy, Matematika, Praha, Teorie vyčíslitelnosti, 12. září, 15. září, 1936, 1988.
Částečně rekurzivní funkce
Částečně rekurzivní funkce (ČRF) je termín, kterým se v teorii vyčíslitelnosti označují funkce v jistém smyslu „složitější“ než tzv.
Nový!!: Oswald Demuth a Částečně rekurzivní funkce · Vidět víc »
Česko
Pražský hrad Kraje a historické země – zeleně Čechy, modře Morava, okrově Slezsko Geografická mapa Česka malý státní znak, se poprvé objevil ve 13. století Česko, plným názvem Česká republika, je stát ve střední Evropě.
Nový!!: Oswald Demuth a Česko · Vidět víc »
Intuicionistická logika
Intuicionistická logika je druh logiky, který nepoužívá princip vyloučeného třetího.
Nový!!: Oswald Demuth a Intuicionistická logika · Vidět víc »
Matematicko-fyzikální fakulta Univerzity Karlovy
Matematicko-fyzikální fakulta Univerzity Karlovy (zkratka MFF UK, hovorově matfyz) je jednou z fakult Univerzity Karlovy v Praze.
Nový!!: Oswald Demuth a Matematicko-fyzikální fakulta Univerzity Karlovy · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Oswald Demuth a Matematika · Vidět víc »
Praha
Praha (v češtině, slovenštině, ukrajinštině a běloruštině; v germánských jazycích a v srbochorvatštině Prag; v ostatních slovanských a románských jazycích Praga, anglicky a francouzsky Prague, v ostatních jazycích podle těchto tří variant) je hlavní město a současně největší město Česka, zároveň je 15. největším městem Evropské unie.
Nový!!: Oswald Demuth a Praha · 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ý!!: Oswald Demuth a Teorie vyčíslitelnosti · Vidět víc »
12. září
12.
Nový!!: Oswald Demuth a 12. září · Vidět víc »
15. září
15.
Nový!!: Oswald Demuth a 15. září · Vidět víc »
1936
1936 (MCMXXXVI) byl rok, který dle gregoriánského kalendáře započal středou.
Nový!!: Oswald Demuth a 1936 · Vidět víc »
1988
1988 (MCMLXXXVIII) byl rok, který dle gregoriánského kalendáře započal pátkem.
Nový!!: Oswald Demuth a 1988 · Vidět víc »