This HTML5 document contains 15 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n8http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Lambda-kalkulus
rdfs:label
Lambda-kalkulus
owl:sameAs
freebase:m.04mg4
dct:subject
n8:Matematikai_logika n8:Számítógép-tudomány
dbo:wikiPageID
26312
dbo:wikiPageRevisionID
22939681
prop-hu:wikiPageUsesTemplate
n4:ISBN n4:Forrás n4:Nemzetközi_katalógusok n4:Portál
dbo:abstract
A lambda-kalkulus (vagy λ-kalkulus) egy , amit eredetileg matematikai függvények tulajdonságainak (definiálhatóság, rekurzió, egyenlőség) vizsgálatára vezettek be.Az elmélet kidolgozói Alonzo Church és voltak az 1930-as években.Church, 1936-ban, a λ-kalkulus segítségével bizonyította, hogy nem létezik algoritmus a híres (döntési probléma) megoldására. A λ-kalkulus (akárcsak a Turing-gép) lehetővé teszi, hogy pontosan (formálisan) definiáljuk, mit is értünk alatt. A λ-kalkulust nyugodtan nevezhetjük a legegyszerűbb általános célú programozási nyelvnek. Csak egyfajta értéket ismer: a függvényt (absztrakciót), és csak egyfajta művelet van benne: a függvény alkalmazás (változó-behelyettesítés). Ezen látszólagos egyszerűsége ellenére minden algoritmus, ami Turing-gépen megvalósítható, az megvalósítható tisztán a λ-kalkulusban is. Ez az azonosság a λ-kalkulus és a Turing-gép (expressive power) között adja egyébként a Church–Turing-tézis alapját. Míg korábban a λ-kalkulus elsősorban a (Theory of Computation) miatt volt érdekes, napjainkban ez már kevésbé hangsúlyos, és sokkal inkább a funkcionális programozási nyelvek elméleti és gyakorlati megalapozásában játszott jelentős, mondhatni központi szerepe került előtérbe. A szócikk tárgya a λ-kalkulus, eredeti, típus-nélküli változata. A λ-kalkulus bevezetése óta számos került kifejlesztésre, és valójában ezek a típusos változatok adják a mai funkcionális programozási nyelvek alapját.
prov:wasDerivedFrom
wikipedia-hu:Lambda-kalkulus?oldid=22939681&ns=0
dbo:wikiPageLength
30979
foaf:isPrimaryTopicOf
wikipedia-hu:Lambda-kalkulus
Subject Item
wikipedia-hu:Lambda-kalkulus
foaf:primaryTopic
dbpedia-hu:Lambda-kalkulus