|
||||||||||||||||||||||||||
Статьи и новости: |
Объявление.Инновационный многопрофильный образовательный комплекс ГБОУ г.Москвы гимназия №1796 «Гольяново» проводит дополнительный набор учащихся 5-11 классов для обучения в предпрофильных и профильных классах следующих направленностей на 2014/15 учебный год:
Список государственных институтов Кемерово.
|
| ВУЗ | Кузбасский государственный технический университет |
| Адрес | 650026, Кемеровская область, г. Кемерово, ул. Весенняя, д. 28 |
| Телефоны | (3842) 58-35-84 |
| Город расположения | Кемерово |
| Регион | Кемеровская область |
| Организационная форма | |
| Государственная аккредитация до | 14 июня 2007 года |
| Лицензия до | 01 июня 2007 года |
| Специальности | СПИСОК СПЕЦИАЛЬНОСТЕЙ |
| Допольнительная информация | |
| WWW | www.kuzstu.ru |
| gdb@kuzstu.ru |
Из Большой Советской Энциклопедии.
Клини (Kleene) Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы посвящены теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской логики и математики. В частности, им доказана эквивалентность введённого А. Чёрчем понятия l-определимости функций с общерекурсивностью. Введённое К. понятие (рекурсивной) реализуемости формул лежит в основе интуиционистской интерпретации арифметических суждений. К. — автор ряда широко известных монографий по математической логике, основаниям математики и теории рекурсивных функций.
Соч. в рус. пер.: Введение в метаматематику, М., 1957.