Применение логики в градостроительстве: трудный путь обретения

Рассмотрены примеры использования формально-логических методов в сфере строительства. Авторы касаются отдельных сторон исследовательского поиска, который вёл выдающийся отечественный гидроинженер Н. М. Герсеванов. Показан формализованный язык, используемый Герсевановым для обоснования устойчивости зданий. Выводы Герсеванова рассматриваются в сопоставлении с логической теорией релейных схем В. И. Шестакова.

• Бирюков Б.В.
• Прядко И.П.

• Философия. Психология

• Гуманитарные науки