Gyorsabb hozzáférés, mint a böngésző!
23 kapcsolatok: Absztrakció (számítástechnika), Algoritmus, Aritás, Augusztus 11., Church–Turing-tézis, Funkcionális programozás, Haskell (programozási nyelv), Helyesség (számítástechnika), Java (programozási nyelv), Június 14., Kanonikus alak, Lambda, Lisp (programozási nyelv), Logikai grammatika, ML (programozási nyelv), Polimorfizmus (informatika), Princetoni Egyetem, SML, Tiszta függvény, Tomabecsi Hideto, Turing-gép, Unlambda, Változó (matematika).
Absztrakció (számítástechnika)
„Az absztrakció lényege az adott kontextusban releváns információk megőrzése, valamint az ebben az összefüggésben irreleváns információk elfelejtése.” John V. Guttag A szoftverfejlesztésben és a számítástechnikában az absztrakció.
Új!!: Lambda-kalkulus és Absztrakció (számítástechnika) · Többet látni »
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 »
Aritás
A logika, matematika és számítástudomány területén az aritás (arity) egy függvény vagy matematikai művelet esetén az elfogadott argumentumok vagy operandusok számát határozza meg.
Új!!: Lambda-kalkulus és Aritás · Többet látni »
Augusztus 11.
Névnapok: Tiborc, Zsuzsanna + Dulcinea, Filoméla, Filomén, Filoména, Fióna, Ince, Kiara, Klára, Klárabella, Klarina, Klarinda, Klarisz, Klarissza, Lilian, Liliána, Lilianna, Lilibella, Lilien, Liliom, Lujza, Szanna, Tarján, Tibor, Tícia, Trajánusz, Tullió, Zsanka, Zsanna, Zsazsa, Zsuzsa, Zsuzsánna, Zsuzska.
Új!!: Lambda-kalkulus és Augusztus 11. · 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 »
Funkcionális programozás
A funkcionális programozás (angolul: functional programming) egy programozási módszertan, vagyis egyike a programozási paradigmáknak.
Új!!: Lambda-kalkulus és Funkcionális programozás · Többet látni »
Haskell (programozási nyelv)
A Haskell tisztán funkcionális, lusta kiértékelésű, polimorf típusokat és magasabb rendű függvényeket tartalmazó programozási nyelv.
Új!!: Lambda-kalkulus és Haskell (programozási nyelv) · Többet látni »
Helyesség (számítástechnika)
Az elméleti számítástechnikában egy algoritmus helyessége azt jelenti, hogy az algoritmus egy specifikációhoz képest helyes.
Új!!: Lambda-kalkulus és Helyesség (számítástechnika) · Többet látni »
Java (programozási nyelv)
A Java kabalafigurája, ''Duke'' A Java általános célú, objektumorientált programozási nyelv, amelyet a Sun Microsystems fejlesztett a ’90-es évek elejétől kezdve egészen 2009-ig, amikor a céget felvásárolta az Oracle.
Új!!: Lambda-kalkulus és Java (programozási nyelv) · Többet látni »
Június 14.
Névnapok: Vazul + Elizeus, Estella, Hartvig, Herta, Sztella, Töhötöm, Valérián, Valér.
Új!!: Lambda-kalkulus és Június 14. · Többet látni »
Kanonikus alak
A matematika és a számítástudomány területén valamely kifejezés kanonikus alakja, kanonikus formája, illetve normál- vagy standard alakja alatt az a szabványos mód értendő, ahogy azt az objektumot matematikai kifejezésként leírjuk.
Új!!: Lambda-kalkulus és Kanonikus alak · Többet látni »
Lambda
A lambda (nagy Λ és kis λ) a görög ábécé tizenegyedik betűje, az L betű és hang megfelelője.
Új!!: Lambda-kalkulus és Lambda · Többet látni »
Lisp (programozási nyelv)
A Lisp programozási nyelv (helyesebben nyelvcsalád) hosszú történetre tekint vissza.
Új!!: Lambda-kalkulus és Lisp (programozási nyelv) · Többet látni »
Logikai grammatika
A logikai grammatika a logika azon területe, mely a természetes nyelvek vagy a természetes nyelvek valamely jól meghatározott töredékének nyelvtanát logikai szempontok szerint vizsgálja.
Új!!: Lambda-kalkulus és Logikai grammatika · Többet látni »
ML (programozási nyelv)
Az ML (Meta Language) egy általános célú funkcionális programozási nyelv.
Új!!: Lambda-kalkulus és ML (programozási nyelv) · Többet látni »
Polimorfizmus (informatika)
A programozási nyelvekben és a típuselméletben a polimorfizmus (a görög πολύς, sok és a μορφή, alak szavakból) egy egységes interfészre utal, amit különböző típusok valósítanak meg.
Új!!: Lambda-kalkulus és Polimorfizmus (informatika) · Többet látni »
Princetoni Egyetem
A Princeton Egyetem (Princeton University) a New Jersey állambeli Princetonban található egyetem, az Amerikai Egyesült Államok ötödik legidősebb és egyik legelőkelőbb felsőoktatási intézménye.
Új!!: Lambda-kalkulus és Princetoni Egyetem · Többet látni »
SML
Az SML programozási nyelv a lambda-kalkuluson alapuló funkcionális programozási nyelvek családjába tartozik, az ML programozási nyelv szabványosított kiterjesztése.
Új!!: Lambda-kalkulus és SML · Többet látni »
Tiszta függvény
A számítógépes programozásban a tiszta függvény egy olyan függvény, amely a következő tulajdonságokkal rendelkezik.
Új!!: Lambda-kalkulus és Tiszta függvény · Többet látni »
Tomabecsi Hideto
Tomabecsi Hideto (苫米地英人; Hepburn: Tomabechi Hideto) (PhD, Professzor, Fellow) (Lovag: Cav.
Új!!: Lambda-kalkulus és Tomabecsi Hideto · Többet látni »
Turing-gép
archivedate.
Új!!: Lambda-kalkulus és Turing-gép · Többet látni »
Unlambda
Az Unlambda egy David Madore által kifejlesztett funkcionális programozási nyelv, amely a lambda-kalkuluson alapul, ugyanakkor nem tartalmazza a lambda operátort, ehelyett kombinátorokat használ.
Új!!: Lambda-kalkulus és Unlambda · Többet látni »
Változó (matematika)
A számítógép-tudományban és a matematikában a változó egy mennyiség vagy egy objektum szimbolikus jelölése.
Új!!: Lambda-kalkulus és Változó (matematika) · Többet látni »
