Журналы
Разделы книг
Статьи по ключевому слову Комбинаторная логика
Обзор и сравнительный анализ методов конструирования термов в комбинаторной логике

Р.В. Душкин1

1Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

1rvdushkin@mephi.ru

Опыт систематического конструирования объектов для представления базовых математических концепций в комбинаторной логике

Р.В. Душкин¹

¹ООО «А-Я эксперт» (Москва, Россия)

¹Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹drv@aia.expert