^a27.03.19^a27.03.15^2rugasnti Игошин, Владимир Иванович (1948-). Математическая логика и теория алгоритмов [Text] : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201 "Математика" / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2008 ([т.е. 2007]). - 446, [1] с. : ил. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности) (Учебное пособие). - ^aБиблиогр.: с. 435-442 и в подстроч. примеч. - ISBN 978-5-7695-4593-1 : р320.10 р. ; Кн. фактически изд. в 2007 г.
Рубрики: Математическая логика Алгоритмов теория Кл.слова (ненормированные): 1 ; алгебра высказываний -- 1 ; булевы функции -- 1 ; логика предикатов -- 1 ; аксиоматические теории -- 1 ; применение компьютеров -- 1 ; информатика -- 1 ; искусственный интеллект Свободных экз. нет |
^a27.03.19^a27.03.15^2rugasnti Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Text] : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201 "Математика" / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2008. - 446, [1]с. : табл. ; 22 см. - (Учебное пособие) (Высшее профессиональное образование. Педагогические специальности). - ^aБиблиогр.: с. 435-442. - ISBN 978-5-7695-5200-7 : р320.10 р.
Рубрики: Математическая логика Алгоритмов теория Кл.слова (ненормированные): 1 ; алгебра высказываний -- 1 ; булевы функции -- 1 ; логика предикатов -- 1 ; аксиоматические теории -- 1 ; применение компьютеров -- 1 ; информатика -- 1 ; искусственный интеллект Свободных экз. нет |
Паронджанов, Владимир Данилович. Дружелюбные алгоритмы, понятные каждому. Как улучшить работу ума без лишних хлопот [Text] / Владимир Паронджанов. - Москва : ДМК Пресс, 2010. - 464 с. - ^aБиблиогр.: с. 453-460. - ISBN 978-5-94074-606-5 : Б. ц.
АЛГОРИТМОВ ТЕОРИЯ АЛГОРИТМЫ УПРАВЛЕНИЯ АЛГОРИТМЫ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ Кл.слова (ненормированные): 0 ; ДРАКОН (язык программирования) Свободных экз. нет |
Основы вычислительных систем [Text] : методическое пособие по дисциплинам "Основы искусственного интеллекта", "Автоматизация проектирования вычислительных машин и систем", "Архитектура вычислительных машин и систем" / В. А. Головко [и др.] ; Министерство образования Республики Беларусь, Учреждение образования "Брестский государственный технический университет", Кафедра интеллектуальных информационных технологий, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра электронно-вычислительных машин, Институт повышения квалификации и переподготовки руководящих работников и специалистов по информационным технологиям и радиоэлектронике, Кафедра информационных систем и технологий . - Брест : БрГТУ, 2013. - 147 с. : ил., табл. - ^aБиблиография: с. 143—144 (41 назв.). - ISBN 978-985-493-241-5 : Б. ц.
АЛГОРИТМОВ ТЕОРИЯ ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ Доп.точки доступа: Головко, Владимир Адамович (доктор технических наук ; род. 1960); Дудкин, Александр Арсентьевич (доктор технических наук); Матюшков, Леонид Петрович (кандидат технических наук); Садыхов, Рауф Хосровович (доктор технических наук ; род. 1944); Брестский государственный технический университет. Кафедра интеллектуальных информационных технологий; Белорусский государственный университет информатики и радиоэлектроники (Минск). Кафедра электронных вычислительных машин; Белорусский государственный университет информатики и радиоэлектроники (Минск). Институт повышения квалификации и переподготовки руководящих работников и специалистов по информационным технологиям и радиоэлектронике Свободных экз. нет |
Теория алгоритмов [Text] : учебное пособие для магистрантов учреждений высшего образования по специальностям "Прикладная математика и информатика", "Теоретические основы информатики" / [П. А. Иржавский и др.] ; Белорусский государственный университет. - Минск : БГУ, 2013. - 158, [1] с. : ил., табл. - ^aБиблиография в конце книги (9 назв.). - ISBN 978-985-518-857-6 : Б. ц.
АЛГОРИТМЫ (математика, информатика) ИНТЕРВАЛЬНЫЕ АЛГОРИТМЫ ГРАФЫ (мат.) Кл.слова (ненормированные): 0 ; Строковые алгоритмы Доп.точки доступа: Иржавский, Павел Александрович (род. 1987); Котов, Владимир Михайлович (доктор физико-математических наук ; род. 1955); Лобанов, Алексей Юрьевич (математик ; род. 1987); Орлович, Юрий Леонидович (кандидат физико-математических наук ; род. 1971) Свободных экз. нет |
^a22.127я73^2rubbk Игошин, Владимир Иванович. Теория алгоритмов [Text] : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201.65 - математика / В. И. Игошин. - Москва : ИНФРА-М, 2015 [т.е. 2011]. - 317с. ; 22 см. - (Высшее образование). - ^aБиблиогр.: с. 306-311 (110 назв.). - ISBN 978-5-16-005205-2 : р320.28 р. ; Фактическая дата изд.: 2011
Рубрики: Алгоритмов теория Кл.слова (ненормированные): 1 ; машины Тьюринга -- 1 ; рекурсивные функции -- 1 ; алгоритмы Маркова -- 1 ; алгоритмические проблемы Свободных экз. нет |
Стариченко, Борис Евгеньевич. Теоретические основы информатики [Text] : учебник для студентов высших учебных заведений, обучающихся по направлению подготовки "Информационные системы и технологии" / Б. Е. Стариченко. - 3-е изд., переработанное и дополненное. - Москва : Горячая линия — Телеком, 2014. - 399 с. : ил. - (Учебник для вузов. Специальность). - ^aБиблиография: с. 391—393 (50 назв.). - ISBN 978-5-9912-0462-0 : Б. ц.
КОДИРОВАНИЕ ДАННЫХ ПЕРЕДАЧА ДАННЫХ ХРАНЕНИЕ ДАННЫХ АЛГОРИТМЫ (мат., информатика) КОНЕЧНЫЕ АВТОМАТЫ АЛГОРИТМОВ ТЕОРИЯ КРИПТОГРАФИЯ ИНФОРМАЦИИ ТЕОРИЯ Свободных экз. нет |
Карасик, Олег Николаевич (инженер-программист ; род. 1988). Кооперативный многопоточный планировщик и блочно-параллельные алгоритмы решения задач на многоядерных системах [Text] : автореферат диссертации на соискание ученой степени кандидата технических наук / Карасик Олег Николаевич ; Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники". - Минск : [s. n.], 2019. - 22 с. : ил., табл. - ^aБиблиография: с. 17—19 (24 назв.). - Б. ц. ; Резюме параллельно на белорусском, русском и английском языках
МНОГОЯДЕРНЫЕ ПРОЦЕССОРЫ АЛГОРИТМОВ ТЕОРИЯ АВТОМАТОВ ТЕОРИЯ ГРАФОВ ТЕОРИЯ ПАРАЛЛЕЛЬНЫЕ ПРОГРАММНЫЕ СИСТЕМЫ ПЛАНИРОВЩИКИ (информатика) АЛГОРИТМЫ (мат., информатика) Свободных экз. нет |
Афанасьев, Валерий Николаевич (доктор технических наук ; род. 1940). Динамические системы управления с неполной информацией [Text] : алгоритмическое конструирование / В. Н. Афанасьев. - Изд. 2-е, стереотипное. - Москва : URSS, 2018. - 213, [1] с. : табл., схемы. - ^aБиблиография: с. 202—214. - ISBN 978-5-9710-5272-2 : Б. ц.
СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ РОБАСТНОЕ УПРАВЛЕНИЕ ДИНАМИЧЕСКИЕ СИСТЕМЫ ДИФФЕРЕНЦИАЛЬНЫЕ ИГРЫ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ МАТЕМАТИЧЕСКАЯ ТЕОРИЯ ОПТИМИЗАЦИОННЫЕ МОДЕЛИ ДИСКРЕТНАЯ МАТЕМАТИКА АВТОМАТОВ ТЕОРИЯ АВТОМАТИЧЕСКОЕ УПРАВЛЕНИЕ АЛГОРИТМИЗАЦИЯ АЛГОРИТМОВ ТЕОРИЯ Свободных экз. нет |
Черпаков, Игорь Владимирович (кандидат физико-математических наук). Теоретические основы информатики [Text] : учебник и практикум для академического бакалавриата / И. В. Черпаков ; Финансовый университет при Правительстве Российской Федерации. - Москва : Юрайт, 2019. - 350, [1] с. : ил., табл. - (Бакалавр. Академический курс) (УМО ВО рекомендует). - ^aБиблиография: с. 343 (11 назв.). - ^aПредметный указатель: с. 344—351. - ISBN 978-5-9916-8562-7 (в переплете) : Б. ц.
ИНФОРМАЦИЯ ИНФОРМАЦИОННЫЕ СИСТЕМЫ ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ БУЛЕВА АЛГЕБРА ОБРАБОТКА ИНФОРМАЦИИ МНОЖЕСТВ ТЕОРИЯ НЕЧЕТКИЕ МНОЖЕСТВА ГРАФОВ ТЕОРИЯ АЛГОРИТМОВ ТЕОРИЯ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ПРОЕКТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННЫЙ ПОИСК СОРТИРОВКА ДАННЫХ СТРУКТУРА ДАННЫХ ИНФОРМАЦИОННОЕ МОДЕЛИРОВАНИЕ Свободных экз. нет |
Мищенко, Валентин Александрович. Теория эквивалентных преобразований алгоритмов в САПР СБИС [Text] / В. А. Мищенко, А. А. Прихожий. - Минск : Навука і тэхніка, 1991. - 262 с. - Б. ц.
СВЕРХБОЛЬШИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ АЛГОРИТМОВ ТЕОРИЯ ЭКВИВАЛЕНТНОСТИ ПРИНЦИП (физ.) САПР АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ Доп.точки доступа: Прихожий, Анатолий Алексеевич (доктор технических наук ; род. 1953) Свободных экз. нет |
Применение методов теории расплывчатых множеств и алгоритмов при управлении процессами в производстве изделий электронной техники [Text] : обзор / А. Н. Мелихов [и др.]. - М. : [s. n.], 1985. - 30 с. - Б. ц.
ПРОИЗВОДСТВО ИЗДЕЛИЯ ЭЛЕКТРОННОЙ ТЕХНИКИ ПРОИЗВОДСТВЕННЫЕ ПРОЦЕССЫ УПРАВЛЕНИЕ МНОЖЕСТВ ТЕОРИЯ Доп.точки доступа: Мелихов, А. Н. Свободных экз. нет |
Шоломов, Лев Абрамович. Основы теории дискретных логических и вычислительных устройств [Text] : учебное пособие по направлению ВПО 010500 — "Прикладная математика и информатика" и 010400 — "Информационные технологии" / Л. А. Шоломов. - Изд. 3-е, исправленное. - Санкт-Петербург [и др.] : Лань, 2021. - 429 с. : ил., табл. - (Учебники для вузов. Специальная литература). - ^aБиблиография: с. 410—413 (41 назв.). - ^aУказатели обозначений, предметный: с. 414—427. - ISBN 978-5-8114-1197-9 (в переплете) : Б. ц.
КОДИРОВАНИЕ ДАННЫХ ДИСКРЕТНАЯ ИНФОРМАЦИЯ КОНЕЧНЫЕ АВТОМАТЫ ЛОГИЧЕСКИЕ УСТРОЙСТВА АВТОМАТОВ ТЕОРИЯ АЛГОРИТМОВ ТЕОРИЯ ЛОГИЧЕСКИЕ ФУНКЦИИ Свободных экз. нет |
Ерохин, Владимир Васильевич (кандидат технических наук). Микропроцессоры. Теория и практика проектирования [Text] / В. В. Ерохин. - Москва : СОЛОН-Пресс, 2023. - 255 с. : ил., табл. - (Библиотека инженера). - ^aБиблиография: с. 253—255. - ISBN 978-5-91359-541-6 : Б. ц.
ПРОЕКТИРОВАНИЕ АЛГОРИТМОВ ТЕОРИЯ АРХИТЕКТУРА ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ САПР СИСТЕМЫ НА КРИСТАЛЛЕ СВЕРХБОЛЬШИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ Кл.слова (ненормированные): 0 ; RTM технология Свободных экз. нет |