We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
lambda calculus
Postać normalna Beta, jeśli niemożliwa jest redukcja beta; Rachunek lambda jest szczególnym przypadkiem abstrakcyjnego systemu przepisywania.
A lambda term is in beta normal form if no beta reduction is possible; lambda calculus is a particular case of an abstract rewriting system.
Rachunek lambda został wprowadzony przez Alonzo Churcha i Stephena Cole'a Kleene'ego w 1930 roku.
Quantum lambda calculi are extensions of the classical lambda calculus introduced by Alonzo Church and Stephen Cole Kleene in the 1930s.
Rachunek lambda stanowi kluczowy fundament w badaniach nad językami programowania.
Lambda calculus is a key foundation in the study of programming languages.
Rachunek lambda służy jako pomost między matematyką a informatyką.
Lambda calculus serves as a bridge between mathematics and computer science.
Rachunek lambda stanowi fundament logiki matematycznej i teorii obliczeń.
Lambda calculus serves as a foundation for mathematical logic and computation.
Rachunek lambda służy do reprezentacji obliczeń poprzez abstrakcję funkcyjną.
Lambda calculus is used to represent computations through function abstraction.
Rachunek lambda oferuje sposób na klarowne matematyczne wyrażanie funkcji.
Lambda calculus offers a way to express functions mathematically with clarity.
Rachunek lambda jest kluczowy dla zrozumienia koncepcji programowania funkcyjnego.
Lambda calculus is essential for understanding functional programming concepts.
Rachunek lambda został opracowany przez Alonzo Churcha na początku XX wieku.
Lambda calculus was developed by Alonzo Church in the early 20th century.
Naukowcy wykorzystują rachunek lambda do udowadniania teorii dotyczących obliczeń i funkcji.
Researchers utilize lambda calculus to prove theories about computation and functions.
W matematyce rachunek lambda pomaga skutecznie rozwiązywać złożone problemy logiczne.
In mathematics, lambda calculus helps solve complex logic problems effectively.
Wielu informatyków uważa rachunek lambda za niezbędny element teoretycznej informatyki.
Many computer scientists consider lambda calculus essential for theoretical computer science.
Wielu informatyków zgłębia rachunek lambda, aby udoskonalić swoje umiejętności programistyczne.
Many computer scientists study lambda calculus to enhance their programming skills.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
