?

Log in

No account? Create an account
INCOSE logo

incose_ru


Русское отделение INCOSE


Previous Entry Share Next Entry
Девяносто шестое заседание, 12 ноября 2014г. (minutes)
2011
ailev wrote in incose_ru
1. Доклад Сергея Ковалёва (ИПУ РАН) "Теория категорий как математическое основание моделеориентированной системной инженерии".
-- математическое выражение эмерджентности
-- теория категорий для выражения трассировок и correspondence rules
-- теория категорий как язык для technical space плюс
-- теория категорий как возможный формализм для SysMoLan

Эпиграф: http://asylums.insanejournal.com/atlas_farted/1741.html

Видео (http://vimeo.com/111671795):


Слайды (http://www.slideshare.net/ailev/mbse-41476589):


Отзыв: http://sober-space.livejournal.com/84264.html