Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 3
Отмеченные записи: 0
1.
Подробнее
Карпов, Юрий Глебович.
Теория автоматов : учебник для вузов / Ю. Г. Карпов. - Санкт-Петербург : Питер, 2002. - 206 с. : ил., табл. - Библиогр. : с. 204-206. - ISBN 5318005373
Рубрики: автоматов теория--учебные издания для вузов
Кл.слова (ненормированные):
математическая кибернетика -- булевы функции -- Поста теорема -- булевы алгебры -- математическая логика -- логическое программирование -- Мура теорема -- автоматные языки -- Тьюринга машины -- Клини теорема -- триггеры
Экземпляры всего: 3
Хранение ОО и ИЕФ (Пушкинская 10) (1), ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение ОО и ИЕФ (Пушкинская 10) (1), ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
Карпов, Юрий Глебович.
Теория автоматов : учебник для вузов / Ю. Г. Карпов. - Санкт-Петербург : Питер, 2002. - 206 с. : ил., табл. - Библиогр. : с. 204-206. - ISBN 5318005373
| УДК |
Рубрики: автоматов теория--учебные издания для вузов
Кл.слова (ненормированные):
математическая кибернетика -- булевы функции -- Поста теорема -- булевы алгебры -- математическая логика -- логическое программирование -- Мура теорема -- автоматные языки -- Тьюринга машины -- Клини теорема -- триггеры
Экземпляры всего: 3
Хранение ОО и ИЕФ (Пушкинская 10) (1), ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение ОО и ИЕФ (Пушкинская 10) (1), ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
2.
Подробнее
Белоусов, Алексей Иванович.
Дискретная математика : учебник для втузов / А. И. Белоусов, С. Б. Ткачев ; под ред. В. С. Зарубина, А. П. Крищенко. - Москва : Изд-во Московского технического университета, 2001. - 743 c. : ил., табл. - (Математика в техническом университете ; вып. 19). - Библиогр. : с. 720-723. - ISBN 5703817692. - ISBN 5703812704
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
теория множеств -- множества (математика) -- алгебраические структуры -- полукольца -- булевы алгебры -- теория графов -- булевы функции -- конечные автоматы -- Клини теорема -- машины Тьюринга -- теория формальных языков
Доп.точки доступа:
Ткачев, Сергей Борисович
Зарубин, В. С. \ред.\
Крищенко, А. П. \ред.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Белоусов, Алексей Иванович.
Дискретная математика : учебник для втузов / А. И. Белоусов, С. Б. Ткачев ; под ред. В. С. Зарубина, А. П. Крищенко. - Москва : Изд-во Московского технического университета, 2001. - 743 c. : ил., табл. - (Математика в техническом университете ; вып. 19). - Библиогр. : с. 720-723. - ISBN 5703817692. - ISBN 5703812704
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
теория множеств -- множества (математика) -- алгебраические структуры -- полукольца -- булевы алгебры -- теория графов -- булевы функции -- конечные автоматы -- Клини теорема -- машины Тьюринга -- теория формальных языков
Доп.точки доступа:
Ткачев, Сергей Борисович
Зарубин, В. С. \ред.\
Крищенко, А. П. \ред.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Саломаа, Арто.
Жемчужины теории формальных языков / А. Саломаа ; пер. с англ. А. А. Мучника. - Москва : Мир, 1986. - 159 c. : ил. - Библиогр. : с. 140-144
Парал. тит. л. на англ. яз.
Рубрики: формальные языки--теория
Кл.слова (ненормированные):
Клини теорема -- Туэ проблема -- морфизмы (математика) -- морфический генератор -- теория кодов (математика) -- локальные языки -- контекстно-свободные языки -- автоматы конечные -- регулярные языки (математика) -- порождающие грамматики -- теория формальных языков -- операции над языками -- регулярные выражения -- DOL-системы -- разрешимость (теория формальных языков) -- задача Туэ о бесповторных словах -- конечные автоматы -- математическая лингвистика -- грамматика формальная -- языки формальные
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Саломаа, Арто.
Жемчужины теории формальных языков / А. Саломаа ; пер. с англ. А. А. Мучника. - Москва : Мир, 1986. - 159 c. : ил. - Библиогр. : с. 140-144
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: формальные языки--теория
Кл.слова (ненормированные):
Клини теорема -- Туэ проблема -- морфизмы (математика) -- морфический генератор -- теория кодов (математика) -- локальные языки -- контекстно-свободные языки -- автоматы конечные -- регулярные языки (математика) -- порождающие грамматики -- теория формальных языков -- операции над языками -- регулярные выражения -- DOL-системы -- разрешимость (теория формальных языков) -- задача Туэ о бесповторных словах -- конечные автоматы -- математическая лингвистика -- грамматика формальная -- языки формальные
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Страница 1, Результатов: 3