?
On maximal subgroups of the group of recursive permutations
Moscow University Computational Mathematics and Cybernetics. 2016. Vol. 40. No. 3. P. 128–132.
Kolmakov E.A., Marchenkov S. S.
Баувенс Б. Ф., Блинников И. А., , in: Computer Science – Theory and Applications 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, ProceedingsVol. 12159.: Springer, 2020. P. 130–141.
Добавлено: 5 февраля 2021 г.
Яновский Е. А., Miller R., Ng K. M. и др., Journal of Symbolic Logic 2014 Vol. 3 No. 79 P. 859–881
Добавлено: 25 февраля 2019 г.
Day A., Fellows M., Greenberg N. и др., Berlin: Springer, 2017.
Добавлено: 26 октября 2018 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2019.
Книга содержит необходимые сведения из теории алгоритмов, теории графов, комбинаторики. Рассматриваются частично рекурсивные функции, машины Тьюринга, приводятся некоторые варианты алгоритмов (ассоциативные исчисления, системы подстановок, грамматики, продукции Поста, нормальные алгоритмы Маркова, операторные алгоритмы). Описываются основные типы графов (мультиграфы, псевдографы, эйлеровы графы, гамильтоновы графы, деревья, двудольные графы, паросочетания, сети Петри, планарные графы, транспортные сети). Приводятся некоторые часто ...
Добавлено: 24 августа 2018 г.
Сутырин П. Г., Вылиток А. А., В кн.: Сборник научных трудов SWorld по материалам международной научно-практической конференцииТ. 1. Вып. 3.: [б.и.], 2014. С. 57–60.
В работе рассматриваются вопросы последовательного изучения теории и практики алгоритмизации и программирования, дается обзор основных теоретических формализомов и некоторых широко используемых языков программирования. ...
Добавлено: 27 октября 2015 г.