A510632-ОХФ, A859224-ОХФ Льюис, Ф. Теоретические основы проектирования компиляторов [Текст] / Ф. Льюис, Д Розенкранц, Р Стирнз. - Москва : Мир, 1979. - 654, [2] с. - Библиогр. - ISBN [Б. и.] (в пер.) : 8500.00 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): компиляторы -- MINI-BASIC -- конечные автоматы -- контекстно-свободные грамматики -- атрибутные грамматики Доп. точки доступа: Розенкранц, Д Стирнз, Р Экземпляры всего: 2 ОХФ (2) |
A869052-ОХФ, A869053-ОХФ, A869054-ОХФ, A869055-ОХФ, A869056-ОХФ Мангушева, Ирина Павловна. Ограниченно детерминированные функции и конечные автоматы: Решение типовых задач [Текст] : учеб. пособие / И. П. Мангушева, П. М. Хрусталев, В. И. Лаврушин ; . - Саратов : Издательство Саратовского университета, 1997. - 70, [2] с. - ISBN 5-292-02110-5 : 15.00 р.
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): автоматов теория -- конечные автоматы -- детерминированные автоматы Доп. точки доступа: Хрусталев, П. М. Хрусталёв, П. М. Лаврушин, Владимир Иванович Экземпляры всего: 5 ОХФ (5) |
A872430-ОХФ Смирнов, Анатолий Константинович. Управление жизненными циклами сложных систем [Текст] / А. К. Смирнов, В. А. Твердохлебов ; . - Саратов : Издательство Саратовского университета, 2000. - 107, [5] с. : ил., табл. - Библиогр. - ISBN 5-292-02489-9 : 20.00 р.
Рубрики: автоматика.кибернетика--системы автоматического управления Кл.слова (ненормированные): сложные системы -- жизненный цикл -- конечные автоматы -- математическое моделирование Доп. точки доступа: Твердохлебов, Владимир Александрович Экземпляры всего: 1 ОХФ (1) |
7811/Р-ОХФ Посохина, Наталия Игоревна. Задачи синтеза и анализа перечислителей в некоторых классах конечных автоматов [Рукопись] : Дис. на соиск. учен. степ. канд. физ.-мат. наук / Наталия Игоревна Посохина. - Саратов : [б. и.], 2000. - 98 л. с. + 1 Прил.(автореф.). - Библиогр. - (в пер.) : (В.00
Рубрики: автоматика.кибернетика--системы автоматического управления Кл.слова (ненормированные): автоматов теория -- конечные автоматы -- сложные системы -- дискретные системы -- математическое моделирование Экземпляры всего: 1 ОХФ (1) |
7962/Р-ОХФ Кудрин, Александр Александрович. Автоматная сложность вычисления формул [Рукопись] : дис. на соиск. учен. степ. канд. физ.-мат. наук / А. А. Кудрин ; . - Москва : Б. и., 2000. - 99 л. с. + 1 автореф. - Библиогр. - ISBN [Б. и.] (в пер.) : [б. ц.]
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): автоматов теория -- конечные автоматы Экземпляры всего: 1 ОХФ (1) |
8056/Р-ОХФ Отрыванкина, Татьяна Михайловна. Универсальные объекты в категориях структуризованных автоматов [Рукопись] : Дис. на соиск. учен. степ. канд. физ.-мат. наук / Татьяна Михайловна Отрыванкина. - Саратов : [б. и.], 2000. - 85, [1] л. с. + 1 автореф. - Библиогр. - (в пер.) : (В.00
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): автоматов теория -- конечные автоматы Экземпляры всего: 1 ОХФ (1) |
8205/Р-ОХФ Батраева, Инна Александровна. Свойства отображений, непредставимых частными классами конечных автоматов [Рукопись] : дис. на соиск. учен. степ. канд. физ.-мат. наук / И. А. Батраева ; . - Саратов : [б. и.], 2001. - 90 л. с. + 1 автореф. - Библиогр. - ISBN [Б. и.] (в пер.) : [б. ц.]
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): автоматов теория -- конечные автоматы -- детерминированные автоматы -- отображения Экземпляры всего: 1 ОХФ (1) |
A790578-ОХФ, A790579-ОХФ, A880182-ОХФ Салий, Вячеслав Николаевич. Универсальная алгебра и автоматы [Текст] : Учеб. пособ. для студентов мех.-мат. фак. / Вячеслав Николаевич Салий. - Саратов : Издательство Саратовского университета, 1988. - 71, [1] с. - Библиогр. - ISBN 5-292-00263-1 : 10.00 р.
Рубрики: математика--математическая кибернетика--алгебра Кл.слова (ненормированные): автоматов теория -- универсальная алгебра -- конечные автоматы Экземпляры всего: 3 ОХФ (3) |
A882505-ОХФ Мощенский, Андрей Владимирович. Математические основы информатики [Текст] : пособие для студентов / А. В. Мощенский, В. А. Мощенский. - Минск : Изд-во Белорус. ун-та, 2002. - 149, [3] с. - ISBN 985-445-564-5 : 45.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): информатика -- множеств теория -- комбинаторика -- алгоритмы -- логика высказываний -- формальная грамматика -- конечные автоматы Доп. точки доступа: Мощенский, Владимир Андреевич Экземпляры всего: 1 ОХФ (1) |
8806/Р-ОХФ Кунявская, Анна Наумовна. Распознавание конечных детерминированных автоматов методом зацикливания [Рукопись] : дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / А. Н. Кунявская ; . - Саратов : [б. и.], 2004. - 146 л. с. + 1 автореф. - Библиогр. - ISBN [Б. и.] (в пер.) : [б. ц.]
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): конечные автоматы -- конечные детерминированные автоматы -- распознавание автоматов -- зацикливания методы Экземпляры всего: 1 ОХФ (1) |
A950698-ОХФ Кунявская, Анна Наумовна. Распознавание конечных детерминированных автоматов методом зацикливания [Текст] : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / А. Н. Кунявская ; . - Саратов : [б. и.], 2004. - 16, [2] с. - Библиогр. - ISBN [Б. и.] : [б. ц.]
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): конечные автоматы -- конечные детерминированные автоматы -- распознавание автоматов -- зацикливания методы Экземпляры всего: 1 ОХФ (1) |
A889050-ОХФ-ЧЗ-4, A889051-ОХФ-ЧЗ-4 Белоусов, Алексей Иванович. Дискретная математика [Текст] : учеб. для студентов втузов / А. И. Белоусов, С. Б. Ткачев ; под ред. В. С. Зарубина, А. П. Крищенко. - 3-е изд., стер. - Москва : Изд-во МГТУ им. Н. Э. Баумана, 2004. - 743, [1] с. - (Математика в техническом университете / под ред.: В. С. Зарубина, А. П. Крищенко ; вып. 19.). - Библиогр.: с. 720-723. - Предм. указ.: 724-740с. . - ISBN 5-7038-1769-2 (вып. 19) (в пер.). - ISBN 5-7038-1270-4 : 138.40 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- множества -- алгебраические структуры -- графов теория -- Булевы функции -- конечные автоматы Доп. точки доступа: Ткачев, Сергей Борисович Ткачёв, Сергей Борисович Зарубин, В. С. Крищенко, Александр Петрович Экземпляры всего: 2 ОХФ-ЧЗ-4 (2) |
Учебная литература, A889467-ОХФ, A889468-ОХФ, A889469-ОХФ, A889470-ОХФ, A889471-ОХФ, Фомичев, Владимир Михайлович. Дискретная математика и криптология [Текст] : курс лекций / В. М. Фомичев ; общ. ред. Н. Д. Подуфалов. - Москва : ДИАЛОГ-МИФИ, 2003. - 397, [3] с. - Библиогр.: с. 386-390 (86 назв.). - ISBN 5-86404-185-8 (в пер.) : 137.54 р., 155.00 р.
Рубрики: математика--комбинаторный анализ--теория графов наука--письменность Кл.слова (ненормированные): дискретная математика -- множества -- отображения -- алгебра логики -- конечные автоматы -- псевдослучайные последовательности -- криптология -- шифры -- криптографические генераторы Доп. точки доступа: Подуфалов, Н. Д. Экземпляры всего: 7 ОХФ (5), ОУОЕН (2) |
A960571-ОХФ, A963300-ОХФ, A964198-ОХФ, A964541-ОХФ Сперанский, Дмитрий Васильевич. Эксперименты с линейными и билинейными конечными автоматами [Текст] : учеб. пособие для студентов вузов / Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2004. - 141, [3] с. : ил. - Библиогр.: с. 138-140 (51 назв.). - ISBN 5-292-03139-9 : 60.00 р., 50.00 р., 55.00 р.
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): линейные автоматы -- конечные автоматы -- билинейные автоматы -- распознавание автоматов -- интервальная арифметика Аннотация: Приводятся критерии существования синхронизирующих, установочных и диагностических экспериментов для стационарных и нестационарных линейных и билинейных автоматов, верхняя оценка их длин. Рассмотрены эксперименты по распознаванию неисправностей и неизвестных входных последовательностей, изучаются свойства этих экспериментов. Держатели документа: ЗНБ СГУ ЦБС г. Саратова Экземпляры всего: 4 ОХФ (4) |
9042/Р-ОХФ-ЧЗ-3(Дисс. фонд) Тихончев, Михаил Юрьевич. Автоматный анализ детерминированных графов [Рукопись] : дис. ... канд. физ.-мат. наук : 01.01.09 / М. Ю. Тихончев ; науч. рук. Д. В. Сперанский ; Фил. Ульян. гос. ун-та в г. Димитровграде. - Димитровград : [Б. и.], 2005. - 113 л. + 1 автореф. - Библиогр.: л. 109-113 (48 назв.). - ISBN [Б. и.] (в пер.) Приложение: Автоматный анализ детерминированных графов : автореф. дис. ... канд. физ.-мат. наук : 01.01.09/ М. Ю. Тихончев ; науч. рук. Д. В. Сперанский. - Саратов : [Б. и.], 2005. - 16 с. - ISBN [Б. и. Шифр 705215
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): детерминированные графы -- конечные автоматы -- контрольный эксперимент. - Приложение:Автоматный анализ детерминированных графов : автореф. дис. ... канд. физ.-мат. наук : 01.01.09/ М. Ю. Тихончев ; науч. рук. Д. В. Сперанский Доп. точки доступа: Сперанский, Дмитрий Васильевич Экземпляры всего: 1 ОХФ-ЧЗ-3(Дисс. фонд) (1) |
A951037-ОХФ Тихончев, Михаил Юрьевич. Автоматный анализ детерминированных графов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / М. Ю. Тихончев ; науч. рук. Д. В. Сперанский ; Фил. Ульян. гос. ун-та в г. Димитровграде. - Саратов : [Б. и.], 2005. - 16 с. - Библиогр.: с. 16 (8 назв.). - ISBN [Б. и.] Издание является приложением к документу: Автоматный анализ детерминированных графов : дис. ... канд. физ.-мат. наук : 01.01.09/ М. Ю. Тихончев ; науч. рук. Д. В. Сперанский. - Димитровград : [Б. и.], 2005. - 113. - ISBN [Б. и. Шифр 301473
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): детерминированные графы -- конечные автоматы -- контрольный эксперимент. - Является приложением к Автоматный анализ детерминированных графов : дис. ... канд. физ.-мат. наук : 01.01.09/ М. Ю. Тихончев ; науч. рук. Д. В. Сперанский\par Доп. точки доступа: Сперанский, Дмитрий Васильевич Экземпляры всего: 1 ОХФ (1) |
Учебная литература, A962432-ОХФ-ЧЗ-4, A962433-ОХФ-ЧЗ-4, A962434-ОХФ, Макоха, Анатолий Николаевич. Дискретная математика [Текст] : учеб. пособие / А. И. Макоха, П. А. Сахнюк, Н. И. Червяков. - Москва : ФИЗМАТЛИТ, 2005. - 368 с. : рис., табл. - Библиогр.: с. 366-368. - ISBN 5-9221-0630-9 (в пер.) : 239.36 р., 238.28 р. Рекомендовано Учеб.-метод. об-нием по образованию в обл. приклад. математики и физики в качестве учеб. пособия для студентов, обучающихся по направлению подгот. бакалавров и магистров 511600 - "Прикладные математика и физика"
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- графов теория -- логические функции -- комбинационные схемы -- конечные автоматы -- модулярное кодирование Доп. точки доступа: Сахнюк, Павел Анатольевич Червяков, Николай Иванович Экземпляры всего: 8 ОХФ-ЧЗ-4 (2), ОХФ (1), ОУОЕН (5) |
A909460-ОХФ-ЧЗ-4 Лекции по дискретной математике [Текст] : для студентов и аспирантов вузов / Ю. В. Капитонова [и др.]. - Санкт-Петербург : БХВ-Петербург, 2004. - 614 с. : ил. - Библиогр.: с. 611-614 (83 назв.). - ISBN 5-94157-546-7 (в пер.) : 232.50 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- графов теория -- конечные автоматы -- математическая логика -- автоматов теория -- множества -- комбинаторика -- информационные технологии Доп. точки доступа: Капитонова, Юлия Владимировна Кривой, Сергей Лукьянович Летичевский, Александр Адольфович Луцкий, Георгий Михайлович Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) |
A966080-ОХФ, A966081-ОХФ-ЧЗ-4 Биркгоф, Гаррет. Современная прикладная алгебра [Текст] : [учеб. пособие] / Г. Биркгоф, Т. К. Барти ; пер. с англ. Ю. И. Манина. - 2-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2005. - 400 с. - (Учебники для вузов. Специальная литература). - Библиогр. в конце глав. - ISBN 5-8114-0613-4 (в пер.) : 220.00 р.
Рубрики: математика--алгебра Кл.слова (ненормированные): прикладная алгебра -- множества -- бинарные отношения -- конечные автоматы -- булева алгебра -- моноиды -- кольца -- решетки -- конечные поля -- рекуррентные последовательности -- языки программирования Доп. точки доступа: Барти, Томас К. Манин, Ю. И. Экземпляры всего: 2 ОХФ (1), ОХФ-ЧЗ-4 (1) |
Учебная литература, A966687-ОХФ, A966688-ОХФ, A966689-ОХФ, Пентус, Анна Евгеньевна. Математическая теория формальных языков [Текст] : учеб. пособие / А. Е. Пентус, М. Р. Пентус. - Москва : Интернет-Ун-т Информ. Технологий : БИНОМ. Лаб. знаний, 2006. - 247, [1] с. - (Основы информатики и математики / гл. ред. А. В. Михалев). - Библиогр.: с. 236-239. - Предм. указ.: с. 240-247. - ISBN 5-94774-512-7 (БИНОМ. ЛЗ) (в пер.). - ISBN 5-9556-0062-0 (ИНТУИТ.РУ) : 270.00 р., 300.00 р., 336.00 р.
Рубрики: автоматика.кибернетика--математическая кибернетика вычислительная техника--информационные технологии Кл.слова (ненормированные): автоматов теория -- конечные автоматы -- формальные языки -- контекстно-свободные языки (кс-языки) -- контекстно-свободные грамматики -- автоматные языки -- алгоритмические проблемы -- математическая лингвистика -- регулярные выражения Доп. точки доступа: Пентус, Мати Рейнович Экземпляры всего: 27 ОХФ (3), ОУОЕН (24) |