Torthaí cuardaigh - Поздняков С. Н. Сергей Николаевич

алгоритм RSK алгоритм Евклида алгоритмы на графах арифметика арифметика многочленов арифметика остатков базисы Гребнера бинарные отношения булевы функции грамматики графы дискретная математика комбинаторика математическая логика предикаты производящие функции рекуррентные уравнения теория теория множеств учебники формальные языки целочисленные алгоритмы целые числа