Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

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

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

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

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

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

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

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

IPRBooks-72121

72121

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

УДК

510

ББК 22.1

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-68121

68121

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

УДК

517

ББК 22.1

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

(для доступа требуется авторизация)

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

IPRBooks-89997

89997

Седова, Н. А.
Дискретная математика [Электронный ресурс] : учебник для СПО / Седова Н. А. - Саратов : Профобразование, 2020. - 329 с. - ISBN 978-5-4488-0451-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519.1

ББК 22.176

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

(для доступа требуется авторизация)

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

IPRBooks-94851

94851

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

УДК

ББК 22.1

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-89998

89998

Седова, Н. А.
Дискретная математика. Сборник задач [Электронный ресурс] : практикум для СПО / Седова Н. А. - Саратов : Профобразование, 2020. - 319 с. - ISBN 978-5-4488-0506-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519.1

ББК 22.176

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

(для доступа требуется авторизация)

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

IPRBooks-92841

92841

Ткаченко, С. В.
Элементы математической логики [Электронный ресурс] : учебное пособие для СПО / Ткаченко С. В. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2020. - 99 с. - ISBN 978-5-88247-964-9, 978-5-4488-0752-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

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

(для доступа требуется авторизация)

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

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

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

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

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