Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 634558)
Контекстум
.

ИЗБРАННЫЕ ВОПРОСЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. ВЫСКАЗЫВАНИЯ. ПРЕДИКАТЫ. БУЛЕВЫ ФУНКЦИИ. (220,00 руб.)

0   0
Первый авторЧеремисина Марина Ивановна
ИздательствоОренбург
Страниц66
ID719408
АннотацияВ пособии рассмотрены теоретические основы избранных вопросов математической логики: высказывания, предикаты, булевы функции и их применение к решению системы задач. Учебное пособие несет функции обучающие и контролирующие, в нём представлены варианты проверочных работ. Книга адресована студентам физико-математических факультетов педагогических университетов, обучающихся по направлению подготовки 44.03.05 Педагогическое образование (с двумя профилями подготовки), профилям Математика и Информатика, Математика и Физика по дисциплине «Математическая логика».
Кем рекомендованоДопущено УМС ОГПУ в качестве учебного пособия для обучающихся по направлению подготовки 44.03.05 Педагогическое образование (с двумя профилями подготовки), профилям Математика и Информатика, Математика и Физика по дисциплине «Математическая логика»
Черемисина, М.И. ИЗБРАННЫЕ ВОПРОСЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. ВЫСКАЗЫВАНИЯ. ПРЕДИКАТЫ. БУЛЕВЫ ФУНКЦИИ. : Допущено УМС ОГПУ в качестве учебного пособия для обучающихся по направлению подготовки 44.03.05 Педагогическое образование (с двумя профилями подготовки), профилям Математика и Информатика, Математика и Физика по дисциплине «Математическая логика» / М.И. Черемисина .— : Оренбург, 2020 .— 66 с. : ил. — URL: https://rucont.ru/efd/719408 (дата обращения: 18.04.2024)

Предпросмотр (выдержки из произведения)

ИЗБРАННЫЕ_ВОПРОСЫ_МАТЕМАТИЧЕСКОЙ_ЛОГИКИ._ВЫСКАЗЫВАНИЯ._ПРЕДИКАТЫ._БУЛЕВЫ_ФУНКЦИИ..pdf
УДК 512.64 (075.8) ББК 22.14я73 Ч46 Рецензенты Н.А. Мунасыпов, кандидат физико-математических наук, доцент А.Д. Сафарова, кандидат педагогических наук, доцент Черемисина М.И. Ч46 Избранные вопросы математической логики. Матрицы. Определители: учебное пособие/ М.И. Черемисина ; Минво науки и высшего образования Рос. Федерации, ФГБОУ ВО «Оренб. гос. пед. ун-т». – Оренбург, 2020 – 64 с. В пособии рассмотрены теоретические основы избранных вопросов математической логики: высказывания, предикаты, булевы функции и их применение к решению системы задач. Учебное пособие несет функции обучающие и контролирующие, в нём представлены варианты проверочных работ. Книга адресована студентам физикоматематических факультетов педагогических университетов, обучающихся по направлению подготовки 44.03.05 Педагогическое образование (с двумя профилями подготовки), профилям Математика и Информатика, Математика и Физика по дисциплине «Математическая логика». УДК 512.64 (075.8) ББК 22.14я73 © Черемисина М.И., 2020
Стр.2
Оглавление Введение ................................................................................................... 3 §1. Высказывания. ................................................................................. 4 §2. Предикаты. Кванторы. ................................................................. 10 §3. Булева алгебра. .............................................................................. 22 §5. Булевы функции. ........................................................................... 28 §6. Минтермы, Макстермы. ............................................................... 31 §7. Форма минтермов и форма макстермов. .................................... 33 §8. Минимизация булевых выражений. ........................................... 38 §9. Полином Жегалкина ..................................................................... 38 §10. Классы функций ............................................................................ 45 §11. Замкнутые классы логических функций .................................... 48 §12. Полнота множества булевых функций ....................................... 49 §13. Решение примерного варианта проверочных работ. ................ 51 §14. Варианты проверочных работ. .................................................... 60 Литература. ............................................................................................ 64
Стр.3

Облако ключевых слов *


* - вычисляется автоматически
.
.