19 kapcsolatok: Algoritmus, Alonzo Church, Assembly programozási nyelv, Bertrand Russell, Boole-algebra (informatika), C programozási nyelv, Church–Turing-tézis, Függvény (matematika), Friedrich Ludwig Gottlob Frege, Funkcionális programozási nyelv, Halmaz (matematika), Környezetfüggetlen nyelvtan, Megszámlálható, Principia Mathematica, Rekurzív, Rekurzió, Russell-paradoxon, Természetes számok, Turing-gép.
Algoritmus
Ibn Músza al-Hvárizmi abakusza, a „középkor számológépe” Az algoritmus szó és fogalom a matematikából ered, de a számítástechnikai kultúra elterjedése, népszerűsödése ültette át a köznyelvbe.
Új!!: Lambda-kalkulus és Algoritmus · Többet látni »
Alonzo Church
Alonzo Church (Washington, 1903. június 14. – Hudson, Ohio, 1995. augusztus 11.) amerikai matematikus és logikus, akit a számítástechnika elméletének egyik megalapozójának tartanak.
Új!!: Lambda-kalkulus és Alonzo Church · Többet látni »
Assembly programozási nyelv
#ÁTIRÁNYÍTÁS Assembly.
Új!!: Lambda-kalkulus és Assembly programozási nyelv · Többet látni »
Bertrand Russell
Bertrand Russell (Ravenscroft (Monmouthshire), Wales, 1872. május 18. – Penrhyndeudraeth, Wales, 1970. február 2.) irodalmi Nobel-díjas angol matematikus, logikatudós, filozófus és szociológus, Kingston III.
Új!!: Lambda-kalkulus és Bertrand Russell · Többet látni »
Boole-algebra (informatika)
A Boole-algebra (George Boole-ról kapta a nevét) a programvezérelt digitális számítógép kidolgozásának matematikai alapja.
Új!!: Lambda-kalkulus és Boole-algebra (informatika) · Többet látni »
C programozási nyelv
#ÁTIRÁNYÍTÁS C (programozási nyelv).
Új!!: Lambda-kalkulus és C programozási nyelv · Többet látni »
Church–Turing-tézis
A számításelméletben a Church–Turing-tézis az 1930-as években megfogalmazott sejtés, mely szerint minden formalizálható probléma, ami megoldható algoritmussal, az megoldható Turing-géppel is, illetve bármilyen, a Turing-gép fogalmával azonos számítási teljesítményű absztrakt modellel, pl.
Új!!: Lambda-kalkulus és Church–Turing-tézis · Többet látni »
Függvény (matematika)
intervallumon értelmezett valós függvény grafikonja a koordinátasíkon ábrázolva. f: -4;1,5 → '''R'''; ''x''↦ex(x2-x) A függvény vagy más néven parciális (részleges) leképezés a matematika egy olyan absztrakt fogalma, mely a geometriai leképezések, elemi algebrai műveletek, folytonosan változó mennyiségek és hasonló, bemeneti értékekből egyetlen kimeneti értéket produkáló fogalmak általános leírására szolgál.
Új!!: Lambda-kalkulus és Függvény (matematika) · Többet látni »
Friedrich Ludwig Gottlob Frege
#ÁTIRÁNYÍTÁS Gottlob Frege.
Új!!: Lambda-kalkulus és Friedrich Ludwig Gottlob Frege · Többet látni »
Funkcionális programozási nyelv
#ÁTIRÁNYÍTÁS Funkcionális programozás.
Új!!: Lambda-kalkulus és Funkcionális programozási nyelv · Többet látni »
Halmaz (matematika)
A halmaz a matematika egyik legalapvetőbb fogalma, melyet leginkább az „összesség”, „sokaság” szavakkal tudunk körülírni (egy Georg Cantor által adott körülírását ld. lentebb); de mivel igazából alapfogalom, így nem tartjuk definiálandónak.
Új!!: Lambda-kalkulus és Halmaz (matematika) · Többet látni »
Környezetfüggetlen nyelvtan
A nyelvészetben és az informatikában a környezetfüggetlen nyelvtan, angol kifejezéssel és rövidítéssel context-free grammar (CFG) egy formális nyelvtan, amelyben minden produkciós szabály a következő formájú: ahol V egy nem-terminális szimbólum és w egy jelsorozat, amely terminális és/vagy nem-terminális szimbólumokat tartalmaz.
Új!!: Lambda-kalkulus és Környezetfüggetlen nyelvtan · Többet látni »
Megszámlálható
#ÁTIRÁNYÍTÁS Számosság#Megszámlálható halmaz.
Új!!: Lambda-kalkulus és Megszámlálható · Többet látni »
Principia Mathematica
A ''Principia Mathematica to *56'' rövidített változatának címlapja. A Principia Mathematica (A matematika alapjai) a matematika megalapozásáról szóló háromkötetes munka, melyet Alfred North Whitehead és Bertrand Russell írt és 1910-ben, 1912-ben és 1913-ban publikált.
Új!!: Lambda-kalkulus és Principia Mathematica · Többet látni »
Rekurzív
#ÁTIRÁNYÍTÁS Rekurzió.
Új!!: Lambda-kalkulus és Rekurzív · Többet látni »
Rekurzió
Rekurzívan egymásba ágyazott ismétlődő kép A rekurzió a matematikában, valamint a számítástudományban egy olyan művelet, amely végrehajtásakor a saját maga által definiált műveletet, vagy műveletsort hajtja végre, ezáltal önmagát ismétli; a rekurzió ezáltal egy adott absztrakt objektum sokszorozása önhasonló módon.
Új!!: Lambda-kalkulus és Rekurzió · Többet látni »
Russell-paradoxon
Bertrand Russell 1901-ben felfedezte, hogy a matematika akkori naiv halmazelméleti és logikai megalapozása a róla elnevezett Russell-paradoxont is tartalmazza.
Új!!: Lambda-kalkulus és Russell-paradoxon · Többet látni »
Természetes számok
Természetes számoknak nevezik.
Új!!: Lambda-kalkulus és Természetes számok · Többet látni »
Turing-gép
archivedate.