12 vztahy: Algebra, Algebraický datový typ, Bernard Bolzano, Bertrand Russell, Bezesporná teorie, Henkinův model, Jaakko Hintikka, Lambda kalkul, Polookruh, Reifikace (logika), Teorie množin, Závislostní typ.
Algebra
Za zakladatele algebry je považován Al-Chorezmí (stránka z jeho spisu) Algebra je odvětví matematiky zabývající se abstrakcí pojmů a vlastností elementárních matematických objektů, jako jsou čísla, polynomy, matice, apod.
Nový!!: Teorie typů a Algebra · Vidět víc »
Algebraický datový typ
Algebraický datový typ je složený datový typ umožňující skládání pomocí algebraických operací součtu a součinu.
Nový!!: Teorie typů a Algebraický datový typ · Vidět víc »
Bernard Bolzano
Ernst Popp, busta Bernarda Bolzana (1849) Bernard Bolzano (5. října 1781 Praha – 18. prosince 1848 Praha farnost při kostele Matky Boží před Týnem na Starém Městě pražském) byl český německy hovořící matematik, filozof, estetik a kněz.
Nový!!: Teorie typů a Bernard Bolzano · Vidět víc »
Bertrand Russell
Bertrand Arthur William Russell (18. května 1872, Trelleck, Monmouthshire, Wales – 2. února 1970, Penrhyndeudraeth, Gwynedd (Merionethshire), Wales), třetí hrabě Russell, byl britský matematik, filosof, logik, sociální kritik a spisovatel, nositel Nobelovy ceny za literaturu za rok 1950.
Nový!!: Teorie typů a Bertrand Russell · 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ý!!: Teorie typů a Bezesporná teorie · 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ý!!: Teorie typů a Henkinův model · Vidět víc »
Jaakko Hintikka
Jaakko Hintikka Kaarlo Jaakko Juhani Hintikka (12. ledna 1929, Vantaa – 12. srpna 2015) byl finský filozof.
Nový!!: Teorie typů a Jaakko Hintikka · Vidět víc »
Lambda kalkul
Lambda kalkul je formální systém a výpočetní model používaný v teoretické informatice a matematice pro studium funkcí a rekurze.
Nový!!: Teorie typů a Lambda kalkul · Vidět víc »
Polookruh
Polookruh je v abstraktní algebře označení pro algebraickou strukturu podobnou okruhu, ve které ovšem nemusí pro všechny prvky existovat opačný prvek vzhledem ke sčítání.
Nový!!: Teorie typů a Polookruh · Vidět víc »
Reifikace (logika)
Reifikace je v logice způsob reprezentace objektů vyššího řádu pomocí objektů řádů nižších.
Nový!!: Teorie typů a Reifikace (logika) · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Teorie typů a Teorie množin · Vidět víc »
Závislostní typ
Závislostní typ je v teorii typů typ závisející na konkrétní hodnotě.
Nový!!: Teorie typů a Závislostní typ · Vidět víc »