22 vztahy: Alonzo Church, Bezesporná teorie, Funkcionální programování, Gödelova věta o úplnosti predikátové logiky, Henkinův model, Izomorfismus, Jaakko Hintikka, Kategorická logika, Kurt Gödel, Kvantifikátor, Logika, Matematika, Potenční množina, Predikát (logika), Predikátová logika prvního řádu, Rekurzivně spočetný jazyk, Rozumná funkce, Teorie množin, Teorie modelů, Teorie typů, Willard Van Orman Quine, Zermelova–Fraenkelova teorie množin.
Alonzo Church
Alonzo Church (Washington, D.C. – Hudson (Ohio)) byl americký matematik, logik a filozof.
Nový!!: Logika vyššího řádu a Alonzo Church · Vidět víc »
Bezesporná teorie
Bezesporná teorie (také konzistentní teorie) je označení používané v matematické logice pro formální teorii, která neobsahuje spor; v opačném případě se používá označení sporná teorie.
Nový!!: Logika vyššího řádu a Bezesporná teorie · Vidět víc »
Funkcionální programování
Haskell. Funkcionální programování je deklarativní programovací paradigma, které chápe výpočet jako vyhodnocení matematických funkcí.
Nový!!: Logika vyššího řádu a Funkcionální programování · Vidět víc »
Gödelova věta o úplnosti predikátové logiky
Gödelova věta o úplnosti predikátové logiky (také jen Gödelova věta o úplnosti či věta o úplnosti) je základní větou matematické logiky.
Nový!!: Logika vyššího řádu a Gödelova věta o úplnosti predikátové logiky · Vidět víc »
Henkinův model
Henkinův model je model teorie vyššího řádu v obecné sémantice, přičemž platí, že každá bezesporná teorie má model (se spočetnými doménami).
Nový!!: Logika vyššího řádu a Henkinův model · Vidět víc »
Izomorfismus
Izomorfismus je zobrazení mezi dvěma matematickými strukturami, které je vzájemně jednoznačné (bijektivní) a zachovává všechny vlastnosti touto strukturou definované.
Nový!!: Logika vyššího řádu a Izomorfismus · Vidět víc »
Jaakko Hintikka
Jaakko Hintikka Kaarlo Jaakko Juhani Hintikka (12. ledna 1929, Vantaa – 12. srpna 2015) byl finský filozof.
Nový!!: Logika vyššího řádu a Jaakko Hintikka · Vidět víc »
Kategorická logika
Kategorická logika je odvětví matematiky, v němž jsou nástroje a koncepty z teorie kategorií aplikovány na studium matematické logiky.
Nový!!: Logika vyššího řádu a Kategorická logika · Vidět víc »
Kurt Gödel
Kurt Friedrich Gödel (28. dubna 1906 Brno – 14. ledna 1978 Princeton, New Jersey) byl rakousko-americký matematik, který se stal jedním z nejvýznamnějších logiků všech dob.
Nový!!: Logika vyššího řádu a Kurt Gödel · Vidět víc »
Kvantifikátor
Kvantifikátory jsou symboly používané v matematice a logice (predikátové logice).
Nový!!: Logika vyššího řádu a Kvantifikátor · Vidět víc »
Logika
Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.
Nový!!: Logika vyššího řádu a Logika · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Logika vyššího řádu a Matematika · Vidět víc »
Potenční množina
Hasseův diagram potenční množiny ke trojprvkové množině ''x'', ''y'', ''z''. Potenční množina množiny X \,\! (značí se \mathcal(X) \,\! nebo též 2^X \,\!), podle některých autorů též booleán \mathcal(X) \,\!, je taková množina, která obsahuje všechny podmnožiny množiny X \,\!.
Nový!!: Logika vyššího řádu a Potenční množina · Vidět víc »
Predikát (logika)
Predikát je v logice takové jazykové sdělení (výraz), o němž má po obsahové stránce smysl tvrdit, že je buď pravdivé (označuje se slovem true nebo číslicí 1), nebo nepravdivé (označuje se slovem false nebo číslicí 0).
Nový!!: Logika vyššího řádu a Predikát (logika) · Vidět víc »
Predikátová logika prvního řádu
Predikátová logika prvního řádu je formální systém používaný v matematice, filozofii, lingvistice a informatice.
Nový!!: Logika vyššího řádu a Predikátová logika prvního řádu · Vidět víc »
Rekurzivně spočetný jazyk
Formální jazyk L je rekurzivně spočetný, jestliže pro něj existuje Turingův stroj (dále TS), který všechna slova z tohoto jazyka přijímá (akceptuje).
Nový!!: Logika vyššího řádu a Rekurzivně spočetný jazyk · Vidět víc »
Rozumná funkce
Rozumná funkce je poněkud neurčitý pojem používaný v matematice a fyzice při méně přesném vyjadřování.
Nový!!: Logika vyššího řádu a Rozumná funkce · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Logika vyššího řádu a Teorie množin · Vidět víc »
Teorie modelů
Teorie modelů je matematická disciplína, která je jedním z podoborů matematické logiky.
Nový!!: Logika vyššího řádu a Teorie modelů · Vidět víc »
Teorie typů
Teorie typů je teorie na pomezí matematiky, filosofie a algoritmiky, kterou jako první předložil Bertrand Russell za účelem vyřešení paradoxů teorie množin, ačkoliv zárodky lze najít již u Bernarda Bolzana.
Nový!!: Logika vyššího řádu a Teorie typů · Vidět víc »
Willard Van Orman Quine
Willard Van Orman Quine (25. června 1908 Akron, Ohio – 25. prosince 2000 Boston, Massachusetts), někdy též Willard van Orman Quine (s malým „v“), nejčastěji citován jako W. V. Quine byl americký filosof a logik, představitel analytické filosofie a filosofického naturalismu.
Nový!!: Logika vyššího řádu a Willard Van Orman Quine · Vidět víc »
Zermelova–Fraenkelova teorie množin
Zermelova-Fraenkelova teorie množin (ZF) je nejrozšířenější axiomatickou soustavou teorie množin, která je sama o sobě nebo v některých mírných modifikacích používána jako základ pro většinu dalších odvětví matematiky včetně algebry a matematické analýzy.
Nový!!: Logika vyššího řádu a Zermelova–Fraenkelova teorie množin · Vidět víc »