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

Базы данных

Вид поиска


Выберите поиск:
в найденном
Что искать:
 Найдено в других БД:Статьи (2)Электронные издания ВСГУТУ (1)Статьи преподавателей ВСГУТУ (2)Материалы конференций ВСГУТУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Конечные автоматы<.>)
Общее количество найденных документов : 12
Показаны документы с 1 по 10
 1-10    11-12 
1.
   007
   И889


   
    Исследование вопросов разработки систем искусственного интеллекта. Разработка программ-прототипов для естественно-языковых систем : Отчет о НИР (промежут.) / Рук. НИР Л.В. Найханова.- N ГР 01940007404 ; ВСГТУ. - Улан-Удэ : [б. и.], 1999. - 37 с. : ил. - Б.ц.
ГРНТИ
ББК 007
Рубрики: Искусственный интеллект--Программы-прототипы--Естественно-языковые системы--Отчеты о НИР
Кл.слова (ненормированные):
Программы-прототипы -- Системы искусственного интеллекта -- Естественно-языковые системы -- ЕЯ-системы -- Решатели -- Синтаксические анализаторы -- Конечные автоматы -- Алгоритмы логического вывода -- отчеты о НИР


Доп.точки доступа:
ВСГТУ
Экземпляры всего: 1
зал ППС (1)
Свободны: зал ППС (1)
Найти похожие

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.
   621.38
   С603


    Соловьев, Валерий Васильевич.
    Проектирование цифровых систем на основе программируемых логических интегральных схем : научное издание / В.В. Соловьев. - москва : Горячая линия-Телеком, 2001. - 636 с. - (Современная электроника). - ISBN 5935170434 : 380.40 р.
ГРНТИ
УДК
Рубрики: Электроника--Цифровые системы--Интегральные схемы
Кл.слова (ненормированные):
проектирование цифровых систем -- интегральные схемы -- микроэлектроника -- ПЛИС -- программируемые логические интегральные схемы -- конечные автоматы -- микропрограммные автоматы -- цифровые системы

Учебная литература:
ЭтФ / ЭВС / 11.05.01 / Проектирование цифровых устройств на программируемых логических интегральных схемах (ПЛИС) / 8 / Осн
Экземпляры всего: 2
чз (2)
Свободны: чз (2)
Найти похожие

5.
   004.4
   М747


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

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

6.
   519.1
   Б438


    Белоусов, Алексей Иванович.
    Дискретная математика : учебник для студентов высших технических учебных заведений / А. И. Белоусов, С. Б. Ткачев ; под ред. В. С. Зарубина, А. П. Крищенко. - Изд. 2-е, стер. - Москва : Издательство МГТУ им. Н. Э. Баумана, 2002. - 743 с. : ил ; 21 см. - (Математика в техническом университете ; вып. XIX). - Предм. указ.: с. 724-740. - 5000 экз.. - ISBN 5-7038-1270-4 (в пер.). - ISBN 5-7038-1769-2 : 110 р., 110.00 р.
Допущено МО РФ
ГРНТИ
УДК
Рубрики: Дискретная математика--Учебники
Кл.слова (ненормированные):
дискретная математика -- множества -- отношения -- кольца -- полукольца -- булевы алгебры -- алгебраические системы -- теория графов -- булевы функции -- конечные автоматы -- регулярные языки -- контекстно-свободные языки -- учебники


Доп.точки доступа:
Ткачев, Сергей Борисович; Зарубин, В.С. \ред.\; Крищенко, А.П. \ред.\
Учебная литература:
ЭтФ / ЭВС / 11.03.01 / Дискретная математика в радиотехнике / 2 / Доп
Экземпляры всего: 10
чз (3), аб (7)
Свободны: чз (3), аб (7)
Найти похожие

7.
   519.1
   М215


    Мальцев, Иван Анатольевич.
    Дискретная математика : Учеб. пособие [для вузов] / И.А. Мальцев. - Изд. 2-е, испр. - СПб. ; М. ; Краснодар : Лань, 2011. - 304 с. : ил. - ISBN 978-5-8114-1010-1 : 489.94 р.
ГРНТИ
УДК
Рубрики: Дискретная математика--Учебные пособия
Кл.слова (ненормированные):
дискретная математика -- множества -- комбинаторика -- графы -- математическая логика -- конечные автоматы -- теория алгоритмов -- элементы теории чисел -- алгебраические системы -- учебные пособия

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

8.
   6П2.154
   Б863


    Бохманн, Дитер.
    Двоичные динамические системы : производственно-практическое издание / Д. Бохманн, Х. Постхов ; Пер. с нем. М. Г. Гаазе-Рапопорта ; ред. О. П. Кузнецов ; Под ред. О. П. Кузнецова. - М. : Энергоатомиздат, 1986. - 401 с. : ил. - 3.10 р.
ГРНТИ
УДК
Рубрики: Автоматизация--Динамические системы
Кл.слова (ненормированные):
двоичные динамические системы -- двоичные автоматы -- дифференциальное исчисление -- булевые уравнения -- переключательные схемы -- конечные автоматы


Доп.точки доступа:
Постхов, Христиан; Гаазе-Рапопорт, М.Г. \пер.\; Кузнецов, О.П. \ред.\
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

9.
   6П2.154
   Б744


    Богомолов, Анатолий Михайлович.
    Аналитические методы в задачах контроля и анализа дискретных устройств : производственно-практическое издание / А. М. Богомолов, Д. В. Сперанский ; ред. В. Г. Тоценко. - Саратов : Изд-во Саратовского ун-та, 1986. - 240 с. - 2.30 р.
ГРНТИ
УДК
Рубрики: Автоматизация--Дискретные устройства
Кл.слова (ненормированные):
контроль дискретных устройств -- анализ дискретных устройств -- конечные автоматы -- замкнутые преобразования -- булев дифференциальных исчислений


Доп.точки доступа:
Сперанский, Дмитрий Васильевич; Тоценко, Виталий Георгиевич \ред.\
Экземпляры всего: 3
кх (3)
Свободны: кх (3)
Найти похожие

10.
   519.1
   К903


    Куликов, Валерий Васильевич.
    Дискретная математика : учебное пособие для студентов высших учебных заведений, обучающихся по специальностям 071700 "Физика и техника оптической связи", 200900 "Сети связи и системы коммутации", 201000 "Многоканальные телекоммуникационные системы", 201100 "Радиосвязь, радиовещание и телевидение", 201200 "Средства связи с подвижными объектами", 201300 "Защищенные системы связи" / В. В. Куликов. - Москва : РИОР, 2013. - 173, [3] с. : табл., рис. ; 21 см. - (Высшее образование - Бакалавриат). - Библиогр.: с. 171. - 3000 экз.. - ISBN 978-5-369-00205-6 (в пер.) : 215.00 р.
Рек. УМО
ГРНТИ
УДК
Рубрики: Дискретная математика--Учебные пособия
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- логическое следование -- теория множеств -- теория алгоритмов -- теория графов -- комбинаторика -- оптимизация на графах -- конечные автоматы -- учебные пособия

Учебная литература:
ЭтФ / ТК / 09.02.03 11кл / Теория алгоритмов / 1 / Осн
ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 1 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 1 / Осн
ЭтФ / ЭВС / 11.03.01 / Дискретная математика в радиотехнике / 2 / Осн
ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 2 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 2 / Осн
ЭтФ / ТК / 09.02.02 11кл / Дискретная математика / 2 / Осн
ЭтФ / СИ / 02.03.03 / Теория графов / 3 / Осн
ЭтФ / ЭВС / 11.05.01 / Математическая логика и теория графов / 3 / Осн
ЭтФ / ТК / 09.02.03 9кл / Теория алгоритмов / 3 / Осн
ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 3 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 3 / Осн
ЭтФ / ЭВС / 11.05.01 / Дискретная математика в радиотехнике / 4 / Осн
ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 4 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 4 / Осн
Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие

 1-10    11-12 
 
ссылка на мобильную версию электронного каталога