Авторизация
Фамилия
Пароль
 

Базы данных

Вид поиска


Выберите поиск:
Что искать:
 Найдено в других БД:Электронные издания ВСГУТУ (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=машины Тьюринга<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
   51
   Б 614


    Бильгаева, Надежда Цанжиевна.
    Теория алгоритмов, формальных языков, грамматик и автоматов : Учеб. пособие для вузов по спец. 220400 "Программное обеспечение выч. техники и автоматизир. систем" / Н. Ц. Бильгаева ; Вост.-Сиб. гос. технол. ун-т. - Улан-Удэ : Издательство ВСГТУ, 2000. - 99 с. : ил. - 15.00 р.
ГРНТИ
УДК
Рубрики: Кибернетика--Учебные пособия
   Математика--Теория алгоритмов--Вычислимые функции

Кл.слова (ненормированные):
Теория алгоритмов -- Теория автоматов -- Формальные языки -- Рекурсивные функции -- Машины Тьюринга -- Вычислимые функции -- Формальные грамматики -- Алгоритмы -- Автоматы -- Автоматы Мили -- Автоматы Мура -- Учебные пособия

Перейти к внешнему ресурсу: полный текст,
Перейти к внешнему ресурсу: полный текст в ЭБС bookonlime

Доп.точки доступа:
Восточно-Сибирский государственный технологический университет (Улан-Удэ)
Учебная литература:
ЭтФ / ТК / 09.02.03 11кл / Теория алгоритмов / 1 / Доп
ЭтФ / ЭВС / 09.04.01 / Аппликативные вычислительные системы / 3 / Осн
ЭтФ / ТК / 09.02.03 9кл / Теория алгоритмов / 3 / Доп
СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Осн
ЭтФ / ЭВС / 09.03.01 / Цифровые автоматы / 5 / Осн
ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Доп
ЭтФ / СИ / 02.03.03 / Рекурсивно-логическое программирование / 7 / Доп
Экземпляры всего: 40
чз (2), аб (38)
Свободны: чз (2), аб (38)
Найти похожие

2.
   519.7
   К265


    Карпов, Юрий Глебович.
    Теория автоматов : Учеб. для вузов по спец. "Вычислит. машины, комплексы, системы и сети" / Ю.Г. Карпов. - СПб. : Питер, 2002. - 206 с. : ил. - ISBN 5318005373 : 114.17 р.
Допущено МО РФ
ГРНТИ
УДК
Рубрики: Математическая кибернетика--Теория автоматов--Учебники
Кл.слова (ненормированные):
теория автоматов -- преобразователи информации -- функциональные преобразователи -- булевы функции -- математическая логика -- логическое программирование -- конечные автоматы -- автоматное преобразование информации -- автоматные языки -- машины Тьюринга -- учебники

Учебная литература:
ЭтФ / СИ / 09.03.04 / Теория формальных грамматик и автоматов / 7 / Доп
Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие

3.
   519.7
   Х781


    Хопкрофт, Джон.
    Введение в теорию автоматов, языков и вычислений : Пер. с англ. / Д.Э. Хопкрофт, Р. Мотвани, Д.Д. Ульман. - 2-е изд. - москва : Вильямс, 2002. - 527 с. : ил. - ISBN 5845902614 : 249.90 р.
ГРНТИ
УДК
Рубрики: Теория автоматов
Кл.слова (ненормированные):
теория автоматов -- автоматы -- конечные автоматы -- регулярные языки -- контекстно-свободные грамматики -- контекстно-свободные языки -- машины Тьюринга


Доп.точки доступа:
Мотвани, Раджив; Ульман, Джеффри
Экземпляры всего: 3
чз (2), зал ППС (1)
Свободны: чз (2), зал ППС (1)
Найти похожие

4.
   51
   Ф19


    Фалевич, Борис Яковлевич.
    Теория алгоритмов : Учеб. пособие для вузов по напр. "Информатика и выч. техника" / Б.Я. Фалевич. - М. : Машиностроение, 2004. - 160 с. : ил. - (Для вузов). - ISBN 5217032499 : 145.19 р.
Допущено МО РФ
ГРНТИ
УДК
Рубрики: Математика--Алгоритмы--Учебные пособия
Кл.слова (ненормированные):
теория алгоритмов -- алгоритмы -- массовые проблемы -- машины Тьюринга -- Тьюринг -- алгорифмы Маркова -- рекурсивные функции -- теория множеств -- комбинаторные массовые проблемы -- учебные пособия

Учебная литература:
ЭтФ / ТК / 09.02.03 11кл / Теория алгоритмов / 1 / Доп
ЭтФ / ТК / 09.02.03 9кл / Теория алгоритмов / 3 / Доп
СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Осн
ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Доп
Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие

5.
   004.4
   М747


    Мозговой, М. В.
    Классика программирования: алгоритмы, языки, автоматы, компиляторы [] : практ. подход / М.В. Мозговой. - СПб. : Наука и техника, 2006. - 320 с. : ил. - (Секреты мастерства). - ISBN 5-94387-224-8 : 150.90 р.
ГРНТИ
УДК
Рубрики: Программирование
Кл.слова (ненормированные):
программирование -- алгоритмы -- регулярные языки -- нерегулярные языки -- контекстно-свободные языки -- конечные автоматы -- автоматное программирование -- компиляторы -- L-системы -- системы Линденмайера -- машины Тьюринга

Учебная литература:
ЭтФ / СИ / 09.04.04 / Конструирование компиляторов / 2 / Осн
Экземпляры всего: 3
кх (3)
Свободны: кх (3)
Найти похожие

6.
   6П2.154
   М622


    Минский, М.
    Вычисления и автоматы : научное издание / М. Минский ; Пер. с англ. Б. Л. Овсиевича, Л. Я. Роземблюма. - М. : Мир, 1971. - 364 с. : ил. - 1.64 р.
ГРНТИ
УДК
Рубрики: Автоматизация--Вычисления--Автоматы
Кл.слова (ненормированные):
автоматы -- физические машины -- конечные машины -- бесконечные машины -- вычисления -- машины Тьюринга -- системы Поста


Доп.точки доступа:
Овсиевич, Б.Л. \пер.\; Роземблюм, Л.Я. \пер.\
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

7.
   51
   Б614


    Бильгаева, Надежда Цанжиевна.
    Введение в теорию формальных грамматик, языков и автоматов : [Учебное пособие для бакалавров, обучающихся по направлениям "Программная инженерия", "Математическое обеспечение и администрирование информационных систем" и "Информатика и вычислительная техника"] / Н. Ц. Бильгаева ; Вост.-Сиб. гос. ун-т технологий и упр. - Улан-Удэ : Издательство ВСГУТУ, 2014. - 100 с. : рис., табл. ; 20 см. - Библиогр.: с. 100 (10 назв.). - 200 экз.. - ISBN 978-5-89230-520-4 : 52.00 р.
ГРНТИ
УДК
Рубрики: Языкознание--Теория формальных грамматик--Учебные пособия
   Математическая кибернетика--Теория автоматов--Учебные пособия

Кл.слова (ненормированные):
формальные грамматики -- грамматические разборы -- эквивалентные преобразования -- введение в теорию автоматов -- автоматы с магазинной памятью -- машины Тьюринга -- учебные пособия

Перейти к внешнему ресурсу: Полный текст,
Перейти к внешнему ресурсу: полный текст в ЭБС bookonlime

Доп.точки доступа:
Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ)
Учебная литература:
ЭтФ / СИ / 02.03.03 / Теория формальных грамматик / 5 / Осн
ЭтФ / СИ / 09.04.04 / Разработка трансляторов и интерпретаторов / 3 / Осн
ЭтФ / СИ / 09.03.04 / Теория формальных грамматик и автоматов / 7 / Осн
Экземпляры всего: 98
аб (95), чз (3)
Свободны: аб (95), чз (3)
Найти похожие

 
ссылка на мобильную версию электронного каталога