02:06, 19 martxoa 2013ko berrikusketa aldatu KLBot2 (eztabaida \| ekarpenak) Bot-ak 61.626 edits t Bot: hizkuntza arteko 7 lotura lekualdatzen; aurrerantzean Wikidata webgunean izango dira, d:Q2670534 orrian ← Aurreko ezberdintasuna		20:39, 27 apirila 2015ko berrikusketa aldatu desegin EnzaiBot (eztabaida \| ekarpenak) Bot-ak 252.705 edits t Robota: Birzuzenketak konpontzen Hurrengo ezberdintasuna →
2. lerroa: [[Fitxategi:Lambda en minúsculas.png\|250px\|thumb\| Lambda minuskula.]] ''' Programazio-lengoaien teoria''' [[Informatika\|informatikaren]] adar bat da, [[Programazio-lengoaia\|programazio-lengoaien]] eta beren [[Programazio-lengoaia#Programazio-lengoaien ezaugarriak\|ezaugarrien]] diseinuaz, inplementazioaz, analisiaz, karakterizazioaz eta sailkapenaz arduratzen dena. Diziplina anitzeko eremu bat da, [[matematika]], [[~~Software-~~software ingeniaritza\|softwarearen ingeniaritza]], [[hizkuntzalaritza]] eta [[Zientzia kognitibo\|zientzia kognitiboen]] jakintza-arloekin zerikusia (eta, zenbaitetan, bai eragina ere) duena. Informatikaren adar ezagun eta aintzatetsia da, eta, [[2006]]ko dataz, ikerketagai garrantzitsu bat, emaitzak PLTari buruzko aldizkari berezitu nahiz informatika eta ingeniaritzako argitalpenetan, oro har, plazaratzen dituena. Unibertsitate mailako informatikako ikasketa-programa guztietan eskatzen da, gaur egun, arlo hau jorratzea. Programazio-lengoaien teoriaren ikur bat, ofiziala ez bada ere, [[lambda]] letra [[Alfabeto greko\|greko]] minuskula da. Erabilera hau [[Lambda kalkulu\|lambda kalkulutik]] dator, programazio-lengoaien ikertzaileek erruz erabiltzen duten [[Eredu konputazional\|eredu konputazionaletik]], alegia. Programazioaren eta programazio-lengoaien gaineko testu eta artikulu askok erabiltzen dute lambda, modu batera edo bestera. [[:en:Structure and Interpretation of Computer Programs\| ''Estructura e Interpretación de Programas de Ordenador'']] testu-liburu klasikoaren azala ilustratzen du, eta [[Scheme\|Scheme programazio-lengoaiaren]] sortzaile diren [[Gerald Jay Sussman]] eta [[Guy Steele\|Guy Steele-k]] idatzitako [[Lambda artikulu\|''lambda'' artikulu]] delako askoren tituluetan ageri da. Programazio-lengoaien teoriari buruzko gune ezagun batek [[:en:Lambda the Ultimate\| Lambda the Ultimate]] (''funtsezko lambda'') du izena, Sussman eta Steeleren ohorez. 37. lerroa: * [[Lengoaia dedikatu]]ak problemak domeinu jakin batean bereziki eta modu eraginkor batean ebazteko sortuak izan diren lengoaiak dira. Gainera, PLTa baliatzen da [[Matematika\|matematiken]], [[~~Software-~~software ingeniaritza\|software-ingeniaritzaren]] eta [[Hizkuntzalaritza\|hizkuntzalaritzaren]] beste adar batzuetaz, bai eta [[Zientzia kognitibo\|zientzia kognitiboarenez]] ere. == PLTari buruzko aldizkari eta argitalpen berezituak ==

Programazio-lengoaien teoria: berrikuspenen arteko aldeak