Форум АСУ в Україні

форум з автоматизації для викладачів, студентів та спеціалістів
Сьогодні: 29 березня 2024, 13:43

Часовий пояс UTC + 2 годин [ DST ]




Створити нову тему Відповісти  [ 1 повідомлення ] 
Автор Повідомлення
 Тема повідомлення: Теория категорий как математическое основание моделеориентир
ПовідомленняДодано: 13 листопада 2014, 08:52 
Офлайн
Викладач

З нами з: 29 листопада 2013, 17:11
Повідомлення: 5033
Девяносто шестое заседание, 12 ноября 2014г. (minutes)2011ailev wrote in incose_ruNovember 13th, 0:34
1. Доклад Сергея Ковалёва (ИПУ РАН) "Теория категорий как математическое основание моделеориентированной системной инженерии".
http://incose-ru.livejournal.com/50098.html
Цитата:
-- математическое выражение эмерджентности
-- теория категорий для выражения трассировок и correspondence rules
-- теория категорий как язык для technical space плюс
-- теория категорий как возможный формализм для SysMoLan


Догори
 Профіль  
 
Відображати повідомлення за:  Сортувати за  
Створити нову тему Відповісти  [ 1 повідомлення ] 

Часовий пояс UTC + 2 годин [ DST ]



Хто зараз онлайн

Зараз переглядають цей форум: Немає зареєстрованих користувачів і 1 гість


Ви не можете створювати нові теми у цьому форумі
Ви не можете відповідати на теми у цьому форумі
Ви не можете редагувати ваші повідомлення у цьому форумі
Ви не можете видаляти ваші повідомлення у цьому форумі
Ви не можете додавати файли у цьому форумі

Знайти:
Вперед:  
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
Вы можете бесплатно создать форум PHPBB2 на MyBB2.ru, Также возможно создать форум бесплатно PHPBB3 на Getbb.ru
Український переклад © 2005-2007 Українська підтримка phpBB