Производство арматура запорная в Воронежской области, ОАО "Суджанский маслодельный комбинат" МАСЛОСЫРОДЕЛЬНАЯ ПРОМЫШЛЕННОСТЬ, ТЭЦ-5, Производство ткани отбеленные хлопчатобумажные в Центральный федеральный округ, предприятия ВИНОДЕЛЬЧЕСКАЯ ПРОМЫШЛЕННОСТЬ, Производство консервы овощные в Стародубе, предприятия Новосибирска, промышленность в Кирове, промышленность Березовского, ПРОИЗВОДСТВО СТРОИТЕЛЬНЫХ МАТЕРИАЛОВ в Сургуте, Новосибирск предприятия, ГОРНОХИМИЧЕСКАЯ ПРОМЫШЛЕННОСТЬ в Северо-Западный федеральный округ, Дальневосточный федеральный округ промышленность и предприятия, продукция рыбная в Таганроге, Ямало-Ненецкий автономный округ ОАО "Севтюменьтранспуть", материалы нерудные (щебень) во Владимирской области, Брянская область промышленность, изделия швейные в Центральный федеральный округ, Производство спецодежда, авиаперевозки международные, ХИМИЧЕСКАЯ ПРОМЫШЛЕННОСТЬ в Самарской области, Производство датчики температуры по регионам, Производство цемент различных марок, Производство изделия кондитерские по федеральным округам РФ, ДЕРЕВООБРАБАТЫВАЮЩАЯ ПРОМЫШЛЕННОСТЬ в Томске
А знаете ли Вы, что...
Из Большой Советской Энциклопедии.
Клини (Kleene) Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы посвящены теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской логики и математики. В частности, им доказана эквивалентность введённого А. Чёрчем понятия l-определимости функций с общерекурсивностью. Введённое К. понятие (рекурсивной) реализуемости формул лежит в основе интуиционистской интерпретации арифметических суждений. К. — автор ряда широко известных монографий по математической логике, основаниям математики и теории рекурсивных функций.
Соч. в рус. пер.: Введение в метаматематику, М., 1957.
|
