| OberonCore https://forum.oberoncore.ru/ |
|
| Дейкстра: борьба со сложностью и Оберон https://forum.oberoncore.ru/viewtopic.php?f=86&t=4646 |
Страница 3 из 3 |
| Автор: | PSV100 [ Среда, 29 Январь, 2014 20:55 ] |
| Заголовок сообщения: | Re: Дейкстра: борьба со сложностью и Оберон |
Валерий Лаптев писал(а): ... Да. Алгоритмическая сложность - это классная весчь! Она прекрасно ложится на любую практическую среду - если измерять сложность программы количеством команд некоей виртуальной машины. Это дает единую меру сложности для этой среды. Собственно, мы где-то именно так собираемся в семантике сделать. Возможно с некоторыми уточнениями-модификациями. Возможно, указанные ниже теории уже известны, но на всякий случай: - Вяткин В.Б. Синергетическая теория информации (здесь, или частично здесь, рекомендую начать с этой публикации, лучше в виде pdf по указанной там ссылке); - Луценко Е.В. Системная (эмерджентная) теория информации (здесь, в этой главе непосредственно теоретические основы, с этой публикации рекомендую начать знакомство). Теории могут быть полезными помощниками как для управления алгоритмической сложностью, так и для структурного анализа (кстати, к "классической" синергетике теории имеют косвенное отношение, в частности, здесь Вяткин даёт детальные пояснения). |
|
| Автор: | Валерий Лаптев [ Среда, 05 Февраль, 2014 09:06 ] |
| Заголовок сообщения: | Re: Дейкстра: борьба со сложностью и Оберон |
Спасибо. Вяткина - знаю, читал. С работами Луценко - не знаком. |
|
| Страница 3 из 3 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|