Anatoly Levenchuk (ailev) wrote in incose_ru,
Anatoly Levenchuk
ailev
incose_ru

Category:

Девяносто шестое заседание, 12 ноября 2014г. (minutes)

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
Subscribe
  • Post a new comment

    Error

    Comments allowed for members only

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments