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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 72121
Автор(ы) : Перемитина Т. О.
Заглавие : Математическая логика и теория алгоритмов : Учебное пособие
Выходные данные : Томск: Томский государственный университет систем управления и радиоэлектроники, 2016
Колич.характеристики :132 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебра--алгоритм--булева функция--математическая логика--предикат
Аннотация: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 68121
Автор(ы) : Довгий П. С., Поляков В. И.
Заглавие : Синтез комбинационных схем : Учебное пособие к курсовой работе по дисциплине «Дискретная математика»
Выходные данные : Санкт-Петербург: Университет ИТМО, 2009
Колич.характеристики :63 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): базис жегалкина--булева функция--двухразрядный сумматор--импликантная таблица--карта карно--комбинационная схема--таблица истинности
Аннотация: В учебном пособии приводятся теоретические сведения, необходимые при решении задач синтеза и анализа комбинационных схем, реализующих заданную булеву функцию или систему булевых функций. Детально рассмотрен пример выполнения части курсовой работы, связанной с минимизацией, факторизацией и декомпозицией не полностью определенной булевой функции от пяти переменных, а также с построением комбинационных схем, реализующих заданную функцию в различных базисах, и последующим анализом этих схем. Для части работы, связанной с реализацией системы булевых функций, рассмотрено два примера: синтез двухразрядного комбинационного сумматора (система из трех булевых функций от четырех переменных) и синтез комбинационной схемы реверсивного счетчика по модулю 13 (система из пяти булевых функций от пяти переменных). В приложении приводится большое число вариантов разнообразных заданий, что позволяет в полной мере решить проблему индивидуализации ее выполнения. Пособие предназначено для использования в учебном процессе при подготовке бакалавров и магистров по направлению 230100.68 «Информатика и вычислительная техника», а также инженеров по специальности 230101.65 «Вычислительные машины, комплексы, системы и сети» и аспирантов.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 89997
Автор(ы) : Седова Н. А., Седов В. А.
Заглавие : Дискретная математика : Учебник для СПО
Выходные данные : Саратов: Профобразование, 2020
Колич.характеристики :329 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0451-9: Б.ц.
УДК : 519.1
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): алгебра вычетов--булева функция--дискретная математика--комбинаторный объект--теория графов--теория множеств--формула логики
Аннотация: Учебник содержит теоретический материал и многочисленные примеры для изучения дисциплины «Дискретная математика» по семи основным темам: «Основы теории множеств», «Формулы логики», «Булевы функции», «Элементы теории отображений и алгебры подстановок», «Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам», «Алгоритмическое перечисление некоторых видов комбинаторных объектов», «Основы теории графов». Включает разбор решения 221 задачи и примеров, иллюстрирующих теоретический материал, 315 вопросов для повторения изученного материала и 244 тестовых вопроса для самопроверки полученных знаний. Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначен для студентов, обучающихся по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность», изучающих элементы дискретной математики как в рамках одноименной дисциплины, так и для формирования математической базы перед изучением профильных дисциплин. Рекомендуется также для преподавателей и всех интересующихся дискретными объектами.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51
Автор(ы) : Дехтярь М. И.
Заглавие : Дискретная математика : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :181 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0549-5: Б.ц.
УДК : 51
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): булева функция--дискретная математика--дискретная структура--комбинаторика--множество--реляционная база
Аннотация: Учебное пособие представляет собой начальный курс по дискретным структурам и содержит все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций — булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в учебном пособии проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая тема завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 89998
Автор(ы) : Седова Н. А., Седов В. А.
Заглавие : Дискретная математика. Сборник задач : Практикум для СПО
Выходные данные : Саратов: Профобразование, 2020
Колич.характеристики :319 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0506-6: Б.ц.
УДК : 519.1
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): алгебра вычетов--булева функция--дискретная математика--комбинаторный объект--сборник задач--теория графов--теория множеств--формула логики
Аннотация: Издание содержит 100 упражнений с 30 вариантами заданий для практического изучения дисциплины «Дискретная математика» по следующим разделам: «Основы теории множеств», «Формулы логики», «Булевы функции», «Элементы теории отображений и алгебры подстановок», «Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам», «Алгоритмическое перечисление некоторых видов комбинаторных объектов», «Основы теории графов». Каждое упражнение включает разбор решения 30 варианта, что позволяет студентам использовать этот материал в качестве методических рекомендаций при выполнении упражнения. Подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначен для студентов, обучающихся по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность», изучающих элементы дискретной математики как в рамках одноименной дисциплины, так и для формирования математической базы перед изучением профильных дисциплин.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 92841
Автор(ы) : Ткаченко С. В., Сысоев А. С.
Заглавие : Элементы математической логики : Учебное пособие для СПО
Выходные данные : Липецк, Саратов: Липецкий государственный технический университет, Профобразование, 2020
Колич.характеристики :99 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-964-9, 978-5-4488-0752-7: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): булева алгебра--булева функция--логическая операция--математическая логика--функциональная полнота
Аннотация: В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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

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

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

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