9 kontakty: Haskell Curry, Izomorfizm Curry’ego-Howarda, JavaScript, Język angielski, Logika intuicjonistyczna, Programowanie funkcyjne, Rachunek lambda, Tautologia (logika), Wydawnictwo Naukowe PWN.
Haskell Curry
Haskell Brooks Curry (ur. 12 września 1900, zm. 1 września 1982) – amerykański matematyk.
Nowy!!: Currying i Haskell Curry · Zobacz więcej »
Izomorfizm Curry’ego-Howarda
Izomorfizm Curry’ego-Howarda – określenie odpowiedniości pomiędzy termami rachunku lambda z typami a dowodami logiki intuicjonistycznej.
Nowy!!: Currying i Izomorfizm Curry’ego-Howarda · Zobacz więcej »
JavaScript
JavaScript, w skrócie JS – skryptowy oraz wieloparadygmatowy język programowania, stworzony przez firmę Netscape, najczęściej stosowany na stronach internetowych.
Nowy!!: Currying i JavaScript · Zobacz więcej »
Język angielski
Wielkiej Brytanii symbolizujące język angielski ikona symbolizująca język angielski według standardu ISO 639-1 Język angielski, angielszczyzna (ang.) – język z grupy zachodniej rodziny języków germańskich, powszechnie używany w Wielkiej Brytanii, jej terytoriach zależnych oraz w wielu byłych koloniach i dominiach, m.in.
Nowy!!: Currying i Język angielski · Zobacz więcej »
Logika intuicjonistyczna
Logika intuicjonistyczna (konstruktywna) – system logiczny oparty na filozoficznej koncepcji intuicjonizmu.
Nowy!!: Currying i Logika intuicjonistyczna · Zobacz więcej »
Programowanie funkcyjne
Programowanie funkcyjne – filozofia i metodyka programowania będąca odmianąprogramowania deklaratywnego, w której wykorzystuje się to, że funkcje należądo typów pierwszoklasowych.
Nowy!!: Currying i Programowanie funkcyjne · Zobacz więcej »
Rachunek lambda
Rachunek lambda – system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np.
Nowy!!: Currying i Rachunek lambda · Zobacz więcej »
Tautologia (logika)
Tautologia (wywodzi się od greckich słów tautós „ten sam” i lógos „mowa”) – wyrażenie, które jest zawsze prawdziwe.
Nowy!!: Currying i Tautologia (logika) · Zobacz więcej »
Wydawnictwo Naukowe PWN
Wydawnictwo Naukowe PWN (WN PWN), w latach 1951–1991 Państwowe Wydawnictwo Naukowe (PWN) – polskie wydawnictwo naukowe założone w 1951 w Warszawie jako Państwowe Wydawnictwo Naukowe.
Nowy!!: Currying i Wydawnictwo Naukowe PWN · Zobacz więcej »