Обсуждение:Логика разделения
 | Эта статья входит в число добротных статей русской Википедии. См. страницу номинации (статус присвоен 4 декабря 2015 года). |
Проект «Информационные технологии» (уровень ДС, важность для проекта средняя)
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. Уровень статьи по шкале оценок проекта «Информационные технологии»: добротная статья
Важность статьи для проекта «Информационные технологии»: средняя
|
Для более популярного изложения править
В ходе обсуждения при номинировании в добротную было высказано пожелание улучшить дидактические качества статьи. Нашел следующее для будущего улучшения: в этом сборнике есть краткое введение. Для улучшения восприятия статьи можно будет добавить абзац в Описание. Кроме того, что-то можно будет почерпнуть и из этого источника уровня «для начинающих» (он, правда, аффилированный, но для введения в тему вполне АИ), в том числе там идеи для иллюстрации. РоманСузи 07:41, 5 декабря 2015 (UTC)
На горизонте править
Надо будет добавить слово о Concurrent Separation Logic и [1], когда будет более широко подхвачено независимыми АИ. РоманСузи (обс.) 19:28, 13 ноября 2016 (UTC)
Сделано РоманСузи (обс.) 08:27, 24 марта 2021 (UTC)
