Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

Основная библиотечная БД - результаты поиска

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

Область поиска

Найдено в других БД:

Продолжающиеся издания (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=булева алгебра<.>)

Общее количество найденных документов : 12
Показаны документы с 1 по 12

519
М 34

Математические вопросы кибернетики / Под ред.С.В.Яблонского;Сост.М.В.Захарьящев и др. - М. : Физматлит,Наука, 1994 - .
Вып.5. - 1994. - 304с. - ISBN 5-02-014889-X : 15 р.

УДК

519.7(082)

РУБ 519
Рубрики: Кибернетика
Кл.слова (ненормированные):
Булевы функции -- Булева алгебра -- Математическая кибернетика

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   519
   Л557

    Лидл, Рудольф.
    Прикладная абстрактная алгебра : учебное пособие / Р. Лидл, Г. Пильц ; пер. с англ. И. О. Коряков ; ред. Л. Н. Шеврин. - Екатеринбург : Издательство Уральского университета, 1996. - 744 с. - 25000.00 р., 40000 р., 40000.00 р.

27.43
УДК	512.563(075.8)

Рубрики: Теория вероятностей и математическая статистика
Кл.слова (ненормированные):
Абстрактная алгебра -- булева алгебра -- группы (математика)

Доп.точки доступа:
Пильц, Гюнтер; Коряков, И. О. \пер. с англ.\; Шеврин, Л. Н. \ред.\
Экземпляры всего: 4
Х (1), АБУ (2), ЧЗЕ (1)
Свободны: Х (1), АБУ (2), ЧЗЕ (1)
Найти похожие

   517
   Г 858

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140.00 р., 112.20 р.

ГРНТИ	27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
БУЛЕВА АЛГЕБРА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- АЛГОРИТМОВ ТЕОРИЯ -- БУЛЕВЫ ФУНКЦИИ -- КВАЙНА-МАК КЛАСКИ МЕТОД -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМ РЕДУКЦИИ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ)

Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 11
Х (1), ЧЗЕ (1), АБУ (9)
Свободны: Х (1), ЧЗЕ (1), АБУ (9)
Найти похожие

   512
   Б 907


    Булева алгебра и конечные автоматы / пер. Е. В. Бабичева ; ред. П. П. Пархоменко. - Москва : Мир, 1969. - 292 с. - Библиогр.: с. 289. - 1.42 р., 1.42 р.

ГРНТИ	27.17
УДК	512

Рубрики: Алгебра
Кл.слова (ненормированные):
Булева алгебра -- Теория согласований -- Конечные автоматы

Доп.точки доступа:
Бабичева, Е. В. \пер.\; Пархоменко, П. П. \ред.\
Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие

   518
   К 280

    Касаткин, Валентин Николаевич.
    Необычные задачи математики / В. Н. Касаткин ; худож. К. А. Правдин. - Киев : Раданьска школа, 1987. - 128 с. : ил. - 0.35 р.

ГРНТИ	27.23
УДК	518

Рубрики: Вычислительная математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ МОДЕЛЬ -- БУЛЕВА АЛГЕБРА -- ГРАФЫ (ЭВМ)

Доп.точки доступа:
Правдин, К. А. \худож.\
Экземпляры всего: 1
АБН (1)
Свободны: АБН (1)
Найти похожие

22021

Математические методы исследования [Текст] : сборник задач / сост. Э. Н. Огнева. - Кемерово : Кемеровский государственный институт культуры, 2012. - 43 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 22.1

Кл.слова (ненормированные):
булева алгебра -- исследование -- математический метод -- теория графов -- теория массового обслуживания -- центральная тенденция
Аннотация: Сборник предназначен для организации практических занятий и самостоятельной работы студентов. Описание каждой практической работы построено по унифицированной схеме, предусматривающей изложение определений важнейших терминов, основных формул, а также других кратких теоретических сведений, необходимых для решения предусмотренных учебной программой задач. Сборник содержит список литературы по каждой практической работе, который поможет студентам в подборе документов для получения дополнительных сведений по представленным темам и расширению круга заданий для самостоятельной работы.

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Огнева, Э. Н. \сост.\
Свободных экз. нет
Найти похожие

16500

Берман, Г. П.
Введение в квантовые компьютеры [Электронный ресурс] : учебное пособие / Берман Г. П. - Москва, Ижевск : Регулярная и хаотическая динамика, Ижевский институт компьютерных исследований, 2013. - 188 с. - ISBN 5-93972-373-Х : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

530

ББК 32.97

Кл.слова (ненормированные):
булева алгебра -- квантовый алгоритм -- квантовый компьютер -- первичная факторизация -- учебное пособие
Аннотация: При помощи квантовых вычислений можно будет решать задачи, которые трудноразрешимы при использовании обычных цифровых компьютеров. Квантовые алгоритмы с высокой степенью параллелизма могут на несколько порядков уменьшить время вычисления для некоторых задач. В данной книге объясняется, как квантовые компьютеры могут творить столь изумительные вещи. Показывается несколько алгоритмов: дискретное фурье-преобразование, алгоритм Шора для первичной факторизации, алгоритмы для квантовых логических вентилей, физические реализации квантовых логических вентилей на ионах в ловушке и в цепочках спинов, простейшие схемы квантовой коррекции ошибок; коррекция ошибок, вызванных несовершенством резонансных импульсов; коррекция ошибок, вызванных нерезонансным действием импульсов, а также численное моделирование динамического поведения квантового вентиля CONTROL-NOT. В данной книге также представлен обзор некоторых основных элементов информатики, включая машину Тьюринга, булеву алгебру и логические вентили. Объясняются необходимые квантовые идеи.

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Дулен, Г. Д.; Майньери, Р.; Цифринович, В. И.; Порсев, В. Е. \пер.\; Кокин, А. А. \ред.\
Свободных экз. нет
Найти похожие

72088

Жигалова, Е. Ф.
Дискретная математика [Электронный ресурс] : учебное пособие / Жигалова Е. Ф. - Томск : Томский государственный университет систем управления и радиоэлектроники, Эль Контент, 2014. - 98 с. - ISBN 978-5-4332-0167-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

519.1

ББК 22.1

Кл.слова (ненормированные):
булева алгебра -- дискретная математика -- комбинаторика -- метрика графа -- переключательная функция -- теоретико-вероятностная задача -- теория графов -- теория множеств -- частичный граф
Аннотация: Учебное пособие содержит традиционные разделы дискретной математики: основы теории множеств, булевой алгебры, теории графов и комбинаторики. Наибольшее внимание в пособии уделено разделу о графах и их характеристиках. В пособии размещены примеры решения типовых задач по дискретной математике по всем разделам содержания. Все задачи снабжены подробным описанием алгоритмов их решения. Пособие ориентировано на студентов технических университетов, обучающихся с применением дистанционных образовательных технологий.

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

22190

Зарипова, Э. Р.
Лекции по дискретной математике. Математическая логика [Электронный ресурс] : учебное пособие / Зарипова Э. Р. - Москва : Российский университет дружбы народов, 2014. - 120 с. - ISBN 978-5-209-05455-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

512.563

ББК 22.176

Кл.слова (ненормированные):
булева алгебра -- дискретная математика -- исчисление высказываний -- исчисление предикатов -- математическая логика
Аннотация: В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Пособие состоит из 3 разделов и включает в себя конспект лекций по дисциплине, фонды оценочных средств, а также программу дисциплины «Математическая логика и теория алгоритмов». Предназначено для студентов I и II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов.

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Кокотчикова, М. Г.; Севастьянов, Л. А.
Свободных экз. нет
Найти похожие

10.

61982

Зайцева, О. Н.
Математические методы в приложениях. Дискретная математика [Электронный ресурс] : учебное пособие / Зайцева О. Н. - Казань : Казанский национальный исследовательский технологический университет, 2014. - 173 с. - ISBN 978-5-7882-1570-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

519.1

ББК 22.1

Кл.слова (ненормированные):
булева алгебра -- булева логика -- дискретная математика -- квантор -- математический метод -- предикат -- теория множеств
Аннотация: В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для понимания примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»). Подготовлено на кафедре информатики и прикладной математики.

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Нуриев, А. Н.; Малов, П. В.
Свободных экз. нет
Найти похожие

11.

67009

Архитектура компьютерных систем [Текст] : учебно-методический комплекс / сост.: Б. О. Куламбаев, А. Б. Жусупова. - Алматы : Нур-Принт, 2015. - 179 с. - ISBN 9965-894-96-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

004.4

ББК 32.973

Кл.слова (ненормированные):
арифметико-логическое устройство -- архитектура эвм -- булева алгебра -- вычислительная система -- дешифратор -- компьютерная сеть -- компьютерная система -- схемотехника бис
Аннотация: Изучение архитектурных особенностей современных ЭВМ, основ организации устройств ЭВМ и вычислительных систем. Пререквизиты дисциплины: Информатика, Схемотехника, Дискретная математика, Операционные системы; Компьютерные сети; Программная инженерия; Компьютерная графика; Методы защиты информации; Сетевые языки и Web-программирование. Постреквизиты дисциплины: Компьютерные сети, Защита информации, Web-технологии. В результате изучения дисциплины студент должен: знать: принципы организации компьютера и представления данных в нем, организации памяти компьютера, организации компьютерных интерфейсных систем, иметь представление о нетрадиционных архитектурах компьютера; уметь: представлять данные всех типов на машинном уровне; владеть: технологиями программирования на низком уровне (на языке ассемблера и в машинных кодах).

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Куламбаев, Б. О. \сост.\; Жусупова, А. Б. \сост.\
Свободных экз. нет
Найти похожие

12.

62819

Гуров, В. В.
Основы теории и организации ЭВМ [Электронный ресурс] : учебное пособие / Гуров В. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 173 с. - ISBN 5-9556-0040-X : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

004

ББК 32.973

Кл.слова (ненормированные):
арифметическая операция -- булева алгебра -- булева функция -- теория эвм -- устройство эвм -- учебное пособие
Аннотация: В лекциях рассматриваются схемотехнические основы ЭВМ. Представлены основные устройства ЭВМ. Рассматривается взаимодействие устройств ЭВМ при автоматическом выполнении программы. Описана работа мультипрограммной ЭВМ. В курсе рассмотрены основные схемотехнические элементы ЭВМ: логические элементы, триггерные схемы, регистры, счетчики и т.д. Рассматривается организация и принципы работы запоминающих устройств, устройства управления, арифметико-логического устройства. Их анализ проводится на примерах реализации устройств, выполняющих заданные функции. Рассмотрены режимы адресации и форматы команд персональной ЭВМ с системой команд x86. Приведены основные характеристики 32-разрядного микропроцессора. Проведен анализ конвейерной организации работы микропроцессора для случая идеального конвейера и конвейера, в работе которого встречаются конфликты. Рассмотрены основные режимы работы мультипрограммной ЭВМ, характеристики ЭВМ при работе в мультипрограммном режиме, дисциплины распределения ресурсов. Описана работа системы прерывания как с классической точки зрения, так и применительно к современным персональным компьютерам. Рассмотрены вопросы, возникающие при работе системы распределения памяти. Представлен анализ классических методов защиты информации в ЭВМ и методов, поддерживаемых на аппаратном уровне в современных ЭВМ. Рассмотрена организация ввода-вывода информации, включая прямой доступ к памяти.

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Чуканов, В. О.
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 30.06.2024
Число запросов	25653
Число посетителей	308
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)