Результати пошуку

...гою їх фіксації, це побудова послідовності функцій одного аргумента, кожна з яких повертає наступну. ...мбда-числення]], який можна застосувати тільки для функцій однієї змінної. З точки зору [[теорія множин|теорії множин]], каррування — це відповідність м ...

...на всіх чисел виду „2 на <math>x</math>“, де <math>x</math>&nbsp;— елемент з множини [[натуральне число|натуральних чисел]] (<math>\N</math>), такий що ...lock context messages, якими є спискові вирази, були в цій мові щонайменше з часів Smalltalk-80. ...

...'n'' існує певний [[алгоритм]], який оперує [[Сирцевий код|кодом]] програм з ''m''+''n'' [[вільна змінна|вільними змінними]]. Цей алгоритм ефективно при ...властивістю: для кожного номера ''p'' часткової обчислюваної функції ''f'' з двома аргументами <math>\varphi_{s(p,x)}(y)</math> та <math>f(x,y)</math>, ...

...цією. На відміну від цього, лямбда-числення уникає станів, воно має справу з функціями, котрі отримують значення параметрів та повертають результати обч ...інних та впорядкованому заміщенні змінних виразами. λ-числення є замкненою мовою, тобто [[семантика]] мови може бути визначена на основі еквівалентності вир ...

...ежно від значення логічного виразу, заданого першим операндом. Як випливає з назви, тернарна операція приймає всього три вказаних операнди. Аналогом тер .... Прототипом цієї операції також є умовна функція <code>cond</code> мови [[Lisp|Лісп]], яка записується за правилами Ліспа в префіксній формі і має довільн ...

...сноване на теорії [[Математична логіка|математичної логіки]]. Найвідомішою мовою логічного програмування є [[Prolog]], що є за своєю суттю універсальною маш ...до обчислювальних ресурсів (за допомогою методу [[Пошук з вертанням|пошуку з поверненням]]) і для виведення фактів без активного використання [[стек]]у. ...

...на саму себе, і будь-якого початкового значення {{Math|''x''₀}} з {{Mvar|S}}, послідовність ітераційних значень функції ...ахи та зайця]] [[Роберт Флойд|Роберта У. Флойда]] переміщує два вказівника з різною швидкістю по послідовності значень, поки обидва не вкажуть на рівні ...