Лаврик, Виталий Никифорович. Способ формализации математических структур [Text] / Виталий Никифорович Лаврик, Вивенсио Альфредо Родригес Рабаго. - Киев : ИК, 1988. - 16 с. - Б. ц. ; Библиогр.: с. 16 (6 назв.)
Доп.точки доступа: Родригес Рабаго, Вивенсио Альфредо Свободных экз. нет |
Основы вычислительных систем [Text] : методическое пособие по дисциплинам "Основы искусственного интеллекта", "Автоматизация проектирования вычислительных машин и систем", "Архитектура вычислительных машин и систем" / В. А. Головко [и др.] ; Министерство образования Республики Беларусь, Учреждение образования "Брестский государственный технический университет", Кафедра интеллектуальных информационных технологий, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра электронно-вычислительных машин, Институт повышения квалификации и переподготовки руководящих работников и специалистов по информационным технологиям и радиоэлектронике, Кафедра информационных систем и технологий . - Брест : БрГТУ, 2013. - 147 с. : ил., табл. - ^aБиблиография: с. 143—144 (41 назв.). - ISBN 978-985-493-241-5 : Б. ц.
АЛГОРИТМОВ ТЕОРИЯ ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ Доп.точки доступа: Головко, Владимир Адамович (доктор технических наук ; род. 1960); Дудкин, Александр Арсентьевич (доктор технических наук); Матюшков, Леонид Петрович (кандидат технических наук); Садыхов, Рауф Хосровович (доктор технических наук ; род. 1944); Брестский государственный технический университет. Кафедра интеллектуальных информационных технологий; Белорусский государственный университет информатики и радиоэлектроники (Минск). Кафедра электронных вычислительных машин; Белорусский государственный университет информатики и радиоэлектроники (Минск). Институт повышения квалификации и переподготовки руководящих работников и специалистов по информационным технологиям и радиоэлектронике Свободных экз. нет |
Aladjev, Victor Zakhar. Classical Homogeneous Structures [Text] : mathematical Theory and Applications / V. Z. Aladjev, D. S. Grinn, V. A. Vaganov ; International Academy of Noosphere. - Kherson : Oldi-Plus, 2014. - 520 p. : ill. - ^aБиблиография: с. 476—515 (652 назв.). - ISBN 978-966-289-035-8 (в переплете) : Б. ц. ; Аннотация на русском языке Перевод заглавия: 1 ^aКлассические однородные структуры^eматематическая теория и приложения^zrus Содержание: Перевод заглавия: 1 ^aКлассические однородные структуры^eматематическая теория и приложения^zrus
ОДНОРОДНЫЕ СТРУКТУРЫ КЛЕТОЧНЫЕ АВТОМАТЫ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ПРИКЛАДНОЙ АСПЕКТ Доп.точки доступа: Grinn, Dmitry Sergey; Vaganov, Vyacheslav Alexey; Аладьев, Виктор Захарович (доктор физико-математических наук ; род. 1942) \.\ Свободных экз. нет |
Малявко, Александр Антонович (кандидат технических наук). Формальные языки и компиляторы [Text] : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки 230100 "Информатика и вычислительная техника" / А. А. Малявко. - Новосибирск : НГТУ, 2014. - 429, [1] с. : ил., табл. - (Учебники НГТУ : серия основана в 2001 году / Новосибирский государственный технический университет). - ^aБиблиография в конце книги (16 назв.). - ISBN 978-5-7782-2318-9 (в переплете) : Б. ц. ; На обложке: НГТУ, 1950
ТЕОРИИ КОНЕЧНЫЕ АВТОМАТЫ ФОРМАЛЬНАЯ ГРАММАТИКА ЯЗЫКИ ПРОГРАММИРОВАНИЯ ТРАНСЛЯТОРЫ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ Свободных экз. нет |
Интеллектуальные информационные технологии в компьютерных системах и сетях [Text] : учебно-методическое пособие для специальности 1-40 02 01 "Вычислительные машины, системы и сети" / [А. А. Дудкин и др.] ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Факультет компьютерных систем и сетей, Кафедра электронных вычислительных машин. - Минск : БГУИР, 2019. - 152, [1] с. : ил., табл., схемы. - ^aБиблиография: с. 152—153 (25 назв.). - ISBN 978-985-543-443-7 : Б. ц.
ИНФОРМАЦИОННЫЙ ПОИСК НЕЙРОННЫЕ СЕТИ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ ВНЕШНИЕ УСТРОЙСТВА ЭВМ ИНТЕРФЕЙСЫ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ АВТОМАТЫ (мат.) АЛГОРИТМЫ (мат., информатика) Доп.точки доступа: Дудкин, Александр Арсентьевич (доктор технических наук); Самаль, Дмитрий Иванович; Головко, Владимир Адамович (доктор технических наук ; род. 1960); Матюшков, Леонид Петрович (кандидат технических наук) Свободных экз. нет |
Сосинская, Софья Соломоновна (кандидат технических наук). Трансляторы и программные системы [Text] : учебное пособие для студентов высших учебных заведений, обучающихся по направлению "Автоматизация технологических процессов и производств" / С. С. Сосинская, Р. C. Дорофеев. - 2-е изд., стереотипное. - Старый Оскол : ТНТ, 2019. - 190 с. : ил., табл. - ^aБиблиография: с. 190 (10 назв.). - ISBN 978-5-94178-574-2 (в переплете) : Б. ц.
ТРАНСЛЯТОРЫ ИДЕНТИФИКАТОРЫ (информатика) ФОРМАЛЬНАЯ ГРАММАТИКА ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ТАБЛИЦЫ РЕШЕНИЙ ПРЕДМЕТНО-ОРИЕНТИРОВАННЫЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ ГЕНЕРАЦИЯ ПРОГРАММ Доп.точки доступа: Дорофеев, Роман Сергеевич Свободных экз. нет |
Капустинская, Валерия Ивановна (кандидат технических наук). Информатика и основы компьютерных знаний [Text] : учебное пособие для студентов высших учебных заведений, обучающихся по направлениям "Конструкторско-технологическое обеспечение машиностроительных производств", "Автоматизация технологических процессов и производств" / В. И. Капустинская, Л. В. Стародубцева, А. Г. Устинов. - Старый Оскол : ТНТ, 2017. - 247 с. : ил., табл. - ^aБиблиография: с. 247 (14 назв.). - ISBN 978-5-94178-511-7 (в переплете) : Б. ц.
ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ ИНФОРМАЦИЯ ИНФОРМАЦИОННЫЕ СИСТЕМЫ ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ ПРЕДСТАВЛЕНИЕ ДАННЫХ БУЛЕВА АЛГЕБРА ЛОГИЧЕСКИЕ ОПЕРАЦИИ АЛГОРИТМИЗАЦИЯ ПРОГРАММИРОВАНИЕ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ ВЫЧИСЛИТЕЛЬНЫЕ СЕТИ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ Доп.точки доступа: Стародубцева, Лилия Викторовна; Устинов, Александр Георгиевич (информационные технологии) Свободных экз. нет |
Капустинская, Валерия Ивановна (кандидат технических наук). Информатика и основы компьютерных знаний [Text] : учебное пособие для студентов высших учебных заведений, обучающихся по направлениям "Конструкторско-технологическое обеспечение машиностроительных производств", "Автоматизация технологических процессов и производств" / В. И. Капустинская, Л. В. Стародубцева, А. Г. Устинов. - Старый Оскол : ТНТ, 2016. - 247 с. : ил., табл. - ^aБиблиография: с. 247 (14 назв.). - ISBN 978-5-94178-511-7 (в переплете) : Б. ц.
ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ ИНФОРМАЦИЯ ИНФОРМАЦИОННЫЕ СИСТЕМЫ ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ ПРЕДСТАВЛЕНИЕ ДАННЫХ БУЛЕВА АЛГЕБРА ЛОГИЧЕСКИЕ ОПЕРАЦИИ АЛГОРИТМИЗАЦИЯ ПРОГРАММИРОВАНИЕ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ ВЫЧИСЛИТЕЛЬНЫЕ СЕТИ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ Доп.точки доступа: Стародубцева, Лилия Викторовна; Устинов, Александр Георгиевич (информационные технологии) Свободных экз. нет |
Свердлов, Сергей Залманович. Языки программирования и методы трансляции [Text] : учебное пособие / С. З. Свердлов. - 2-е изд., исправленное. - Санкт-Петербург : Лань, 2019. - 560 с. : табл., ил., схемы. - (Учебники для вузов. Специальная литература) (Бакалавриат и магистратура). - ^aБиблиография: с. 558—560 (33 назв.). - ISBN 978-5-8114-3457-2 (в переплете) : Б. ц.
ЯЗЫКИ ПРОГРАММИРОВАНИЯ ВЫСОКОГО УРОВНЯ СТРУКТУРНОЕ ПРОГРАММИРОВАНИЕ ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ФОРМАЛЬНАЯ ГРАММАТИКА АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ ГЕНЕРАЦИЯ ПРОГРАММ ТРАНСЛЯТОРЫ ЛЕКСИЧЕСКИЕ АНАЛИЗАТОРЫ СИНТАКСИЧЕСКИЕ АНАЛИЗАТОРЫ АССЕМБЛЕР Свободных экз. нет |
Черпаков, Игорь Владимирович (кандидат физико-математических наук). Теоретические основы информатики [Text] : учебник и практикум для академического бакалавриата / И. В. Черпаков ; Финансовый университет при Правительстве Российской Федерации. - Москва : Юрайт, 2019. - 350, [1] с. : ил., табл. - (Бакалавр. Академический курс) (УМО ВО рекомендует). - ^aБиблиография: с. 343 (11 назв.). - ^aПредметный указатель: с. 344—351. - ISBN 978-5-9916-8562-7 (в переплете) : Б. ц.
ИНФОРМАЦИЯ ИНФОРМАЦИОННЫЕ СИСТЕМЫ ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ БУЛЕВА АЛГЕБРА ОБРАБОТКА ИНФОРМАЦИИ МНОЖЕСТВ ТЕОРИЯ НЕЧЕТКИЕ МНОЖЕСТВА ГРАФОВ ТЕОРИЯ АЛГОРИТМОВ ТЕОРИЯ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ПРОЕКТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННЫЙ ПОИСК СОРТИРОВКА ДАННЫХ СТРУКТУРА ДАННЫХ ИНФОРМАЦИОННОЕ МОДЕЛИРОВАНИЕ Свободных экз. нет |
Поличка, Анатолий Егорович. Основы моделирования в условиях компьютеризации и математизации [Text] : учебное пособие / А. Е. Поличка ; Министерство науки и высшего образования Российской Федерации, Федеральное государственное бюджетное образовательное учреждение высшего образования "Тихоокеанский государственный университет". - Хабаровск : Издательство ТОГУ, 2019. - 107 с. : ил., табл. - ^aБиблиография: с. 99—105 (80 назв.). - ISBN 978-5-7389-2888-8 : Б. ц.
НАУЧНАЯ ДЕЯТЕЛЬНОСТЬ НАУЧНОЕ ПОЗНАНИЕ ФИЛОСОФСКИЙ АСПЕКТ МОДЕЛИРОВАНИЕ НАБЛЮДЕНИЯ ГИПОТЕЗЫ ФОРМАЛИЗАЦИЯ ВЕРИФИКАЦИЯ ИДЕАЛИЗАЦИЯ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ МАТЕМАТИЧЕСКИЕ МОДЕЛИ СТРУКТУРНЫЕ МОДЕЛИ ФОРМАЛЬНЫЕ МОДЕЛИ ИНФОРМАЦИОННОЕ МОДЕЛИРОВАНИЕ КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ МАТЕМАТИЗАЦИЯ КОМПЬЮТЕРИЗАЦИЯ Свободных экз. нет |
Трансляция формальных языков [Text] : курс лекций / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П. М. Машерова", Кафедра прикладного и системного программирования ; [составитель С. В. Сергеенко]. - Витебск : ВГУ им. П. М. Машерова, 2023. - 89 с. : ил. - ^aБиблиография: с. 89 (22 назв.). - ISBN 978-985-30-0052-8 : Б. ц.
ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ЛЕКСИЧЕСКИЕ АНАЛИЗАТОРЫ СИНТАКСИЧЕСКИЕ АНАЛИЗАТОРЫ РЕГУЛЯРНЫЕ ВЫРАЖЕНИЯ КОНЕЧНЫЕ АВТОМАТЫ МАГАЗИННЫЕ АВТОМАТЫ (мат. кибернетика) АВТОМАТОВ ТЕОРИЯ МАШИННЫЕ КОДЫ ТРАНСЛЯЦИЯ (программирование) Доп.точки доступа: Сергеенко, Сергей Владимирович (математик) \.\; Витебский государственный университет имени П. М. Машерова. Кафедра прикладного и системного программирования Свободных экз. нет |