Категория:Логика
Материал из 0x1.tv
Вопросы формальной логики и близких тем (формализации нетривиальных систем и т.п.).
Страницы в категории «Логика»
Показаны 3 страницы из 3, находящихся в данной категории.
- Chipollino — как лабораторная работа превратилась в инструмент для исследований (Александр Дельман, OSEDUCONF-2024)
- Эксперимент по созданию quick-and-dirty пруверов для оценки завершаемости в рамках рубежного контроля (Антонина Непейвода, OSEDUCONF-2022)
- Язык соединений и превращений для формальной эвологии (Даниил Исакевич, OSSDEVCONF-2024)