Приложение
для AndroidПолное описание
Богомолов, А. М. Автоматные модели и рекурсивный конструктивизм : учеб. пособие для студентов мех.-мат. фак. и фак. прикл. математики ун-тов / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов. - Саратов : Изд-во Сарат. ун-та, 1992. - 75 с. - 500 экз. - ISBN 5-292-01592-X : Б. ц. - Текст : непосредственный.
Библиогр.: с. 74 (16 назв.).
| ГРНТИ | УДК | |
| 28.25 | 519.713 | |
| 519.716.37 |
Рубрики:
Автоматов теория
Рекурсия
Доп. точки доступа:
Сытник, А.А.
Твердохлебов, В.А.
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Светло-темная структура интерференционных линий Косселя и анализ кристаллической структуры /II/ / ТПП УССР. - 37 c. - Текст : непосредственный.Иванова Е.А. Синтез корректных алгоритмов типа вычисления оценок : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / Е. А. Иванова, 1991. - 15 с. - Текст : непосредственный.Кожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Куракин А.Л. Методы вероятностного расчета быстродействия апериодических автоматов и их приложения к повышению эффективности обработки экспериментальных данных.Решающие системы,океанологический мониторинг : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.04.01 / А. Л. Куракин, 1992. - 37 с. - Текст : непосредственный.Кабаве М.А. Конечно-автоматные методы преобразования и оптимизации нечетких языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. А. Кабаве, 1993. - 16 с. - Текст : непосредственный.Аль Ясин Д.А. Волновые процесcы взаимодействия звеньев однородных клеточных цепей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Д. А. Аль Ясин, 1993. - 15 с. - Текст : непосредственный.Соловьев В.Д. Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17 / В. Д. Соловьев, 1995. - 23 с. - Текст : непосредственный.Мох'д Гассан Изеддин Абаза.Модели и методы поиска оптимальных программных реализаций простых зацикленных алгоритмов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Мох'д Гассан Изеддин Абаза, 1995. - 15 с. - Текст : непосредственный.Адамацкий А.И. Идентификация клеточных автоматов: теория и приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. И. Адамацкий, 1996. - 19 с. - Текст : непосредственный.Осетрова Т.А. Алгоритмы исключения неизвестных, основанные на теории многомерных вычетов, и их компьютерная реализация : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / Т. А. Осетрова, 1996. - 13 с. - Текст : непосредственный.Евневич Е.Л. Автоматизация выбора и синтеза комбинированных алгоритмов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Е. Л. Евневич, 1996. - 14 с. - Текст : непосредственный.Демидов А.В. Автоволновые процессы в однородных клеточных средах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Демидов, 1996. - 15 с. - Текст : непосредственный.Карасева Л.Э. Теоремы существования статических алгоритмов группового тестирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / Л. Э. Карасева, 1997. - 15 с. - Текст : непосредственный.Бородай С.Ю. Эксперименты в эффективно заданных классах автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / С. Ю. Бородай, 1997. - 21 с. - Текст : непосредственный.Курганский А.Н. Неотличимость конечных автоматов, взаимодействующих со средой : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. Н. Курганский, 1997. - 21 с. - Текст : непосредственный.Кац М.М. Упорядоченные автоматы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. М. Кац, 1997. - 16 с. - Текст : непосредственный.Мамаев В.В. Построение корректных моделей алгоритмов ограниченной емкости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / В. В. Мамаев, 1998. - 16 с. - Текст : непосредственный.Мещерякова О.В. Методы синтеза и анализа некоторых классов автоматов-перечислителей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / О. В. Мещерякова, 1998. - 17 с. - Текст : непосредственный.Васильев Н.П. Разработка и исследование алгоритмов хэширования и генерации псевдослучайных последовательностей : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Н. П. Васильев, 1998. - 20 с. - Текст : непосредственный.Макаров В.В. О порождающих системах групп автоматных перестановок : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. В. Макаров, 1998. - 8 с. - Текст : непосредственный.
Показать все результатыBellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.Дегтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа / А.Н.Дегтев, 1998. - 176 с. - Текст : непосредственный.Fredholm D. Intensional aspects of function definitions : Diss. / D.Fredholm, 1994. - 80 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Плоткин Б.И. Элементы алгебраической теории автоматов : Учеб.пособие для студентов вузов по направлению "Прикл.математика и информатика" / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный.Reinhardt K. Prioritatszahlerautomaten und die Synchronisation von Halbspursprachen : Diss. / K.Reinhardt, 1994. - 77 S. - Текст : непосредственный.Теория автоматов : Тр.семинара / Институт кибернетики (Киев). Вып. 5, 1969. - 111 с. - Текст : непосредственный.Левин В.И. Теория автоматов и моделирование сложных систем : Учеб.пособие / В.И.Левин, 1995. - 84 c. - Текст : непосредственный.Hybrid I/O automata / N.A.Lynch,R.Segala,F.W.Vaandrager,H.B.Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J.M.T.Romijn,F.W.Vaandrager, 1995. - 8 p. - Текст : непосредственный.Jacobs B.P.F. Automata and behaviours in categories of processes / B.P.F.Jacobs, 1996. - 14 p. - Текст : непосредственный.Petersen H. Entscheidbarkeitsfragen und Hierarchieresultate fur Mehrkopfautomaten und verwandte Berechenbarkeitsmodelle : Diss. / H.Petersen, 1996. - 86 S. - Текст : непосредственный.Левин В.И. Теория динамических автоматов / В.И.Левин, 1995. - 407 c. - Текст : непосредственный.Тьюринг А. Может ли машина мыслить. Общая и логическая теория автоматов ; / Д.фон Нейман ; Пер. с англ. Ю.А.Данилова; Ред. и предисл. С.А.Яновской, 1960. - 112 с. - Текст : непосредственный.Гончаров С.С. Семейства с одноэлементной полурешеткой Роджерса / С.С.Гончаров,С.А.Бадаев, 1996. - 26 с. - Текст : непосредственный.Крючкова Е.Н. Теория формальных языков и автоматов : Учеб. пособие по курсу "Теория вычисл. процессов и структур" (для подгот. специалистов по направлению "Информатика и вычисл. техника") / Е.Н.Крючкова, 1996. - 82 с. - Текст : непосредственный.Фесенко В.И. Элементы теории алгоритмов и абстрактных автоматов : Учеб. пособие / В.И.Фесенко,В.М.Шабашов, 1985. - 96 с. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А.А.Шалыто, 1998. - 626 с. - Текст : непосредственный.Рощин, А. Г. Теория автоматов : Тексты лекций. Ч. 1, 1998. - 76 с. - Текст : непосредственный.Корольков Ю.Д. Вычислимые семейства общерекурсивных функций : Учеб. пособие / Ю.Д.Корольков, 1992. - 70 с. - Текст : непосредственный.
Показать все результатыКанеп Я.Я. Представимость языков в двусторонних конечных вероятностных автоматах : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Я. Я. Канеп, 1991. - 14 с. - Текст : непосредственный.Куракин А.Л. Методы вероятностного расчета быстродействия апериодических автоматов и их приложения к повышению эффективности обработки экспериментальных данных.Решающие системы,океанологический мониторинг : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.04.01 / А. Л. Куракин, 1992. - 37 с. - Текст : непосредственный.Сытник А.А. Методы и модели функционального восстановления поведения дискретных систем с памятью : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / А. А. Сытник, 1993. - 31 с. - Текст : непосредственный.Кабаве М.А. Конечно-автоматные методы преобразования и оптимизации нечетких языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. А. Кабаве, 1993. - 16 с. - Текст : непосредственный.Кальянов Л.В. Устойчивость поведения автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Л. В. Кальянов, 1993. - 22 с. - Текст : непосредственный.Аль Ясин Д.А. Волновые процесcы взаимодействия звеньев однородных клеточных цепей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Д. А. Аль Ясин, 1993. - 15 с. - Текст : непосредственный.Липский В.Б. Разработка и реализация алгоритмов логического проектирования управляющих автоматов, устойчивых к состязаниям : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / В. Б. Липский, 1994. - 16 с. - Текст : непосредственный.Агибалов Г.П. Дискретные автоматы на полурешетках : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / Г. П. Агибалов, 1993. - 40 с. - Текст : непосредственный.Ключников А.В. О синтезе автоматов по конечным фрагментам их поведения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Ключников, 1993. - 9 с. - Текст : непосредственный.Аблаев Ф.М. Коммуникационная сложность вероятностных вычислений и некоторые ее приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / Ф. М. Аблаев, 1994. - 18 с. - Текст : непосредственный.Чирков М.К. Проблемы и методики теории обобщенных математических моделей конечно-автоматного типа : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.18 / М. К. Чирков, 1994. - 65 с. - Текст : непосредственный.Грунская В.И. О некоторых свойствах траекторий автоматов в лабиринтах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. И. Грунская, 1995. - 18 с. - Текст : непосредственный.Адамацкий А.И. Идентификация клеточных автоматов: теория и приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. И. Адамацкий, 1996. - 19 с. - Текст : непосредственный.Демидов А.В. Автоволновые процессы в однородных клеточных средах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Демидов, 1996. - 15 с. - Текст : непосредственный.Думов А.С. О росте конфигураций в однородных структурах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. С. Думов, 1997. - 13 с. - Текст : непосредственный.Бородай С.Ю. Эксперименты в эффективно заданных классах автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / С. Ю. Бородай, 1997. - 21 с. - Текст : непосредственный.Курганский А.Н. Неотличимость конечных автоматов, взаимодействующих со средой : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. Н. Курганский, 1997. - 21 с. - Текст : непосредственный.Кац М.М. Упорядоченные автоматы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. М. Кац, 1997. - 16 с. - Текст : непосредственный.Мещерякова О.В. Методы синтеза и анализа некоторых классов автоматов-перечислителей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / О. В. Мещерякова, 1998. - 17 с. - Текст : непосредственный.Макаров В.В. О порождающих системах групп автоматных перестановок : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. В. Макаров, 1998. - 8 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽