Поисковый запрос: <.>U=519.71$<.> |
Общее количество найденных документов : 604
Показаны документы с 1 по 20 |
|
1. 
| Лисовик Л.П.
Теория трансдьюсеров: Т.1: гл. 13-17. Кн. 3 -Б.м. - Б.г. - На рус.яз. - Российская Федерация
УДК: 510.57; 519.713.1; 519.766.23
Держатели документа:
МБА/ЭДД
|
2.
| Forew. Karp Richard M.
Complexity and real computation
Blum Lenore, Cucker Felipe, Shub Michael, Smale Steve;Forew. Karp Richard M. - New York: SpringerCop. 1998. - Б.г. - XVI, 453 c., 1 л. ил.: ил.,портр. - На англ.яз. - Соединенные Штаты Америки. - Указ. : с. 447-453. - ISBN 0-387-98281-7
ГРНТИ: 27.03.17; 27.47.15
УДК: 519.713.8; 510.52
Перевод заглавия: Сложность и вычисления в реальное время.
Держатели документа:
|
3.
| Лисовик Л.П.
Теория трансдьюсеров: Т.1: гл.1-4. Кн. 1 -Б.м. - Б.г. - На рус.яз. - Российская Федерация
УДК: 510.57; 519.713.1; 519.766.23
Держатели документа:
МБА/ЭДД
|
4.
| Лисовик Л.П.
Теория трансдьюсеров: Т.1: гл. 5-12. Кн. 2 -Б.м. - Б.г. - На рус.яз. - Российская Федерация
УДК: 510.57; 519.713.1; 519.766.23
Держатели документа:
МБА/ЭДД
|
5.
|
Труды по дискретной математике: Т.5 -Б.м. - Б.г. - На рус.яз. - Российская Федерация
УДК: 519.1; 519.713; 510.51; 519.217
Держатели документа:
|
6.
|
Труды по дискретной математике: Т.4 -Б.м. - Б.г. - На рус.яз. - Российская Федерация
УДК: 519.1; 510.51; 519.713; 519.217
Держатели документа:
|
7.
|
Mathematical control theory
Baillieul J., Willems J.C. ed.;With a forew. by Mitter Sanjoy K. - New York: SpringerCop. 1999. - Б.г. - XXXII, 360 c.: портр. - На англ.яз. - Соединенные Штаты Америки. - Список работ R. W. Brockett'a : c. XXII-XXXII. Указ. : с. 355-360. - ISBN 0-387-98317-1
ГРНТИ: 27.47.15
УДК: 519.71
Перевод заглавия: Математическая теория управления.
Держатели документа:
|
8.
| Adamatzky Andrew
Computing in nonlinear media and automata collectives
Adamatzky Andrew. - Bristol; Philadelphia (PA) : Inst. of physicsCop. 2001. - Б.г. - XIII, 395 c.: ил., табл. - Указ. : с. 389-395. - ISBN 0-7503-0751-X
ГРНТИ: 28.25
УДК: 519.713:510.51
Перевод заглавия: Вычисления в нелинейных средах и коллективы автоматов.
Держатели документа:
|
9.
| Altman E.
Discrete-event control of stochastic networks: Multimodularity a. regularity
Altman Eitan, Gaujal Bruno, Hordijk Arie. - Berlin: SpringerCop. 2003. - Б.г. - XIV, 313 c.: ил. -(Lecture notes in mathematics;ISSN 0075-8434; [Vol.] 1829). - На нем.яз. - Германия. - ISBN 3-540-20358-3
ГРНТИ: 27.47.15; 27.37.17
УДК: 519.711.7; 517.977.5
Перевод заглавия: Управление, дискретное относительно события, стохастических сетей: Мультимодулярность и регулярность.
Держатели документа:
|
10.
|
European congress on simulation, Praque, Czechoslovakia, from Sept. 21 to 25, 1987: Proceedings: VOL.B
Czechosl. Acad. of Sci. with cosponsorship of IMACS, Czechosl. Cyb. Soc. - Prague: Academia. - Б.г. - 323 p.: schem. - На англ.яз. - Чешская Республика
ГРНТИ: 27
УДК: 519.711.3(043.2)
Держатели документа:
|
11.
| Pandolfi L.
Dynamic stabilization of systems with input delays. - Torino. - Б.г. - 11 c. -(Rapp.interno/Dip.di matematica,Politecnico di Torino; N 18). - На англ.яз. - Италия. - Библиогр.:с.11
ГРНТИ: 27.47.15
УДК: 519.718
Перевод заглавия: Динамическая устойчивость систем с запаздыванием на входе
Ключевые слова:
устойчивость систем
Держатели документа:
|
12.
|
European congress on simulation, Praque, Czechoslovakia, from Sept. 21 to 25, 1987: Proceedings: VOL.A
Czechosl. Acad. of Sci. with cosponsorship of IMACS, Czechosl. Cyb. Soc. - Prague: Academia. - Б.г. - 340 p.: schem. - На англ.яз. - Чешская Республика
ГРНТИ: 27
УДК: 519.711.3(043.2)
Держатели документа:
|
13.
| Mikolajczak B.
Przekstalcenia i zlozonosc obliczeniowa problemow w teorii automatow. - Warszawa: PWN. - PoznaWn. - Б.г. - 90 с: рис., табл. -(Teoria i technika systemow
PAN;ISSN 01375989;Т.6). - На польск.яз. - Польша. - Библиогр.: с. 81-83.-Рез. англ. - ISBN 83-01-07098-6
ГРНТИ: 28.25
УДК: 519.713
Перевод заглавия: Преобразование и сложность задач в теории автоматов
Ключевые слова:
сложность вычислений; задачи; автоматы
Держатели документа:
|
14.
|
Structural theory of automata, semigroups, and universal algebra: Proc. of the NATO Advanced study inst. on structural theory of automata, semigroups a. universal algebra, Montreal, Que., Canada, 7-18 July 2003
Ed. by Kudryavtsev Valery B. et al. - Dordrecht: Springer. - Cop. 2005. - XXII, 434 c.: ил., портр. -(NATO science ser. II, Mathematics, physics a. chemistry; Vol. 207). - На нидерл.яз. - Нидерланды. - I. Kudrjavcev, Valerij B., ред. - ISBN 1-4020-3816-X
ГРНТИ: 27.47.17; 27.17.15; 27.17.23
УДК: 519.713; 512.53; 512.57
Перевод заглавия: Структурная теория автоматов, полугруппы и универсальная алгебра: Тр. Семинара Ин-та перспектив. исслед. НАТО, Монреаль, Квебек, Канада, июль 2003.
Держатели документа:
МБА/ЭДД
|
15.
| Босс В.
Лекции по теории управления
В. Босс. - Москва: URSS. - cop. 2012- . - На рус.яз. - Российская Федерация. - ISBN 978-5-397-03162-2
ГРНТИ: 50.03; 27.37
УДК: 519.71
Предметные рубрики: теория автоматического управления--математические методы
; математическая теория управления
Ключевые слова:
Автоматические системы регулирования - Математические исследования
Держатели документа:
|
16.
|
Robust control via variable structure and Lyapunov techniques
Garofalo Franco, Glielmo Luigi (eds.). - London: Springer. - Cop. 1996. - XXI, 307 c. -(Lecture notes in control a. inform. sciences; Vol. 217). - На англ.яз. - Великобритания. - библиогр. в конце глав. - ISBN 3-540-76067-9
ГРНТИ: 27.47.15
УДК: 681.51; 519.711; 517.935
Перевод заглавия: Робастное управление посредством метода переменной структуры и метода Ляпунова.
Держатели документа:
|
17.
| Марченков С.С.
Избранные главы дискретной математики: булева функция, конечный автомат, машина Тьюринга, рекурсивная функция : [учебное пособие]
С. С. Марченков. - Москва: ФИЗМАТЛИТR. - 2023. - 186с.: ил. - На рус.яз. - Российская Федерация. - ISBN 978-5-9221-1969-6. - Тираж 300экз.
ГРНТИ: 27.17.21; 28.25.15; 27.47.23; 27.03.45
УДК: 512.563; 519.713; 510.582; 510.57
Предметные рубрики: Алгебра логики
; Конечные автоматы
; Тьюринга машины
; Рекурсия
Ключевые слова:
множества
отношения
функции многозначной логики
конечный автомат без выхода
конечные автоматы-преобразователи
вычислимые функции
Аннотация: Учебное пособие написано на основе курсов "Дополнительные главы дискретной математики" и "Функциональные системы", которые автор на протяжении ряда лет читал на факультете вычислительной математики и кибернетики МГУ. Пособие состоит из 6 глав, дополненных задачами и упражнениями. Глава 1 "Множества, отношения, функции" служит теоретико-множественной и алгебраической основой при изучении последующих глав книги. Глава 2 "Замкнутые классы булевых функций" содержит общие факты по булевым функциям, а также современное изложение классических результатов Э. Поста по перечислению всех замкнутых классов булевых функций. Глава 3 "Функции многозначной логики" представляет собой введение в теорию функций многозначной логики. Главы 4 и 5 посвящены конечным автоматам: в главе 4 рассматриваются автоматы-распознаватели, а в главе 5 - автоматы-преобразователи. В главе 6 "Машины Тьюринга и вычислимые функции" определяются машины Тьюринга и функции, вычислимые на них.
Держатели документа:
|
18.
|
Конструктивное моделирование цифровых автоматов
В. А. Райхлин, А. В. Морозов, Л. Р. Валиуллина, К. А. Фадеев ; под редакцией В. А. Райхлина;Академия наук Республики Татарстан, Республиканский научный семинар Методы моделирования. - Казань: Фэн АН РТ. - 2023. - 132с.: ил. - На рус.яз. - Российская Федерация. - На тит. листе.: РНС М М-22 года, 2001-2023. - ISBN 978-5-9690-1085-7. - Тираж 100экз.
ГРНТИ: 28.25
УДК: 519.713
Предметные рубрики: Дискретные автоматы--Моделирование
Ключевые слова:
объектная модель синтеза
внутреннее моделирование
фреймово-продукционная модель синтеза
построение интерактивной системы
программное моделирование
Аннотация: Рассматриваются вопросы синтеза цифровых автоматов по неформальному заданию, которые все еще недостаточно изучены. За основу взята методология конструктивного моделирования систем. Она утверждает правомерность введения выверенных постулатов как декларируемых закономерностей. Это позволило развить эффективный эвристический подход к синтезу неформально заданного автомата. Рост сложности задач вызывает необходимость автоматизации процедуры синтеза, что достигнуто построением фреймово-продукционной модели, погруженной в среду реляционной СУБД. Рассматриваются вопросы построения последовательностных схем по найденной таблице переходов автомата. Перспектива моделирования цифровых автоматов связывается с переходом к программным моделям, не включающим этап абстрактного синтеза. Намечается автоматный подход к защите беспилотных летательных аппаратов в опасных ситуациях. Для научных работников и аспирантов.
Держатели документа:
|
19.
| Смирнова В.А.
Грамматики и конечные автоматы: учебно-методическое пособие
В. А. Смирнова, О. В. Басков;Минобрнауки России, Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина). - Санкт-Петербург: Изд-во СПбГЭТУ "ЛЭТИ". - 2023. - 29с.: ил. -(Учебно-методическое пособие). - На рус.яз. - Российская Федерация. - ISBN 978-5-7629-3215-8. - Тираж 192экз.
ГРНТИ: 28.25; 28.25.15
УДК: 510.567; 519.713
Предметные рубрики: Формальные грамматики
; Конечные автоматы
Ключевые слова:
порождающие грамматики
регулярные выражения
классификация
детерминированные автоматы
недетерминированные автоматы
удаление эпсилон-переходов
Аннотация: Содержит подробный разбор алгоритмов и задач по формальным грамматикам и конечным автоматам. Предназначено для поддержки дисциплины "Математическая логика и теория алгоритмов" на ФКТИ СПбГЭТУ ЛЭТИ. Будет интересно студентам, обучающимся по программам подготовки IT-специалистов.
Держатели документа:
|
20.
|
Теория конечных автоматов: методические рекомендации по выполнению лабораторных работ : для обучающихся по направлению подготовки 09.03.01 Информатика и вычислительная техника
Министерство науки и высшего образования Российской Федерации, Кабардино-Балкарский государственный университет им. Х. М. Бербекова;составители: Акбашева Г. А. [и др.]. - Нальчик: КБГУ. - 2023. - 51с.: ил. - На рус.яз. - Российская Федерация. - Тираж 50экз.
ГРНТИ: 28.25.15
УДК: 519.713(076.5)
Предметные рубрики: Конечные автоматы--Учебники и пособия
Ключевые слова:
детерминированные конечные автоматы
недетерминированные конечные автоматы
регулярные выражения и языки
автоматы с магазинной памятью
машины Тьюринга
Аннотация: В издании приведено описание 9 лабораторных работ, соответствующих теоретическим разделам дисциплины "Теория конечных автоматов". Каждая работа содержит примеры выполнения заданий, собственно задания для выполнения и контрольные вопросы для самостоятельной подготовки. Предназначено для обучающихся по направлению подготовки "Информатика и вычислительная техника"
Держатели документа:
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных