519 М 34 Математические вопросы кибернетики / Под ред.С.В.Яблонского;Сост.М.В.Захарьящев и др. - М. : Физматлит,Наука, 1994 - . Вып.5. - 1994. - 304с. - ISBN 5-02-014889-X : 15 р.
Рубрики: Кибернетика Кл.слова (ненормированные): Булевы функции -- Булева алгебра -- Математическая кибернетика Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 Л557 Лидл, Рудольф. Прикладная абстрактная алгебра : учебное пособие / Р. Лидл, Г. Пильц ; пер. с англ. И. О. Коряков ; ред. Л. Н. Шеврин. - Екатеринбург : Издательство Уральского университета, 1996. - 744 с. - 25000.00 р., 40000 р., 40000.00 р.
Кл.слова (ненормированные): Абстрактная алгебра -- булева алгебра -- группы (математика) Доп.точки доступа: Пильц, Гюнтер; Коряков, И. О. \пер. с англ.\; Шеврин, Л. Н. \ред.\ Экземпляры всего: 4 Х (1), АБУ (2), ЧЗЕ (1) Свободны: Х (1), АБУ (2), ЧЗЕ (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) |
512 Б 907 Булева алгебра и конечные автоматы / пер. Е. В. Бабичева ; ред. П. П. Пархоменко. - Москва : Мир, 1969. - 292 с. - Библиогр.: с. 289. - 1.42 р., 1.42 р.
Кл.слова (ненормированные): Булева алгебра -- Теория согласований -- Конечные автоматы Доп.точки доступа: Бабичева, Е. В. \пер.\; Пархоменко, П. П. \ред.\ Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
518 К 280 Касаткин, Валентин Николаевич. Необычные задачи математики / В. Н. Касаткин ; худож. К. А. Правдин. - Киев : Раданьска школа, 1987. - 128 с. : ил. - 0.35 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ МОДЕЛЬ -- БУЛЕВА АЛГЕБРА -- ГРАФЫ (ЭВМ) Доп.точки доступа: Правдин, К. А. \худож.\ Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
22021 Математические методы исследования [Текст] : сборник задач / сост. Э. Н. Огнева. - Кемерово : Кемеровский государственный институт культуры, 2012. - 43 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): булева алгебра -- исследование -- математический метод -- теория графов -- теория массового обслуживания -- центральная тенденция Аннотация: Сборник предназначен для организации практических занятий и самостоятельной работы студентов. Описание каждой практической работы построено по унифицированной схеме, предусматривающей изложение определений важнейших терминов, основных формул, а также других кратких теоретических сведений, необходимых для решения предусмотренных учебной программой задач. Сборник содержит список литературы по каждой практической работе, который поможет студентам в подборе документов для получения дополнительных сведений по представленным темам и расширению круга заданий для самостоятельной работы. Перейти: Перейти к просмотру издания Доп.точки доступа: Огнева, Э. Н. \сост.\ Свободных экз. нет |
16500 Берман, Г. П. Введение в квантовые компьютеры [Электронный ресурс] : учебное пособие / Берман Г. П. - Москва, Ижевск : Регулярная и хаотическая динамика, Ижевский институт компьютерных исследований, 2013. - 188 с. - ISBN 5-93972-373-Х : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): булева алгебра -- квантовый алгоритм -- квантовый компьютер -- первичная факторизация -- учебное пособие Аннотация: При помощи квантовых вычислений можно будет решать задачи, которые трудноразрешимы при использовании обычных цифровых компьютеров. Квантовые алгоритмы с высокой степенью параллелизма могут на несколько порядков уменьшить время вычисления для некоторых задач. В данной книге объясняется, как квантовые компьютеры могут творить столь изумительные вещи. Показывается несколько алгоритмов: дискретное фурье-преобразование, алгоритм Шора для первичной факторизации, алгоритмы для квантовых логических вентилей, физические реализации квантовых логических вентилей на ионах в ловушке и в цепочках спинов, простейшие схемы квантовой коррекции ошибок; коррекция ошибок, вызванных несовершенством резонансных импульсов; коррекция ошибок, вызванных нерезонансным действием импульсов, а также численное моделирование динамического поведения квантового вентиля CONTROL-NOT. В данной книге также представлен обзор некоторых основных элементов информатики, включая машину Тьюринга, булеву алгебру и логические вентили. Объясняются необходимые квантовые идеи. Перейти: Перейти к просмотру издания Доп.точки доступа: Дулен, Г. Д.; Майньери, Р.; Цифринович, В. И.; Порсев, В. Е. \пер.\; Кокин, А. А. \ред.\ Свободных экз. нет |
72088 Жигалова, Е. Ф. Дискретная математика [Электронный ресурс] : учебное пособие / Жигалова Е. Ф. - Томск : Томский государственный университет систем управления и радиоэлектроники, Эль Контент, 2014. - 98 с. - ISBN 978-5-4332-0167-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): булева алгебра -- дискретная математика -- комбинаторика -- метрика графа -- переключательная функция -- теоретико-вероятностная задача -- теория графов -- теория множеств -- частичный граф Аннотация: Учебное пособие содержит традиционные разделы дискретной математики: основы теории множеств, булевой алгебры, теории графов и комбинаторики. Наибольшее внимание в пособии уделено разделу о графах и их характеристиках. В пособии размещены примеры решения типовых задач по дискретной математике по всем разделам содержания. Все задачи снабжены подробным описанием алгоритмов их решения. Пособие ориентировано на студентов технических университетов, обучающихся с применением дистанционных образовательных технологий. Перейти: Перейти к просмотру издания Свободных экз. нет |
22190 Зарипова, Э. Р. Лекции по дискретной математике. Математическая логика [Электронный ресурс] : учебное пособие / Зарипова Э. Р. - Москва : Российский университет дружбы народов, 2014. - 120 с. - ISBN 978-5-209-05455-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): булева алгебра -- дискретная математика -- исчисление высказываний -- исчисление предикатов -- математическая логика Аннотация: В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Пособие состоит из 3 разделов и включает в себя конспект лекций по дисциплине, фонды оценочных средств, а также программу дисциплины «Математическая логика и теория алгоритмов». Предназначено для студентов I и II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов. Перейти: Перейти к просмотру издания Доп.точки доступа: Кокотчикова, М. Г.; Севастьянов, Л. А. Свободных экз. нет |
61982 Зайцева, О. Н. Математические методы в приложениях. Дискретная математика [Электронный ресурс] : учебное пособие / Зайцева О. Н. - Казань : Казанский национальный исследовательский технологический университет, 2014. - 173 с. - ISBN 978-5-7882-1570-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): булева алгебра -- булева логика -- дискретная математика -- квантор -- математический метод -- предикат -- теория множеств Аннотация: В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для понимания примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»). Подготовлено на кафедре информатики и прикладной математики. Перейти: Перейти к просмотру издания Доп.точки доступа: Нуриев, А. Н.; Малов, П. В. Свободных экз. нет |
67009 Архитектура компьютерных систем [Текст] : учебно-методический комплекс / сост.: Б. О. Куламбаев, А. Б. Жусупова. - Алматы : Нур-Принт, 2015. - 179 с. - ISBN 9965-894-96-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): арифметико-логическое устройство -- архитектура эвм -- булева алгебра -- вычислительная система -- дешифратор -- компьютерная сеть -- компьютерная система -- схемотехника бис Аннотация: Изучение архитектурных особенностей современных ЭВМ, основ организации устройств ЭВМ и вычислительных систем. Пререквизиты дисциплины: Информатика, Схемотехника, Дискретная математика, Операционные системы; Компьютерные сети; Программная инженерия; Компьютерная графика; Методы защиты информации; Сетевые языки и Web-программирование. Постреквизиты дисциплины: Компьютерные сети, Защита информации, Web-технологии. В результате изучения дисциплины студент должен: знать: принципы организации компьютера и представления данных в нем, организации памяти компьютера, организации компьютерных интерфейсных систем, иметь представление о нетрадиционных архитектурах компьютера; уметь: представлять данные всех типов на машинном уровне; владеть: технологиями программирования на низком уровне (на языке ассемблера и в машинных кодах). Перейти: Перейти к просмотру издания Доп.точки доступа: Куламбаев, Б. О. \сост.\; Жусупова, А. Б. \сост.\ Свободных экз. нет |
62819 Гуров, В. В. Основы теории и организации ЭВМ [Электронный ресурс] : учебное пособие / Гуров В. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 173 с. - ISBN 5-9556-0040-X : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): арифметическая операция -- булева алгебра -- булева функция -- теория эвм -- устройство эвм -- учебное пособие Аннотация: В лекциях рассматриваются схемотехнические основы ЭВМ. Представлены основные устройства ЭВМ. Рассматривается взаимодействие устройств ЭВМ при автоматическом выполнении программы. Описана работа мультипрограммной ЭВМ. В курсе рассмотрены основные схемотехнические элементы ЭВМ: логические элементы, триггерные схемы, регистры, счетчики и т.д. Рассматривается организация и принципы работы запоминающих устройств, устройства управления, арифметико-логического устройства. Их анализ проводится на примерах реализации устройств, выполняющих заданные функции. Рассмотрены режимы адресации и форматы команд персональной ЭВМ с системой команд x86. Приведены основные характеристики 32-разрядного микропроцессора. Проведен анализ конвейерной организации работы микропроцессора для случая идеального конвейера и конвейера, в работе которого встречаются конфликты. Рассмотрены основные режимы работы мультипрограммной ЭВМ, характеристики ЭВМ при работе в мультипрограммном режиме, дисциплины распределения ресурсов. Описана работа системы прерывания как с классической точки зрения, так и применительно к современным персональным компьютерам. Рассмотрены вопросы, возникающие при работе системы распределения памяти. Представлен анализ классических методов защиты информации в ЭВМ и методов, поддерживаемых на аппаратном уровне в современных ЭВМ. Рассмотрена организация ввода-вывода информации, включая прямой доступ к памяти. Перейти: Перейти к просмотру издания Доп.точки доступа: Чуканов, В. О. Свободных экз. нет |