Английская Википедия:B, C, K, W system: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

4 февраля 2024

  • текущ.пред. 21:1721:17, 4 февраля 2024‎ EducationBot обсуждение вклад‎ 5018 байт +5018‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Logic}} The '''B, C, K, W''' system is a variant of combinatory logic that takes as primitive the combinators '''B, C, K''', and '''W'''. This system was discovered by Haskell Curry in his doctoral thesis ''Grundlagen der kombinatorischen Logik'', whose results are set out in Curry (1930). ==Definition== The combinators are defined as follows: * '''B''' ''x...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:B,_C,_K,_W_system