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