Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Книги- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
в найденном
Что искать:
Найдено в других БД:
Статьи (2)
Электронные издания ВСГУТУ (1)
Статьи преподавателей ВСГУТУ (2)
Материалы конференций ВСГУТУ (1)
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=Конечные автоматы<.>)
Общее количество найденных документов
:
12
Показаны документы
с 1 по 10
1-10
11-12
>
1.
007
И889
Исследование вопросов разработки
систем искусственного интеллекта. Разработка программ-прототипов для естественно-языковых систем : Отчет о НИР (промежут.) / Рук. НИР Л.В. Найханова.- N ГР 01940007404 ; ВСГТУ. - Улан-Удэ : [б. и.], 1999. - 37 с. : ил. - Б.ц.
ГРНТИ
28.23
ББК
007
Рубрики:
Искусственный интеллект--Программы-прототипы--Естественно-языковые системы--Отчеты о НИР
Кл.слова (ненормированные):
Программы-прототипы
--
Системы искусственного интеллекта
--
Естественно-языковые системы
--
ЕЯ-системы
--
Решатели
--
Синтаксические анализаторы
--
Конечные
автоматы
--
Алгоритмы логического вывода
--
отчеты о НИР
Доп.точки доступа:
ВСГТУ
Экземпляры всего:
1
зал ППС (1)
Свободны:
зал ППС (1)
Найти похожие
>
2.
519.7
К265
Карпов, Юрий Глебович
.
Теория
автоматов
: Учеб. для вузов по спец. "Вычислит. машины, комплексы, системы и сети" / Ю.Г. Карпов. - СПб. : Питер, 2002. - 206 с. : ил. -
ISBN
5318005373 : 114.17 р.
Допущено МО РФ
ГРНТИ
50.01
УДК
519.7(075.8)
Рубрики:
Математическая кибернетика--Теория
автоматов
--Учебники
Кл.слова (ненормированные):
теория
автоматов
--
преобразователи информации
--
функциональные преобразователи
--
булевы функции
--
математическая логика
--
логическое программирование
--
конечные
автоматы
--
автоматное преобразование информации
--
автоматные языки
--
машины Тьюринга
--
учебники
Учебная литература:
ЭтФ / СИ / 09.03.04 / Теория формальных грамматик и
автоматов
/ 7 / Доп
Экземпляры всего:
1
чз (1)
Свободны:
чз (1)
Найти похожие
>
3.
519.7
Х781
Хопкрофт, Джон
.
Введение в теорию
автоматов
, языков и вычислений : Пер. с англ. / Д.Э. Хопкрофт, Р. Мотвани, Д.Д. Ульман. - 2-е изд. - москва : Вильямс, 2002. - 527 с. : ил. -
ISBN
5845902614 : 249.90 р.
ГРНТИ
28.25
УДК
519.7
Рубрики:
Теория
автоматов
Кл.слова (ненормированные):
теория
автоматов
--
автоматы
--
конечные
автоматы
--
регулярные языки
--
контекстно-свободные грамматики
--
контекстно-свободные языки
--
машины Тьюринга
Доп.точки доступа:
Мотвани, Раджив; Ульман, Джеффри
Экземпляры всего:
3
чз (2), зал ППС (1)
Свободны:
чз (2), зал ППС (1)
Найти похожие
>
4.
621.38
С603
Соловьев, Валерий Васильевич
.
Проектирование цифровых систем на основе программируемых логических интегральных схем : научное издание / В.В. Соловьев. - москва : Горячая линия-Телеком, 2001. - 636 с. - (Современная электроника). -
ISBN
5935170434 : 380.40 р.
ГРНТИ
47.41.99
УДК
621.38.049.77
Рубрики:
Электроника--Цифровые системы--Интегральные схемы
Кл.слова (ненормированные):
проектирование цифровых систем
--
интегральные схемы
--
микроэлектроника
--
ПЛИС
--
программируемые логические интегральные схемы
--
конечные
автоматы
--
микропрограммные
автоматы
--
цифровые системы
Учебная литература:
ЭтФ / ЭВС / 11.05.01 / Проектирование цифровых устройств на программируемых логических интегральных схемах (ПЛИС) / 8 / Осн
Экземпляры всего:
2
чз (2)
Свободны:
чз (2)
Найти похожие
>
5.
004.4
М747
Мозговой, М. В.
Классика программирования: алгоритмы, языки,
автоматы
, компиляторы [] : практ. подход / М.В. Мозговой. - СПб. : Наука и техника, 2006. - 320 с. : ил. - (Секреты мастерства). -
ISBN
5-94387-224-8 : 150.90 р.
ГРНТИ
50.05
УДК
004.42
Рубрики:
Программирование
Кл.слова (ненормированные):
программирование
--
алгоритмы
--
регулярные языки
--
нерегулярные языки
--
контекстно-свободные языки
--
конечные
автоматы
--
автоматное программирование
--
компиляторы
--
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 р.
Допущено МО РФ
ГРНТИ
27
УДК
519.1(075.8)
519.7(075.8)
512.5(075.8)
Рубрики:
Дискретная математика--Учебники
Кл.слова (ненормированные):
дискретная математика
--
множества
--
отношения
--
кольца
--
полукольца
--
булевы алгебры
--
алгебраические системы
--
теория графов
--
булевы функции
--
конечные
автоматы
--
регулярные языки
--
контекстно-свободные языки
--
учебники
Доп.точки доступа:
Ткачев, Сергей Борисович; Зарубин, В.С. \ред.\; Крищенко, А.П. \ред.\
Учебная литература:
ЭтФ / ЭВС / 11.03.01 / Дискретная математика в радиотехнике / 2 / Доп
Экземпляры всего:
10
чз (3), аб (7)
Свободны:
чз (3), аб (7)
Найти похожие
>
7.
519.1
М215
Мальцев, Иван Анатольевич
.
Дискретная математика : Учеб. пособие [для вузов] / И.А. Мальцев. - Изд. 2-е, испр. - СПб. ; М. ; Краснодар : Лань, 2011. - 304 с. : ил. -
ISBN
978-5-8114-1010-1 : 489.94 р.
ГРНТИ
27
УДК
519.1(075.8)
519.7(075.8)
Рубрики:
Дискретная математика--Учебные пособия
Кл.слова (ненормированные):
дискретная математика
--
множества
--
комбинаторика
--
графы
--
математическая логика
--
конечные
автоматы
--
теория алгоритмов
--
элементы теории чисел
--
алгебраические системы
--
учебные пособия
Учебная литература:
ЭтФ / СИ / 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 р.
ГРНТИ
50.43.19
УДК
681.51
Рубрики:
Автоматизация--Динамические системы
Кл.слова (ненормированные):
двоичные динамические системы
--
двоичные
автоматы
--
дифференциальное исчисление
--
булевые уравнения
--
переключательные схемы
--
конечные
автоматы
Доп.точки доступа:
Постхов, Христиан; Гаазе-Рапопорт, М.Г. \пер.\; Кузнецов, О.П. \ред.\
Экземпляры всего:
1
кх (1)
Свободны:
кх (1)
Найти похожие
>
9.
6П2.154
Б744
Богомолов, Анатолий Михайлович
.
Аналитические методы в задачах контроля и анализа дискретных устройств : производственно-практическое издание / А. М. Богомолов, Д. В. Сперанский ; ред. В. Г. Тоценко. - Саратов : Изд-во Саратовского ун-та, 1986. - 240 с. - 2.30 р.
ГРНТИ
50.47.31
УДК
681.511
Рубрики:
Автоматизация--Дискретные устройства
Кл.слова (ненормированные):
контроль дискретных устройств
--
анализ дискретных устройств
--
конечные
автоматы
--
замкнутые преобразования
--
булев дифференциальных исчислений
Доп.точки доступа:
Сперанский, Дмитрий Васильевич; Тоценко, Виталий Георгиевич \ред.\
Экземпляры всего:
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 р.
Рек. УМО
ГРНТИ
27.41.41
УДК
519.1(075.8)
519.7(075.8)
Рубрики:
Дискретная математика--Учебные пособия
Кл.слова (ненормированные):
дискретная математика
--
математическая логика
--
логическое следование
--
теория множеств
--
теория алгоритмов
--
теория графов
--
комбинаторика
--
оптимизация на графах
--
конечные
автоматы
--
учебные пособия
Учебная литература:
ЭтФ / ТК / 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
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога