Новые поступления (книга в стадии обработки) Богомолов, А. М. Автоматные модели и рекурсивный конструктивизм [Текст] : учеб. пособие для студ. мех.-матем. фак. и фак. прикл. матем. ун-тов / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов. - Саратов : Изд-во Сарат. ун-та, 1992. - 72 с. ; 21см. - ISBN 5-292-01592-Х : 18.00 р.
Рубрики: Математика--Математическая кибернетика Кл.слова (ненормированные): теория автоматов -- алгебра логики -- эквивалентность -- формулы -- рекурсия -- рекурсивный конструктивизм Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Сытник, А. А. Твердохлебов, В. А. |