Каталог Российских предприятий
Реклама на сайте

ЗАО "Стройиндустрия"

ПРОИЗВОДСТВО СБОРНЫХ ЖЕЛЕЗОБЕТОННЫХ И БЕТОННЫХ КОНСТРУКЦИЙ И ИЗДЕЛИЙ

Наименование предприятия ЗАО "Стройиндустрия"
Регион расположения предприятия Калужская область
Город расположения предприятия Обнинск
Адрес предприятия 249020 Калужская область, г. Обнинск, ул. Менделеева, 14
Телефоны предприятия: секретариат 9-57-07 Факс: 9-56-46
Бухгалтерия
Отдел снабжения
Отдел сбыта
Транспортный отдел
Телефон Руководителя
Фамилия Имя Отчество руководителя
Отрасль предприятия ПРОИЗВОДСТВО СБОРНЫХ ЖЕЛЕЗОБЕТОННЫХ И БЕТОННЫХ КОНСТРУКЦИЙ И ИЗДЕЛИЙ
Продукция предприятия детали сборные железобетонные
Адрес сайта в Интернете
Адрес электронной почты

 


ЭЛЕКТРОТЕХНИЧЕСКАЯ ПРОМЫШЛЕННОСТЬ в Центральный федеральный округ, Производство станки токарные в Центральный федеральный округ, предприятия МОРСКОЙ ТРАНСПОРТ, Производство препараты для лечения сердечно-сосудистых заболеваний в Томске, трикотаж верхний в Южный федеральный округ, предприятия Иваново, инструменты алмазные в Люберцах, ПИЩЕВАЯ ПРОМЫШЛЕННОСТЬ в Оренбурге, предприятия Ставрополя, Производство электросталь в Тульской области, СТЕКОЛЬНАЯ ПРОМЫШЛЕННОСТЬ во Владимирской области, предприятия Красноярский край, изделия кондитерские в Новосибирской области, промышленность в Саратове, промышленность Черкесск, промышленность Волжского, промышленность Московская область, Нерюнгри предприятия, Рязань промышленность, Приволжский федеральный округ промышленность и предприятия, Псковская область ЗАО "Великие Луки - мебель", Кемеровская область ОАО "Разрез 'Моховский'"
А знаете ли Вы, что...


Из Большой Советской Энциклопедии.

Чёрч (Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947—1967). С 1967 профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. н. тезис Чёрча): каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции). В 1935 Ч. привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Ч. внёс существенный вклад в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики и модальной логики.

Соч. в рус. пер.: Введение в математическую логику, т. 1, М., 1960.

Каталог российских предприятий Перечень Российских предприятий каталога по городам Перечень Российских предприятий каталога по регионам Перечень Российских предприятий каталога по отраслям Перечень Российских предприятий каталога по продукции Перечень Российских предприятий каталога по округам Добавить компанию в каталог Российских предприятий За предоставленную информацию администрация каталога ответственности не несет