Реклама на сайте |
|||||||||||||||||||||||||||||||
ЗАО "Стройиндустрия"ПРОИЗВОДСТВО СБОРНЫХ ЖЕЛЕЗОБЕТОННЫХ И БЕТОННЫХ КОНСТРУКЦИЙ И ИЗДЕЛИЙ |
|||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||
ЭЛЕКТРОТЕХНИЧЕСКАЯ ПРОМЫШЛЕННОСТЬ в Центральный федеральный округ, Производство станки токарные в Центральный федеральный округ, предприятия МОРСКОЙ ТРАНСПОРТ, Производство препараты для лечения сердечно-сосудистых заболеваний в Томске, трикотаж верхний в Южный федеральный округ, предприятия Иваново, инструменты алмазные в Люберцах, ПИЩЕВАЯ ПРОМЫШЛЕННОСТЬ в Оренбурге, предприятия Ставрополя, Производство электросталь в Тульской области, СТЕКОЛЬНАЯ ПРОМЫШЛЕННОСТЬ во Владимирской области, предприятия Красноярский край, изделия кондитерские в Новосибирской области, промышленность в Саратове, промышленность Черкесск, промышленность Волжского, промышленность Московская область, Нерюнгри предприятия, Рязань промышленность, Приволжский федеральный округ промышленность и предприятия, Псковская область ЗАО "Великие Луки - мебель", Кемеровская область ОАО "Разрез 'Моховский'" А знаете ли Вы, что... Из Большой Советской Энциклопедии. Чёрч (Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947—1967). С 1967 профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. н. тезис Чёрча): каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции). В 1935 Ч. привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Ч. внёс существенный вклад в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики и модальной логики. Соч. в рус. пер.: Введение в математическую логику, т. 1, М., 1960. |