Lambda-arvutus

Lambda-arvutus (λ-arvutus) on formaalne arvutuste esitusviis.

4 suhted: Anonüümne funktsioon, Avaldis, Funktsionaalne programmeerimine, Matemaatiline loogika.

Anonüümne funktsioon

Anonüümne funktsioon on funktsioon (või protseduur), millele pole määratud nime.

Uus!!: Lambda-arvutus ja Anonüümne funktsioon · Näe rohkem »

Avaldis

Avaldis on eeskiri.

Uus!!: Lambda-arvutus ja Avaldis · Näe rohkem »

Funktsionaalne programmeerimine

Funktsionaalne programmeerimine on programmeerimise paradigma, mis rõhutab funktsioonide rakendamist väärtustele vastandina imperatiivsele programmeerimisele, mis käsitleb väärtuste muutmist.

Uus!!: Lambda-arvutus ja Funktsionaalne programmeerimine · Näe rohkem »

Matemaatiline loogika

Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid.

Uus!!: Lambda-arvutus ja Matemaatiline loogika · Näe rohkem »

Ümbersuunamised siin:

Lambdaarvutus.

Unioonpeedia on mõiste kaardi või semantiline võrgustik, korraldati nagu entsüklopeedia - sõnastik. See annab lühikese definitsiooni iga mõiste ja selle suhteid.

See on suur-line mõttekaarti mis toimib aluse kontseptsiooni diagrammid. See on tasuta kasutada ja iga artikli või dokumendi saab alla laadida. See on vahend, ressurss või viide õppe-, teadus-, haridus-, teadus- või õppetöö, mida saab kasutada õpetajad, kasvatajad, õpilaste või üliõpilaste; akadeemilise maailma: koolis, alg-, kesk-, keskkooli, keskmine tehniline tase, kolledži, ülikooli bakalaureuse-, magistri- või doktorikraadi; paberid, aruanded, projektid, ideed, dokumentatsiooni, uuringute kokkuvõtted või väitekirja. Siin on mõiste, seletus, kirjeldus, või mõtet iga olulise kohta, mis teil on vaja andmeid, ning loetelu nendega seotud mõisted nagu sõnastik. Saadaval Eesti, Inglise, Hispaania, Portugali, Jaapani, Hiina, Prantsuse, Saksa, Itaalia, Poola, Hollandi, Vene, Araabia, Hindi, Rootsi, Ukraina, Ungari, Katalaani, Tšehhi, Heebrea, Taani, Soome, Indoneesia, Norra, Rumeenia, Türgi, Vietnamese, Korea, Tai, Kreeka, Bulgaaria, Horvaatia, Slovakkia, Leedu, Filipino, Läti ja Sloveenia Varsti rohkem keeli.

Kõik andmed on saadud Vikipeedia, ja see on saadaval litsentsi alusel Autorile viitamine + jagamine samadel tingimustel.

Unioonpeedia ei ole Wikimedia Foundationi poolt heaks kiidetud ega sellega seotud.

Google Play, Android ja Google Play logo on ettevõtte Google Inc. kaubamärgid.

Privaatsuspoliitika