Choice of metadata IPR SMART
Page 1, Results: 7
Отмеченные записи: 0
1.
More
Дехтярь, М. И.
Дискретная математика : учебное пособие / Дехтярь М. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2022. - 181 с. - ISBN 978-5-4497-1641-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булева функция -- дискретная математика -- дискретная структура -- комбинаторика -- множество -- реляционная база
Аннотация: Учебное пособие представляет собой начальный курс по дискретным структурам и содержит все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций — булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в учебном пособии проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая тема завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.
Дехтярь, М. И.
Дискретная математика : учебное пособие / Дехтярь М. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2022. - 181 с. - ISBN 978-5-4497-1641-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булева функция -- дискретная математика -- дискретная структура -- комбинаторика -- множество -- реляционная база
Аннотация: Учебное пособие представляет собой начальный курс по дискретным структурам и содержит все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций — булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в учебном пособии проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая тема завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.
2.
More
Гуров, В. В.
Логические и арифметические основы и принципы работы ЭВМ : учебное пособие / Гуров В. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 166 с. - ISBN 978-5-4497-0867-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
алгебра логики -- арифметическая операция -- арифметическая основа -- булева алгебра -- булева функция -- логическая основа -- работа эвм -- система кодирования
Аннотация: В учебном пособии рассматриваются основы булевой алгебры, представление и минимизация булевых функций. Изложены способы представления чисел и методы выполнения арифметических операций в ЭВМ, представлены принципы работы и структура однопрограммной ЭВМ. В первом разделе описана история развития вычислительной техники. В разделах по логическим основам даются основные функции алгебры логики, эквивалентности, понятие функционального базиса, описаны методы минимизации булевых функций на основе совершенных нормальных форм, представлены однофункциональные базисы. В разделах по арифметическим основам рассматриваются представление чисел с фиксированной и плавающей запятой, точность и диапазон их представления; прямой, обратный и дополнительный коды чисел, а также модифицированные коды; даны методы выполнения операций сложения, вычитания, умножения, деления чисел с фиксированной и плавающей запятой в различных кодах. В разделах по принципам работы ЭВМ рассмотрены машина Тьюринга, автомат Неймана, структура классической ЭВМ, цикл выполнения команды, описана архитектура персонального компьютера.
Доп.точки доступа:
Чуканов, В. О.
Гуров, В. В.
Логические и арифметические основы и принципы работы ЭВМ : учебное пособие / Гуров В. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 166 с. - ISBN 978-5-4497-0867-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра логики -- арифметическая операция -- арифметическая основа -- булева алгебра -- булева функция -- логическая основа -- работа эвм -- система кодирования
Аннотация: В учебном пособии рассматриваются основы булевой алгебры, представление и минимизация булевых функций. Изложены способы представления чисел и методы выполнения арифметических операций в ЭВМ, представлены принципы работы и структура однопрограммной ЭВМ. В первом разделе описана история развития вычислительной техники. В разделах по логическим основам даются основные функции алгебры логики, эквивалентности, понятие функционального базиса, описаны методы минимизации булевых функций на основе совершенных нормальных форм, представлены однофункциональные базисы. В разделах по арифметическим основам рассматриваются представление чисел с фиксированной и плавающей запятой, точность и диапазон их представления; прямой, обратный и дополнительный коды чисел, а также модифицированные коды; даны методы выполнения операций сложения, вычитания, умножения, деления чисел с фиксированной и плавающей запятой в различных кодах. В разделах по принципам работы ЭВМ рассмотрены машина Тьюринга, автомат Неймана, структура классической ЭВМ, цикл выполнения команды, описана архитектура персонального компьютера.
Доп.точки доступа:
Чуканов, В. О.
3.
More
Епишкина, А. В.
Булевы функции и их применение : курс лекций / Епишкина А. В. - Москва : Национальный исследовательский ядерный университет «МИФИ», 2020. - 72 с. - ISBN 978-5-7262-2679-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булева функция -- криптографический примитив -- нелинейное отображение
Аннотация: Представлены лекции, содержащие необходимый материал по теории булевых функций, позволяющий решать такие практические задачи, как определение полноты и замкнутости систем булевых функций, минимизация и классификация булевых функций. Особое внимание уделяется специальным свойствам булевых функций и нелинейных отображений, используемых для анализа и синтеза криптографических примитивов. В курсе рассматриваются корреляция и автокорреляция, перемешивающие свойства нелинейных отображений, совершенность отображений, строгий лавинный критерий и критерии распространения. Доступный, но строгий с научной точки зрения язык изложения, а также большое количество примеров и задач позволят слушателям освоить основы теории булевых функций и изучить аспекты их практического применения для решения задач защиты информации. Настоящий курс предназначен для студентов, изучающих информационную безопасность в том или ином объеме в различных учебных заведениях, а также для преподавателей смежных направлений. Подготовлено в рамках Проекта по созданию и развитию Международного научно-методического центра НИЯУ МИФИ.
Епишкина, А. В.
Булевы функции и их применение : курс лекций / Епишкина А. В. - Москва : Национальный исследовательский ядерный университет «МИФИ», 2020. - 72 с. - ISBN 978-5-7262-2679-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булева функция -- криптографический примитив -- нелинейное отображение
Аннотация: Представлены лекции, содержащие необходимый материал по теории булевых функций, позволяющий решать такие практические задачи, как определение полноты и замкнутости систем булевых функций, минимизация и классификация булевых функций. Особое внимание уделяется специальным свойствам булевых функций и нелинейных отображений, используемых для анализа и синтеза криптографических примитивов. В курсе рассматриваются корреляция и автокорреляция, перемешивающие свойства нелинейных отображений, совершенность отображений, строгий лавинный критерий и критерии распространения. Доступный, но строгий с научной точки зрения язык изложения, а также большое количество примеров и задач позволят слушателям освоить основы теории булевых функций и изучить аспекты их практического применения для решения задач защиты информации. Настоящий курс предназначен для студентов, изучающих информационную безопасность в том или ином объеме в различных учебных заведениях, а также для преподавателей смежных направлений. Подготовлено в рамках Проекта по созданию и развитию Международного научно-методического центра НИЯУ МИФИ.
4.
More
Перемитина, Т. О.
Математическая логика и теория алгоритмов : учебное пособие / Перемитина Т. О. - Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. - 132 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебра -- алгоритм -- булева функция -- математическая логика -- предикат
Аннотация: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».
Перемитина, Т. О.
Математическая логика и теория алгоритмов : учебное пособие / Перемитина Т. О. - Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. - 132 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра -- алгоритм -- булева функция -- математическая логика -- предикат
Аннотация: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».
5.
More
Седова, Н. А.
Дискретная математика : учебник для СПО / Седова Н. А. - Саратов : Профобразование, 2024. - 329 с. - ISBN 978-5-4488-1909-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.176
Кл.слова (ненормированные):
алгебра вычетов -- булева функция -- дискретная математика -- комбинаторный объект -- теория графов -- теория множеств -- формула логики
Аннотация: Учебник содержит теоретический материал и многочисленные примеры для изучения дисциплины «Дискретная математика» по семи основным темам: «Основы теории множеств», «Формулы логики», «Булевы функции», «Элементы теории отображений и алгебры подстановок», «Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам», «Алгоритмическое перечисление некоторых видов комбинаторных объектов», «Основы теории графов». Включает разбор решения 221 задачи и примеров, иллюстрирующих теоретический материал, 315 вопросов для повторения изученного материала и 244 тестовых вопроса для самопроверки полученных знаний. Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначен для студентов, обучающихся по укрупненным группам специальностей среднего профессионального образования «Информатика и вычислительная техника», «Информационная безопасность», изучающих элементы дискретной математики как в рамках одноименной дисциплины, так и для формирования математической базы перед изучением профильных дисциплин. Рекомендуется также для преподавателей и всех интересующихся дискретными объектами.
Доп.точки доступа:
Седов, В. А.
Седова, Н. А.
Дискретная математика : учебник для СПО / Седова Н. А. - Саратов : Профобразование, 2024. - 329 с. - ISBN 978-5-4488-1909-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра вычетов -- булева функция -- дискретная математика -- комбинаторный объект -- теория графов -- теория множеств -- формула логики
Аннотация: Учебник содержит теоретический материал и многочисленные примеры для изучения дисциплины «Дискретная математика» по семи основным темам: «Основы теории множеств», «Формулы логики», «Булевы функции», «Элементы теории отображений и алгебры подстановок», «Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам», «Алгоритмическое перечисление некоторых видов комбинаторных объектов», «Основы теории графов». Включает разбор решения 221 задачи и примеров, иллюстрирующих теоретический материал, 315 вопросов для повторения изученного материала и 244 тестовых вопроса для самопроверки полученных знаний. Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначен для студентов, обучающихся по укрупненным группам специальностей среднего профессионального образования «Информатика и вычислительная техника», «Информационная безопасность», изучающих элементы дискретной математики как в рамках одноименной дисциплины, так и для формирования математической базы перед изучением профильных дисциплин. Рекомендуется также для преподавателей и всех интересующихся дискретными объектами.
Доп.точки доступа:
Седов, В. А.
6.
More
Ткаченко, С. В.
Элементы математической логики : учебное пособие для СПО / Ткаченко С. В. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2024. - 99 с. - ISBN 978-5-00175-289-9, 978-5-4488-2060-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булева алгебра -- булева функция -- логическая операция -- математическая логика -- функциональная полнота
Аннотация: В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей «Информатика и вычислительная техника» и «Информационная безопасность».
Доп.точки доступа:
Сысоев, А. С.
Ткаченко, С. В.
Элементы математической логики : учебное пособие для СПО / Ткаченко С. В. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2024. - 99 с. - ISBN 978-5-00175-289-9, 978-5-4488-2060-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булева алгебра -- булева функция -- логическая операция -- математическая логика -- функциональная полнота
Аннотация: В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей «Информатика и вычислительная техника» и «Информационная безопасность».
Доп.точки доступа:
Сысоев, А. С.
7.
More
Седова, Н. А.
Дискретная математика. Сборник задач : практикум для СПО / Седова Н. А. - Саратов : Профобразование, 2024. - 319 с. - ISBN 978-5-4488-1912-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.176
Кл.слова (ненормированные):
алгебра вычетов -- булева функция -- дискретная математика -- комбинаторный объект -- сборник задач -- теория графов -- теория множеств -- формула логики
Аннотация: Издание содержит 100 упражнений с 30 вариантами заданий для практического изучения дисциплины «Дискретная математика» по следующим разделам: «Основы теории множеств», «Формулы логики», «Булевы функции», «Элементы теории отображений и алгебры подстановок», «Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам», «Алгоритмическое перечисление некоторых видов комбинаторных объектов», «Основы теории графов». Каждое упражнение включает разбор решения 30 варианта, что позволяет студентам использовать этот материал в качестве методических рекомендаций при выполнении упражнения. Подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначен для студентов, обучающихся по укрупненным группам специальностей «Информатика и вычислительная техника», «Информационная безопасность», изучающих элементы дискретной математики как в рамках одноименной дисциплины, так и для формирования математической базы перед изучением профильных дисциплин.
Доп.точки доступа:
Седов, В. А.
Седова, Н. А.
Дискретная математика. Сборник задач : практикум для СПО / Седова Н. А. - Саратов : Профобразование, 2024. - 319 с. - ISBN 978-5-4488-1912-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра вычетов -- булева функция -- дискретная математика -- комбинаторный объект -- сборник задач -- теория графов -- теория множеств -- формула логики
Аннотация: Издание содержит 100 упражнений с 30 вариантами заданий для практического изучения дисциплины «Дискретная математика» по следующим разделам: «Основы теории множеств», «Формулы логики», «Булевы функции», «Элементы теории отображений и алгебры подстановок», «Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам», «Алгоритмическое перечисление некоторых видов комбинаторных объектов», «Основы теории графов». Каждое упражнение включает разбор решения 30 варианта, что позволяет студентам использовать этот материал в качестве методических рекомендаций при выполнении упражнения. Подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначен для студентов, обучающихся по укрупненным группам специальностей «Информатика и вычислительная техника», «Информационная безопасность», изучающих элементы дискретной математики как в рамках одноименной дисциплины, так и для формирования математической базы перед изучением профильных дисциплин.
Доп.точки доступа:
Седов, В. А.
Page 1, Results: 7