Комбинаторная логика

86

ветвь математической логики, изучающая комбинаторы и их свойства. В качестве основных понятий в К. Л. Выбираются функция и операция применения функции к аргументу (аппликация). Комбинаторами называют члены некоторого класса операций над функциями, замкнутого относительно аппликации. Сформулированное в терминах К. Л. Понятие «комбинаторно определимой функции» явилось одним из первых способов уточнения понятия алгоритма. Начало К. Л. Положено работой советского математика М. И. Шейнфинкеля (1924), большая часть результатов принадлежит американскому логику Х. Карри. К. Л. Находит широкое применение в теории языков программирования. Лит. Яновская С. А., Логика комбинаторная, в кн. Философская энциклопедия, т. 3, М., 1964. SchönfinkeI М., Über die Bausteine der mathema-tischen Logik, «Mathematische Annalen», 1924, Bd 92.

Curry H. B., Feys R., Combinatory logic, Amst., 1958. Curry H. B., Recent advances in combinatory logic, «Bulletin de la Société mathématique de Belgique», 1968, t. 20, № 3.

Значения в других словарях
Комбинатор гидротурбин

устройство для регулирования взаимного расположения лопастей рабочего колеса и лопаток направляющего аппарата (См. Направляющий аппарат). Применяется в реактивных Гидротурбинах двойного регулирования. Наиболее благоприятное для кпд взаимное расположение лопаток и лопастей определяется по диаграмме — комбинаторной кривой. К. Г. Позволяет получать максимальный кпд турбины при изменении режима её работы (напора, расхода, мощности).. ..

Комбинаторика

1) то же, что математический Комбинаторный анализ. 2) Раздел элементарной математики, связанный с изучением количества комбинаций, подчинённых тем или иным условиям, которые можно составить из заданного конечного множества объектов (безразлично, какой природы. Это могут быть буквы, цифры, какие-либо предметы и т.п.). Наиболее употребительные формулы К. Число размещений. Пусть имеется n различных предметов. Сколькими способами можно выбрать из них т предметов (учитывая порядок, в котором выбираю..

Комбинаторная топология

часть топологии (См. Топология), в которой топологические свойства геометрических фигур изучаются при помощи их разбиений на более элементарные фигуры (например, разбиение Полиэдров на Симплексы) или при помощи покрытий системами множеств. Этот метод применим, как показывают работы главным образом советских учёных, в самых широких предположениях об изучаемых фигурах. Лит. Александров П. С., Комбинаторная топология, М. — Л., 1947. Понтрягин Л. С., Основы комбинаторной топологии, М. — Л., 1947.. ..

Комбинаторные изменения звуков

результат влияния окружающих звуков в речевом потоке. Таковы Ассимиляция, Диссимиляция, Аккомодация — приспособление согласных к гласным и гласных к согласным («игры — отыгран»), выпадение звука («сонце» вместо «солнце»), гаплология — выпадение одного из одинаковых или подобных слогов («знаменосец» из «знаменоносец»), стяжение двух смежных гласных в один (русское диалектное « быват» из «бывает»), афереза — отпадение начального гласного слова после конечного гласного предшествующего слова (англ...

Комбинаторная Логика

- раздел логики, посвященный изучению и анализу таких понятий и методов, как переменная, функция, операция подстановки, классификация предметов по типам или категориям и другие. В качестве основных понятий в К. Л. Выбираются одноместная функция и операция применения функции к аргументу (аппликация), при этом понятие функции рассматривается как первичное по отношению к понятию множества и обобщается таким образом, что функция может принимать объекты одного с ней уровня как в качестве аргументов,..

Дополнительный поиск Комбинаторная логика Комбинаторная логика

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Комбинаторная логика" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Комбинаторная логика, различные варианты толкований, скрытый смысл.

Первая буква "К". Общая длина 20 символа