 |
|
Реклама на сайте |
|
Калининградская область.КОНДИТЕРСКАЯ ПРОМЫШЛЕННОСТЬ. |
|
|
фанера клееная в Приволжский федеральный округ, изделия кондитерские в Красноярском крае, Производство машины электрические постоянного тока, ПИЩЕВАЯ ПРОМЫШЛЕННОСТЬ в Уссурийске, Производство станкостроение в Центральный федеральный округ, Производство производство катеров в Костроме, Производство пряжа хлопчатобумажная в Чувашская Республика-Чувашия, ПРОИЗВОДСТВО СТЕНОВЫХ МАТЕРИАЛОВ в Калужской области, ХИМИЧЕСКАЯ ПРОМЫШЛЕННОСТЬ в Арзамасе, МАСЛОСЫРОДЕЛЬНАЯ ПРОМЫШЛЕННОСТЬ, предприятия Москвы, Ростов-на-Дону промышленность, Производство промысел национальный, связь телефонная в Вологде, средства связи, ЛИКЕРО-ВОДОЧНАЯ ПРОМЫШЛЕННОСТЬ в Сибирский федеральный округ, ДЕРЕВООБРАБАТЫВАЮЩАЯ ПРОМЫШЛЕННОСТЬ в Сыктывкаре, МАШИНОСТРОЕНИЕ Промышленность, предприятия в Калаче, промышленность Мысок А знаете ли Вы, что... Из Большой Советской Энциклопедии. Комбинаторная логика, ветвь математической логики, изучающая комбинаторы и их свойства. В качестве основных понятий в К. л. выбираются функция и операция применения функции к аргументу (аппликация). Комбинаторами называют члены некоторого класса операций над функциями, замкнутого относительно аппликации. Сформулированное в терминах К. л. понятие «комбинаторно определимой функции» явилось одним из первых способов уточнения понятия алгоритма. Начало К. л. положено работой советского математика М. И. Шейнфинкеля (1924), большая часть результатов принадлежит американскому логику Х. Карри. К. л. находит широкое применение в теории языков программирования. Лит.: Яновская С. А., Логика комбинаторная, в кн.: Философская энциклопедия, т. 3, М., 1964; SchonfinkeI М., Ü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 advance |
|