ISSN 2304-6600 (Online)
ISSN 1997-0935 (Print)



ПРОЕКТИРОВАНИЕ И КОНСТРУИРОВАНИЕСТРОИТЕЛЬНЫХ СИСТЕМ. ПРОБЛЕМЫ МЕХАНИКИВ СТРОИТЕЛЬСТВЕ

ПРИМЕНЕНИЕ ЛОГИКИ В ПРАКТИКЕ ОБОСНОВАНИЯУСТОЙЧИВОСТИ ФУНДАМЕНТОВ ЗДАНИЙ: ОБ ОДНОЙМАЛОИЗВЕСТНОЙ РАБОТЕ Н.М. ГЕРСЕВАНОВА

  • Прядко Игорь Петрович - ФГБОУ ВПО «Московский государственный строительный университет» (ФГБОУ ВПО «МГСУ»)
DOI: 10.22227/1997-0935.2012.11.97-104
Страницы: 97-104
Рассмотрены логико-методологические схемы, которые использовались отечественным инженером Николаем Михайловичем Герсевановым для обоснования устойчивости проектируемых зданий. Работа Герсеванова «Применение математической логики к расчету сооружений» была единственной в этом роде и одним из поздних его опубликованных исследований. Дальнейшей разработки это направление теоретического анализа инженерного проектирования не получило.
  • Н.М. Герсеванов;
  • логическая формализация;
  • логика в строительной сфере;
  • расчет устойчивости сооружений;
  • необходимые и достаточные условия устойчивости зданий;
  • условно-категорические умозаключения;
  • апагогические и прямые доказательства;
Литература
  1. Будтолаев Н.М. Выдающийся теоретик портовой гидротехники М.Н. Герсеванов: очерк жизни и деятельности. К 120-летию со дня рождения. М., 1950.
  2. Герсеванов Н.М. Основы динамики грунтовой массы. М.-Л. : ОНТИ, Главная редакция технической литературы, 1937.
  3. Герсеванов Н.М. Постройка железобетонных опор для углеперегружателей в Петроградском порте. Петроград : Тип.-лит. С.К. Пентковского, 1915.
  4. Герсеванов Н.М. Расчет боковых стенок и сплошного каменного фундамента сухих доков по методе Франциуса. СПб. : Лит. А. Иконникова, 1911.
  5. Герсеванов Н.М. Теории и построение инженерных номограмм. М.-Л. : ОНТИ, 1937. 97 с.
  6. Герсеванов Н.М. Применение математической логики к расчету сооружений // Собр. соч. Т. 1. М. : Стройвоенмориздат, 1948.
  7. Бирюков Б.В., Кузичева З.А. Из истории приложения логики. О работе Герсеванова «При- менение математической логики к расчету сооружений» // Современная логика: проблемы теории, истории и применения в науке : материалы X Общеросс. науч. конф. 26-28 июня 2008 г. / ред. В.И. Кобзарь и др. СПб., 2008. С. 194-196.
  8. Бирюков Б.В., Шахов В.И. Первые приложения логики к технике. От приложения логики к расчету сооружений и релейным схемам к логической теории размерностей физических величин // Логические исследования / ред. А.С. Карпенко. М. : Наука, 2007. Вып. 14. С. 71-104.
  9. Сотонин К. Рецензия на книги Поварнина С.И. «Введение в логику», Лосского Н.О. «Логика. Часть I. Суждение» // Казанский библиофил. Казань, 1922. № 3. С. 54.
  10. Асмус В.Ф. Логика. М. : ОГИЗ: Гос. изд-во полит. лит., 1947. 386 с.
  11. Кольман Э. Учебник логики. М. : Госполитиздат, 1944.
  12. Виноградов С.Н., Кузьмин А.Ф. Учебник логики. Логика. М. : Учпедгиз, 1953. С. 255.
  13. Эренфест П. Рецензии на русский перевод кн. Л. Кутюра «Алгебра логики» // Журнал русского физико-химического общества. 1910. Т. 42. Отд. 2. Вып. 10.
  14. Шестаков В.И. Алгебра двупольных схем, построенных исключительно из двухполюсников (Алгебра А-схем) // Журнал теоретической физики. 1941. Т. 11. Вып. 6. С. 532-549.
  15. Шестаков В.И. Представление характеристических функций предложений посредством выражений, реализуемых релейно-контактными схемами // Известия АН СССР. Серия «Математика». 1946. Вып. 10.
  16. Shannon C. Symbolic Analysis of Relay and Switching Circuits // Trans of Amer. Institute of Electr. Engineers. 1938. Vol. 57. Pp. 713-723.
  17. Nakasima A. Hanzawa M. Theory of equivalent transformation of simple partial paths of relay circuits // Nippon Electr. Commun. Engineering. 1938. № 9. Pp. 32-39.
  18. Бирюков Б.В. Логико-математические аспекты теории автоматов // Научные доклады высшей школы. Философские науки. 1964. № 5. С. 44-52.
  19. Галилей Галилео. Диалог о двух главнейших системах мира - коперниковой и птолемеевой / пер. А.И. Долгова. М.-Л. : ОГИЗ, 1948.
  20. Стяжкин Н.И. К характеристике ранней стадии в развитии идей математической логики // Философские науки. № 3. 1958. С. 95-101.
  21. Берков В.Ф. Логика. Мн. : ТетраСистемс, 1997. 480 c.
  22. Кириллов В.И., Старченко А.А. Логика. М., 1982. 262 c.
СКАЧАТЬ (RUS)