34 vzťahy: Alan Turing, Alonzo Church, Bakalár, Connecticut, Dizertačná práca, Doktor (PhD.), Druhá svetová vojna, Emil Leon Post, Gödelova veta o neúplnosti, Hartford (Connecticut), Informatika, Intuicionizmus, Kurt Gödel, Lambda kalkul, Madison (Wisconsin), Maine, Massachusetts, Matematická logika, Matematik, Princeton University, Regulárny výraz, Saunders Mac Lane, Spojené štáty, Teória vypočítateľnosti, Teoretická informatika, Wisconsin (štát), 1900, 1909, 1930, 1934, 1935, 1994, 25. január, 5. január.
Alan Turing
Alan Mathison Turing (* 23. jún 1912, Londýn, Spojené kráľovstvo – † 7. jún 1954, Wilmslow, Spojené kráľovstvo) bol britský matematik, logik, kryptograf a vojnový hrdina.
Nový!!: Stephen Cole Kleene a Alan Turing · Pozrieť viac »
Alonzo Church
Alonzo Church (* 14. jún 1903, Washington D.C., USA – † 11. august 1995, Hudson, Ohio) bol americký logik a filozof zodpovedný za niektoré základy teoretickej informatiky.
Nový!!: Stephen Cole Kleene a Alonzo Church · Pozrieť viac »
Bakalár
Bakalár (Bc.) je v súčasnosti akademický titul, ktorý sa udeľuje absolventom prvého (bakalárskeho) stupňa vysokoškolského štúdia.
Nový!!: Stephen Cole Kleene a Bakalár · Pozrieť viac »
Connecticut
Connecticut je je najjužnejší štát v regióne Nové Anglicko na severovýchode Spojených štátov.
Nový!!: Stephen Cole Kleene a Connecticut · Pozrieť viac »
Dizertačná práca
Dizertačná práca alebo dizertácia je rozsiahla vedecká rozprava, v ktorej sa na základe vedeckého výskumu a s využitím bohatého dokladového materiálu a vedeckých metód rieši zložitý odborný problém.
Nový!!: Stephen Cole Kleene a Dizertačná práca · Pozrieť viac »
Doktor (PhD.)
Skupina úspešných absolventov doktorandského štúdia so svojimi profesormi, Worcester Polytechnic Institute, Spojené kráľovstvo. Doktor (skr. PhD.) je medzinárodne uznávaný akademický titul, ktorý sa uvádza za menom.
Nový!!: Stephen Cole Kleene a Doktor (PhD.) · Pozrieť viac »
Druhá svetová vojna
Druhá svetová vojna je dodnes najväčší a najrozsiahlejší ozbrojený konflikt v dejinách ľudstva, ktorý stál život asi 45 až 60 miliónov ľudí.
Nový!!: Stephen Cole Kleene a Druhá svetová vojna · Pozrieť viac »
Emil Leon Post
Emil Leon Post (* 11. február 1897, Augustów, Poľsko, vtedy Ruská ríša - † 21. apríl 1954, New York, USA) bol poľsko-americký matematik a logik.
Nový!!: Stephen Cole Kleene a Emil Leon Post · Pozrieť viac »
Gödelova veta o neúplnosti
Gödelova veta o neúplnosti je matematická veta.
Nový!!: Stephen Cole Kleene a Gödelova veta o neúplnosti · Pozrieť viac »
Hartford (Connecticut)
Hartford je hlavné mesto štátu Connecticut v Spojených štátoch.
Nový!!: Stephen Cole Kleene a Hartford (Connecticut) · Pozrieť viac »
Informatika
Informatika je veda o informácii a jej automatickom spracovaní (je to veda o algoritmickom riešení problémov).
Nový!!: Stephen Cole Kleene a Informatika · Pozrieť viac »
Intuicionizmus
Intuicionizmus je smer filozofického zdôvodňovania matematiky, ktorý vznikol na začiatku 20. storočia v súvislosti s polemikou o jej teoretických základoch a podľa ktorého presné matematické myslenie sa zakladá na racionálnej intuícii.
Nový!!: Stephen Cole Kleene a Intuicionizmus · Pozrieť viac »
Kurt Gödel
Kurt Gödel (* 28. apríl 1906, Brno – † 14. január 1978, Princeton, New Jersey, USA) bol rakúsko-uhorský, neskôr americký logik, matematik a matematický filozof, súkromný docent Viedenskej univerzity (1933 – 1938), od 1953 profesor Princetonského inštitútu pokročilých štúdií, člen Národnej Akadémie vied USA a Americkej filozofickej spoločnosti.
Nový!!: Stephen Cole Kleene a Kurt Gödel · Pozrieť viac »
Lambda kalkul
Lambda kalkul (λ-kalkul) je formálny systém a výpočtový model používaný v teoretickej informatike a matematike pre štúdium funkcií a rekurzie.
Nový!!: Stephen Cole Kleene a Lambda kalkul · Pozrieť viac »
Madison (Wisconsin)
Madison Madison je hlavné mesto amerického štátu Wisconsin a sídlo okresu Dane County.
Nový!!: Stephen Cole Kleene a Madison (Wisconsin) · Pozrieť viac »
Maine
Maine je najvýchodnejší štát USA.
Nový!!: Stephen Cole Kleene a Maine · Pozrieť viac »
Massachusetts
Massachusetts, oficiálne Commonwealth of MassachusetsMassachusets je jedným zo štyroch štátov, ktoré používajú termín "Commonwealth" ako oficiálny názov, spoločne s Kentucky, Virgíniou a Pensylvániou.
Nový!!: Stephen Cole Kleene a Massachusetts · Pozrieť viac »
Matematická logika
Matematická logika (alebo z pohľadu filozofie moderná logika alebo symbolická logika) je matematická disciplína zaoberajúca sa štúdiom formálnych systémov vo vzťahu ku konceptom dôkazu a výpočtu ako časť základov matematiky.
Nový!!: Stephen Cole Kleene a Matematická logika · Pozrieť viac »
Matematik
Matematik je osoba, ktorého primárnou oblasťou štúdia je matematika.
Nový!!: Stephen Cole Kleene a Matematik · Pozrieť viac »
Princeton University
Princetonská univerzita - Blair Hall Princeton University alebo po slovensky aj Princetonská univerzita je univerzita v mestečku Princeton v štáte New Jersey.
Nový!!: Stephen Cole Kleene a Princeton University · Pozrieť viac »
Regulárny výraz
Regulárny výraz (skrátene aj regexp, regex alebo RE z) je textový reťazec, obsahujúci vyhľadávací vzor, ktorý popisuje celú množinu reťazcov (formálny jazyk), na základe určitých syntaktických pravidiel.
Nový!!: Stephen Cole Kleene a Regulárny výraz · Pozrieť viac »
Saunders Mac Lane
Saunders Mac Lane (* 4. august 1909, Taftville, Connecticut, USA – † 14. apríl 2005, San Francisco, Kalifornia, USA) bol americký matematik, ktorý spolu so Samuelom Eilenbergom sformuloval teóriu kategórií.
Nový!!: Stephen Cole Kleene a Saunders Mac Lane · Pozrieť viac »
Spojené štáty
Spojené štáty americké (anglickyUnited States of America), skráteným názvom Spojené štáty, skrátene USA (alebo aj US), je demokratická federatívna prezidentská republika v Severnej Amerike, rozkladajúca sa medzi Atlantickým oceánom na východe a Tichým oceánom na západe.
Nový!!: Stephen Cole Kleene a Spojené štáty · Pozrieť viac »
Teória vypočítateľnosti
Teória vypočítateľnosti je oblasť informatiky, ktorú tvorí o. i. teória algoritmov, a ktorá skúma problémy, jazyky, množiny, funkcie atď.
Nový!!: Stephen Cole Kleene a Teória vypočítateľnosti · Pozrieť viac »
Teoretická informatika
Teoretická informatika je teoretická zložka informatiky.
Nový!!: Stephen Cole Kleene a Teoretická informatika · Pozrieť viac »
Wisconsin (štát)
Wisconsin je severo-centrálny štát USA.
Nový!!: Stephen Cole Kleene a Wisconsin (štát) · Pozrieť viac »
1900
Žiadny popis.
Nový!!: Stephen Cole Kleene a 1900 · Pozrieť viac »
1909
Žiadny popis.
Nový!!: Stephen Cole Kleene a 1909 · Pozrieť viac »
1930
Žiadny popis.
Nový!!: Stephen Cole Kleene a 1930 · Pozrieť viac »
1934
Žiadny popis.
Nový!!: Stephen Cole Kleene a 1934 · Pozrieť viac »
1935
Žiadny popis.
Nový!!: Stephen Cole Kleene a 1935 · Pozrieť viac »
1994
Žiadny popis.
Nový!!: Stephen Cole Kleene a 1994 · Pozrieť viac »
25. január
* Sviatok obrátenia Pavla (deň superpranostík).
Nový!!: Stephen Cole Kleene a 25. január · Pozrieť viac »
5. január
Žiadny popis.
Nový!!: Stephen Cole Kleene a 5. január · Pozrieť viac »