Главная Упрощенный режим

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
 Найдено в других БД:Труды учёных ПГНИУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=булева функция<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
62815

    Дехтярь, М. И.
    Лекции по дискретной математике [Электронный ресурс] : учебное пособие / Дехтярь М. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 181 с. - ISBN 978-5-9556-0110-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
51
ББК 22.12

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

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

    Перемитина, Т. О.
    Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Перемитина Т. О. - Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. - 132 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
510
ББК 22.1

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

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

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

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

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

Доп.точки доступа:
Чуканов, В. О.
Свободных экз. нет
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 07.08.2024
Число запросов 23158
Число посетителей 464
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)