681 Г 123 Гавриков, Михаил Михайлович. Теоретические основы разработки и реализации языков программирования : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем", направления подготовки дипломированных специалистов "Информатика и вычислительная техника" / М. М. Гавриков, А. Н. Иванченко, Д. В. Гринченков ; под ред. А. Н. Иванченко. - Москва : КНОРУС, 2010. - 178, [3] с. : ил. - Библиогр.: с. 178. - ISBN 978-5-406-00121-9 : 110 р.
Программирование--Учебные издания для высших учебных заведений Кл.слова (ненормированные): ТРАНСЛЯТОРЫ -- КОМПИЛЯТОРЫ -- ЯЗЫКИ ФОРМАЛЬНЫЕ -- СКАНЕРЫ (КОНСТРУИРОВАНИЕ) -- КС-ЯЗЫКИ -- LL(K)-АНАЛИЗАТОРЫ Доп.точки доступа: Иванченко, Александр Николаевич; Гринченков, Дмитрий Валерьевич; Иванченко, Александр Николаевич \ред.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Г 858 Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140.00 р., 112.20 р.
Кл.слова (ненормированные): БУЛЕВА АЛГЕБРА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- АЛГОРИТМОВ ТЕОРИЯ -- БУЛЕВЫ ФУНКЦИИ -- КВАЙНА-МАК КЛАСКИ МЕТОД -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМ РЕДУКЦИИ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) Доп.точки доступа: Потоцкий, Сергей Иванович Экземпляры всего: 11 Х (1), ЧЗЕ (1), АБУ (9) Свободны: Х (1), ЧЗЕ (1), АБУ (9) |