Вид документа : Однотомное издание Шифр издания : 519(075)/Б 74 Автор(ы) : Богомолов А. М., Сытник А. А., Твердохлебов В. А. Заглавие : Автоматные модели и рекурсивный конструктивизм : учеб. пособие для студ. мех.-матем. фак. и фак. прикл. матем. ун-тов Выходные данные : Саратов: Изд-во Сарат. ун-та, 1992 Колич.характеристики :72 с. ; 21см ISBN, Цена 5-292-01592-Х: 18.00 р. ГРНТИ : 27.47.01.33 УДК : 519.713+681.511.015 Предметные рубрики: Математика-- Математическая кибернетика Ключевые слова (''Своб.индексиров.''): теория автоматов--алгебра логики--эквивалентность--формулы--рекурсия--рекурсивный конструктивизм Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Сытник, А. А. Твердохлебов, В. А.