Библиографическое описание:Formal Methods in Architecture and Urbanism, Volume 2 / Catarina Ruivo, David Leite Viana, Franklim Morais. - Электрон. текстовые дан. - [S. l. : s. n.], 2021. - 1 online resource (541 p.). - Загл. с титул. экрана. - ISBN 1527576655. - ISBN 9781527576650 : Б. ц. - Текст : электронный. Перевод заглавия: Формальные методы в архитектуре и урбанизме Примечания о происхождении: Коллекция цифровых книг Ebsco ebook (централизованная подписка 2023 г., бессрочный доступ). НБ СФУ
Аннотация:This volume contributes to the debate on the application, in the disciplines of architecture and urbanism, of new formal methods and methodological advances based on tools from mathematics. From millennial geometry to current shape grammars, several formal approaches to architecture and urbanism are presented here, in order to look at the potentials and purposes of these formal methods, both those on the horizon and those already accomplished. This book promotes the use of formal methods in the creation of new explicit languages for problem-solving in the field. This collection of papers will.
Этот том вносит свой вклад в дискуссию о применении в таких дисциплинах, как архитектура и урбанизм, новых формальных методов и методологических достижений, основанных на математических инструментах. Здесь представлено несколько формальных подходов к архитектуре и урбанизму, от геометрии тысячелетий до современных формальных грамматик, чтобы рассмотреть потенциал и цели этих формальных методов, как тех, которые только появляются, так и тех, которые уже реализованы. Эта книга пропагандирует использование формальных методов при создании новых явных языков для решения задач в данной области. Этот сборник статей будет.
