007 И889 Исследование вопросов разработки систем искусственного интеллекта. Разработка программ-прототипов для естественно-языковых систем : Отчет о НИР (промежут.) / Рук. НИР Л.В. Найханова.- N ГР 01940007404 ; ВСГТУ. - Улан-Удэ : [б. и.], 1999. - 37 с. : ил. - Б.ц. ГРНТИ 28.23 ББК 007 Рубрики: Искусственный интеллект--Программы-прототипы--Естественно-языковые системы--Отчеты о НИР --- Доп.точки доступа: ВСГТУ Экземпляры всего: 1 Mесто хранения: зал ППС (1) Свободны: зал ППС (1) |
519.7 К265 Карпов, Юрий Глебович. Теория автоматов : Учеб. для вузов по спец. "Вычислит. машины, комплексы, системы и сети" / Ю.Г. Карпов. - СПб. : Питер, 2002. - 206 с. : ил. - ISBN 5318005373 : 114.17 р. Допущено МО РФ ГРНТИ 50.01 УДК:519.7(075.8) Ключевые слова: теория автоматов -- преобразователи информации -- функциональные преобразователи -- булевы функции -- математическая логика -- логическое программирование -- конечные автоматы -- автоматное преобразование информации -- автоматные языки -- машины Тьюринга -- учебники Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
519.7 Х781 Хопкрофт, Джон. Введение в теорию автоматов, языков и вычислений : Пер. с англ. / Д.Э. Хопкрофт, Р. Мотвани, Д.Д. Ульман. - 2-е изд. - москва : Вильямс, 2002. - 527 с. : ил. - ISBN 5845902614 : 249.90 р. ГРНТИ 28.25 УДК:519.7 Ключевые слова: теория автоматов -- автоматы -- конечные автоматы -- регулярные языки -- контекстно-свободные грамматики -- контекстно-свободные языки -- машины Тьюринга Доп.точки доступа: Мотвани, Раджив --- Ульман, Джеффри --- Экземпляры всего: 3 Mесто хранения: чз (2), зал ППС (1) Свободны: чз (2), зал ППС (1) |
621.38 С603 Соловьев, Валерий Васильевич. Проектирование цифровых систем на основе программируемых логических интегральных схем : научное издание / В.В. Соловьев. - москва : Горячая линия-Телеком, 2001. - 636 с. - (Современная электроника). - ISBN 5935170434 : 380.40 р. ГРНТИ 47.41.99 УДК:621.38.049.77 Ключевые слова: проектирование цифровых систем -- интегральные схемы -- микроэлектроника -- ПЛИС -- программируемые логические интегральные схемы -- конечные автоматы -- микропрограммные автоматы -- цифровые системы Экземпляры всего: 2 Mесто хранения: чз (2) Свободны: чз (2) |
004.4 М747 Мозговой, М. В. Классика программирования: алгоритмы, языки, автоматы, компиляторы [Текст] : практ. подход / М.В. Мозговой. - СПб. : Наука и техника, 2006. - 320 с. : ил. - (Секреты мастерства). - ISBN 5-94387-224-8 : 150.90 р. ГРНТИ 50.05 УДК:004.42 Ключевые слова: программирование -- алгоритмы -- регулярные языки -- нерегулярные языки -- контекстно-свободные языки -- конечные автоматы -- автоматное программирование -- компиляторы -- L-системы -- системы Линденмайера -- машины Тьюринга Экземпляры всего: 3 Mесто хранения: кх (3) Свободны: кх (3) |
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) Ключевые слова: дискретная математика -- множества -- отношения -- кольца -- полукольца -- булевы алгебры -- алгебраические системы -- теория графов -- булевы функции -- конечные автоматы -- регулярные языки -- контекстно-свободные языки -- учебники Доп.точки доступа: Ткачев, Сергей Борисович --- Зарубин, В.С. \ред.\ --- Крищенко, А.П. \ред.\ --- Экземпляры всего: 10 Mесто хранения: чз (3), аб (7) Свободны: чз (3), аб (7) |
519.1 М215 Мальцев, Иван Анатольевич. Дискретная математика : Учеб. пособие [для вузов] / И.А. Мальцев. - Изд. 2-е, испр. - СПб. ; М. ; Краснодар : Лань, 2011. - 304 с. : ил. - ISBN 978-5-8114-1010-1 : 489.94 р. ГРНТИ 27 УДК:519.1(075.8)519.7(075.8) Ключевые слова: дискретная математика -- множества -- комбинаторика -- графы -- математическая логика -- конечные автоматы -- теория алгоритмов -- элементы теории чисел -- алгебраические системы -- учебные пособия Экземпляры всего: 8 Mесто хранения: чз (3), аб (5) Свободны: чз (3), аб (5) |
6П2.154 Б863 Бохманн, Дитер. Двоичные динамические системы : производственно-практическое издание / Д. Бохманн, Х. Постхов ; Пер. с нем. М. Г. Гаазе-Рапопорта ; ред. О. П. Кузнецов ; Под ред. О. П. Кузнецова. - М. : Энергоатомиздат, 1986. - 401 с. : ил. - 3.10 р. ГРНТИ 50.43.19 УДК:681.51 Ключевые слова: двоичные динамические системы -- двоичные автоматы -- дифференциальное исчисление -- булевые уравнения -- переключательные схемы -- конечные автоматы Доп.точки доступа: Постхов, Христиан --- Гаазе-Рапопорт, М.Г. \пер.\ --- Кузнецов, О.П. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
6П2.154 Б744 Богомолов, Анатолий Михайлович. Аналитические методы в задачах контроля и анализа дискретных устройств : производственно-практическое издание / А. М. Богомолов, Д. В. Сперанский ; ред. В. Г. Тоценко. - Саратов : Изд-во Саратовского ун-та, 1986. - 240 с. - 2.30 р. ГРНТИ 50.47.31 УДК:681.511 Ключевые слова: контроль дискретных устройств -- анализ дискретных устройств -- конечные автоматы -- замкнутые преобразования -- булев дифференциальных исчислений Доп.точки доступа: Сперанский, Дмитрий Васильевич --- Тоценко, Виталий Георгиевич \ред.\ --- Экземпляры всего: 3 Mесто хранения: кх (3) Свободны: кх (3) |
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) Ключевые слова: дискретная математика -- математическая логика -- логическое следование -- теория множеств -- теория алгоритмов -- теория графов -- комбинаторика -- оптимизация на графах -- конечные автоматы -- учебные пособия Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
51 С722 Спирина, Марина Савельевна. Дискретная математика : учебник для среднего профессионального образования по специальностям "Информационные системы и программирование", "Сетевое и системное администрирование" / М. С. Спирина, П. А. Спирин. - 2-е изд., стер. - Москва : Издательский центр "Академия", 2018. - 367, [1] с. : рис., табл. ; 21 см. - (Профессиональное образование). - 1000 экз.. - ISBN 978-5-4468-6160-6 (в пер.) : 1220 р. ГРНТИ 27.03 УДК:51(075.32) Ключевые слова: дискретная математика -- множества -- графы -- понятия -- математическая логика -- формальные системы -- умозаключения -- логика педикатов -- кодирование -- конечные автоматы -- учебники Доп.точки доступа: Спирин, Павел Алексеевич --- Экземпляры всего: 25 Mесто хранения: аб (25) Свободны: аб (25) |
Шмырин, А. М. Лекции по дискретной математике и математической логике [Электронный ресурс] : учебное пособие / А. М. Шмырин. - Липецк : Липецкий государственный технический университет, 2014. - 163 с. - Б. ц. Ключевые слова: множества -- графы -- отношения -- алгоритмы на графах -- транспортные сети -- математическая логика -- конечные автоматы -- учебные пособия Перейти к внешнему ресурсу Полный текст в ЭБС "Руконт" Свободных экз. нет |