Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


IPRbooks книги- результаты поиска

Вид поиска
Каталог книг
Труды преподавателей
Каталог периодических изданий
Каталог редких книг
Каталог статей
IPRbooks периодика
IPRbooks книги
Межвузовская электронная библиотека
ФЭРУ
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=булева функция<.>
Общее количество найденных документов : 8
Показаны документы с 1 по 8
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-разрядного микропроцессора. Проведен анализ конвейерной организации работы микропроцессора для случая идеального конвейера и конвейера, в работе которого встречаются конфликты. Рассмотрены основные режимы работы мультипрограммной ЭВМ, характеристики ЭВМ при работе в мультипрограммном режиме, дисциплины распределения ресурсов. Описана работа системы прерывания как с классической точки зрения, так и применительно к современным персональным компьютерам. Рассмотрены вопросы, возникающие при работе системы распределения памяти. Представлен анализ классических методов защиты информации в ЭВМ и методов, поддерживаемых на аппаратном уровне в современных ЭВМ. Рассмотрена организация ввода-вывода информации, включая прямой доступ к памяти.

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

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

    Довгий, П. С.
    Синтез комбинационных схем [Электронный ресурс] : учебное пособие к курсовой работе по дисциплине «Дискретная математика» / Довгий П. С. - Санкт-Петербург : Университет ИТМО, 2009. - 63 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
517
ББК 22.1

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

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

Доп.точки доступа:
Поляков, В. И.
Свободных экз. нет
Найти похожие
5.
519.1
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Седова, , Н. А.
    Дискретная математика [Текст] : учебник для спо / Н. А. Седова, , В. А. Седов, . - Дискретная математика, Весь срок охраны авторского права. - Электрон. дан. (1 файл)col. - Саратов : Профобразование, 2020. - 329 с. - электронный. - ISBN 978-5-4488-0451-9 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
519.1
ББК 22.176

Кл.слова (ненормированные):
дискретная математика -- теория множеств -- формула логики -- булева функция -- алгебра вычетов -- теория графов -- комбинаторный объект
Аннотация: Учебник содержит теоретический материал и многочисленные примеры для изучения дисциплины «Дискретная математика» по семи основным темам: «Основы теории множеств», «Формулы логики», «Булевы функции», «Элементы теории отображений и алгебры подстановок», «Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам», «Алгоритмическое перечисление некоторых видов комбинаторных объектов», «Основы теории графов». Включает разбор решения 221 задачи и примеров, иллюстрирующих теоретический материал, 315 вопросов для повторения изученного материала и 244 тестовых вопроса для самопроверки полученных знаний. Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначен для студентов, обучающихся по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность», изучающих элементы дискретной математики как в рамках одноименной дисциплины, так и для формирования математической базы перед изучением профильных дисциплин. Рекомендуется также для преподавателей и всех интересующихся дискретными объектами.

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

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

   Доступна эл. версия. ЭБС IPR BOOKS.
    Седова, , Н. А.
    Дискретная математика. Сборник задач [Текст] : практикум для спо / Н. А. Седова, , В. А. Седов, . - Дискретная математика. Сборник задач, Весь срок охраны авторского права. - Электрон. дан. (1 файл)col. - Саратов : Профобразование, 2020. - 319 с. - электронный. - ISBN 978-5-4488-0506-6 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
519.1
ББК 22.176

Кл.слова (ненормированные):
сборник задач -- дискретная математика -- теория множеств -- формула логики -- булева функция -- алгебра вычетов -- теория графов -- комбинаторный объект
Аннотация: Издание содержит 100 упражнений с 30 вариантами заданий для практического изучения дисциплины «Дискретная математика» по следующим разделам: «Основы теории множеств», «Формулы логики», «Булевы функции», «Элементы теории отображений и алгебры подстановок», «Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам», «Алгоритмическое перечисление некоторых видов комбинаторных объектов», «Основы теории графов». Каждое упражнение включает разбор решения 30 варианта, что позволяет студентам использовать этот материал в качестве методических рекомендаций при выполнении упражнения. Подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначен для студентов, обучающихся по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность», изучающих элементы дискретной математики как в рамках одноименной дисциплины, так и для формирования математической базы перед изучением профильных дисциплин.

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

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

   Доступна эл. версия. ЭБС IPR BOOKS.
    Ткаченко, , С. В.
    Элементы математической логики [Текст] : учебное пособие для спо / С. В. Ткаченко, , А. С. Сысоев, . - Элементы математической логики, Весь срок охраны авторского права. - Электрон. дан. (1 файл)col. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2020. - 99 с. - электронный. - ISBN 978-5-88247-964-9, 978-5-4488-0752-7 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
517
ББК 22.1

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

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

Доп.точки доступа:
Сысоев, , А. С.
Свободных экз. нет
Найти похожие
8.
51
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Дехтярь, , М. И.
    Дискретная математика [Текст] : учебное пособие / М. И. Дехтярь, . - Дискретная математика, 2022-04-06. - Электрон. дан. (1 файл)col. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 181 с. - электронный. - ISBN 978-5-4497-0549-5 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
51
ББК 22.1

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

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