Logo
Uniópédia
Kommunikáció
Szerezd meg: Google Play
Új! Töltse Uniópédia az Android™ készülék!
Ingyenes
Gyorsabb hozzáférés, mint a böngésző!
 

Lambda-kalkulus

Index Lambda-kalkulus

A lambda-kalkulus (vagy λ-kalkulus) egy formális rendszer, amit eredetileg matematikai függvények tulajdonságainak (definiálhatóság, rekurzió, egyenlőség) vizsgálatára vezettek be.

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.

Új!!: Lambda-kalkulus és Turing-gép · Többet látni »

KimenőBeérkező
Hé! Mi vagyunk a Facebook-on most! »