33 vztahy: Algoritmus, Alonzo Church, Asociativita, Axiom, Churchova–Turingova teze, Důkaz sporem, Ekvivalence (logika), Funkce (matematika), Funkcionální programování, Informatika, Latinka, Lisp, Logická proměnná, Matematika, Mnemotechnická pomůcka, Množina, Objektová databáze, Přirozené číslo, Pevný bod, Pravdivostní hodnota, Programovací jazyk, První Gödelova věta o neúplnosti, Rekurze, Rekurzivně spočetný jazyk, Smalltalk, Spočetná množina, Stephen Cole Kleene, Symbol, Teorie typů, Teorie vyčíslitelnosti, Turingův stroj, Výpočetní model, Zobrazení (matematika).
Algoritmus
Algoritmus je přesný návod či postup, kterým lze vyřešit daný typ úlohy.
Nový!!: Lambda kalkul a Algoritmus · Vidět víc »
Alonzo Church
Alonzo Church (Washington, D.C. – Hudson (Ohio)) byl americký matematik, logik a filozof.
Nový!!: Lambda kalkul a Alonzo Church · Vidět víc »
Asociativita
Asociativita je v algebře vlastnost binární operace, spočívající v tom, že nezáleží, jak použijeme závorky u výrazu, kde je více operandů, v jakém pořadí budeme tedy tento výraz počítat.
Nový!!: Lambda kalkul a Asociativita · Vidět víc »
Axiom
Axiom (z řec. axióma, to co se uznává) je tvrzení, které se předem pokládá za platné, a tudíž se nedokazuje.
Nový!!: Lambda kalkul a Axiom · Vidět víc »
Churchova–Turingova teze
V teorii vyčíslitelnosti se pojmy Churchova–Turingova teze, Churchova teze a Turingova teze označuje hypotéza o povaze a výpočetní síle mechanických strojů počítajících matematické funkce.
Nový!!: Lambda kalkul a Churchova–Turingova teze · Vidět víc »
Důkaz sporem
Důkaz sporem (reductio ad absurdum) je typ logického důkazu, ve kterém se prokáže, že předpoklad vede k nesmyslnému výsledku (ke sporu), což znamená, že předpoklad je nepravdivý, a tedy platí jeho negace.
Nový!!: Lambda kalkul a Důkaz sporem · Vidět víc »
Ekvivalence (logika)
Název ekvivalence je v logice používán pro binární logický operátor značený symbolem ⇔ (\Leftrightarrow \,\!). Významově odpovídá tento operátor větné konstrukci „právě tehdy, když“ (zastarale „tehdy a pouze tehdy, když“ a „tehdy a jen tehdy, když“) (anglicky if and only if, zkráceně iff) — ekvivalence tedy říká, že spojovaná tvrzení platí pouze zároveň (obě ano, nebo obě ne).
Nový!!: Lambda kalkul a Ekvivalence (logika) · 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ý!!: Lambda kalkul a Funkce (matematika) · 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ý!!: Lambda kalkul a Funkcionální programování · Vidět víc »
Informatika
Informatika je obor lidské činnosti, který se zabývá pojmem informace a přenosem a zpracováním informace.
Nový!!: Lambda kalkul a Informatika · Vidět víc »
Latinka
Latinka (popř. latinské písmo) je široce používaným písmem pro zápis mnoha jazyků po celém světě, zejména v zemích, které používají latinkovou abecedu.
Nový!!: Lambda kalkul a Latinka · Vidět víc »
Lisp
Lisp (historicky LISP) je rodina multiparadigmatických programovacích jazyků s dlouhou historií.
Nový!!: Lambda kalkul a Lisp · Vidět víc »
Logická proměnná
Logická proměnná je taková proměnná, která může nabývat nějakého konečného počtu logických hodnot; nejčastěji jsou tyto hodnoty dvě a reprezentují stavy pravda a nepravda.
Nový!!: Lambda kalkul a Logická proměnná · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Lambda kalkul a Matematika · Vidět víc »
Mnemotechnická pomůcka
Mnemotechnická pomůcka je slovní či grafická konstrukce podporující zapamatování nebo zpracování informace mozkem pomocí přidružení představ či jiných informací.
Nový!!: Lambda kalkul a Mnemotechnická pomůcka · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Lambda kalkul a Množina · Vidět víc »
Objektová databáze
Objektový model databázeObjektová databáze je databázový řízený systém, ve kterém je informace reprezentována ve formě objektu a používá se v objektově orientovaném programování.
Nový!!: Lambda kalkul a Objektová databáze · Vidět víc »
Přirozené číslo
Přirozeným číslem se v matematice rozumí číslo, které je možné použít pro vyjádření počtu („na stole je šest mincí“) nebo pořadí („toto je třetí největší město“) prvků konečných množin.
Nový!!: Lambda kalkul a Přirozené číslo · Vidět víc »
Pevný bod
Jako pevný bod (také samodružný bod) označujeme prvek, který se v daném zobrazení zobrazí sám na sebe.
Nový!!: Lambda kalkul a Pevný bod · Vidět víc »
Pravdivostní hodnota
V klasické logice se používají dvě pravdivostní hodnoty – pravda a nepravda.
Nový!!: Lambda kalkul a Pravdivostní hodnota · 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ý!!: Lambda kalkul a Programovací jazyk · Vidět víc »
První Gödelova věta o neúplnosti
#PŘESMĚRUJ Gödelovy věty o neúplnosti#První Gödelova věta o neúplnosti.
Nový!!: Lambda kalkul a První Gödelova věta o neúplnosti · 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ý!!: Lambda kalkul a Rekurze · 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ý!!: Lambda kalkul a Rekurzivně spočetný jazyk · Vidět víc »
Smalltalk
Smalltalk (výslovnost) je interpretovaný, dynamicky a striktně typovaný, čistě objektový programovací jazyk, který v sedmdesátých letech 20. století vyvinuli ve firmě Xerox PARC Alan Kay, Dan Ingalls, Ted Kaehler a Adele Goldberg.
Nový!!: Lambda kalkul a Smalltalk · Vidět víc »
Spočetná množina
Spočetná množina je matematický pojem z teorie množin, označující množinu, kterou lze vzájemně jednoznačně (tzv. bijektivně) zobrazit na některou podmnožinu množiny přirozených čísel.
Nový!!: Lambda kalkul a Spočetná množina · Vidět víc »
Stephen Cole Kleene
Stephen Cole Kleene (5. ledna 1909, Hartford – 25. ledna 1994, Madison) byl americký matematik a logik, který svou prací pomohl položit základy matematické informatiky.
Nový!!: Lambda kalkul a Stephen Cole Kleene · Vidět víc »
Symbol
Symbol (z řec. σύμβολον, lat. symbolum) je obvykle vizuální znak, znamení, emblém nebo značka, která odkazuje na určitý konvenční nebo tradiční význam.
Nový!!: Lambda kalkul a Symbol · 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ý!!: Lambda kalkul a Teorie typů · 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ý!!: Lambda kalkul 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ý!!: Lambda kalkul a Turingův stroj · Vidět víc »
Výpočetní model
#PŘESMĚRUJ Výpočetní model (teorie algoritmů).
Nový!!: Lambda kalkul a Výpočetní model · Vidět víc »
Zobrazení (matematika)
Zobrazení je v matematice speciálním případem binární relace, u které má každý vzor nejvýše jeden obraz.
Nový!!: Lambda kalkul a Zobrazení (matematika) · Vidět víc »