КаталогКниг.РФ Математическая логика. Учебник для бакалавриата (Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович) ; Прометей, 2020
от 360 р. до 919 р.
Автор(ы): Матросов Виктор Леонидович; Мирзоев Махмашариф Сайфович;
Издатель: Прометей
EAN: 978-5-907244-03-0
ISBN: 978-5-907244-03-0
ID: SKU4962
Сравнить цены
Цена от 360 р. до 919 р. в 8 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
| Лабиринт 5/5 | 605 р. 1210 р. | |
| ЛитРес 5/5 | 360 р. 450 р. электронная книга | скачать фрагмент | |
| Book24 5/5 | 919 р. | |
| Буквоед 5/5 | 919 р. Минимальная сумма заказа 100 рублей | |
| Яндекс.Маркет 5/5 | 725 р. 920 р. | |
| МАЙШОП 5/5 | 504 р. 720 р. | |
| Читай-город 5/5 | 879 р. | наличие уточняйте 02.12.2023 |
| OZON | 595 р. | наличие уточняйте 03.01.2024 |
| AliExpress 5/5 | ||
| Мегамаркет 5/5 | ||
Описание
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.
Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям.
Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям.
Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
Смотри также Характеристики.
Яндекс.Маркет
Содержание
Предисловие
Введение
Глава 1. АЛГЕБРА ВЫСКАЗЫВАНИЙ
1.1. Алфавит и формулы алгебры высказываний
1.2. Основные логические операции алгебры
высказываний
1.3. Индуктивное определение формулы и
подформулы алгебры высказывания
1.4. Истинностные значения формулы алгебры
высказывания
1.5. Классификация формул алгебры высказываний
1.6. Понятие равносильности. Основные
равносильные формулы алгебры высказываний
1.7. Булевы функции (логические функции)
1.8. Совершенные нормальные формы
1.9. Системы булевых функций
1.10. Минимизация булевых функций
1.11. Модели функционально-логические схемы
базовых устройств компьютера
1.11.1. Логические элементы
1.11.2. Моделирование функциональных схем
устройства компьютера
1.11.3. Функционально-логическая модель
сумматора
1.11.4. Функционально-логическая схема триггера
1.11.5. Шифраторы и дешифраторы
1.12. Электронные схемы и компьютер
1.13. О некоторых других приложениях теории
булевых функций
1.14. Некоторые примеры применения языка Java в
алгебре высказываний
Контрольные вопросы и задания
Практические задания
Глава 2. ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ
2.1. Алфавит, формулы, система аксиом и правила
вывода исчисления высказываний
2.2. Аксиомы исчисления высказываний
2.3. Операция подстановки
2.4. Правила вывода
2.5. Понятие формального доказательства
2.6. Производные правила вывода
2.7. Выводимость формулы исчисления
высказываний из совокупности формул
совокупности гипотез)
2.8. Некоторые правила выводимости из
совокупности гипотез Н
2.9. Примеры доказуемых формул в исчисления
высказываний
2.10. Исследование исчисления высказываний
2.11. Полнота исчисления высказываний
2.12. Независимость системы аксиом исчисления
высказываний
Контрольные вопросы и задания
Практические задания
Глава 3. ЛОГИКА ПРЕДИКАТОВ
3.1. Понятие предиката. Логические операции над
предикатами
3.2. Операции навешивания кванторов
3.3. Язык логики предикатов (ЯЛП)
3.4. Операция подстановки в ЯЛП
3.5. Языки первого порядка
3.6. Равносильные формулы языка первого
порядка
3.7. Некоторые виды математических теорем
3.8. Методы доказательств
3.9. Теорема Гёделя о неполноте
Контрольные вопросы и задания
Практические задания
Литература
Введение
Глава 1. АЛГЕБРА ВЫСКАЗЫВАНИЙ
1.1. Алфавит и формулы алгебры высказываний
1.2. Основные логические операции алгебры
высказываний
1.3. Индуктивное определение формулы и
подформулы алгебры высказывания
1.4. Истинностные значения формулы алгебры
высказывания
1.5. Классификация формул алгебры высказываний
1.6. Понятие равносильности. Основные
равносильные формулы алгебры высказываний
1.7. Булевы функции (логические функции)
1.8. Совершенные нормальные формы
1.9. Системы булевых функций
1.10. Минимизация булевых функций
1.11. Модели функционально-логические схемы
базовых устройств компьютера
1.11.1. Логические элементы
1.11.2. Моделирование функциональных схем
устройства компьютера
1.11.3. Функционально-логическая модель
сумматора
1.11.4. Функционально-логическая схема триггера
1.11.5. Шифраторы и дешифраторы
1.12. Электронные схемы и компьютер
1.13. О некоторых других приложениях теории
булевых функций
1.14. Некоторые примеры применения языка Java в
алгебре высказываний
Контрольные вопросы и задания
Практические задания
Глава 2. ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ
2.1. Алфавит, формулы, система аксиом и правила
вывода исчисления высказываний
2.2. Аксиомы исчисления высказываний
2.3. Операция подстановки
2.4. Правила вывода
2.5. Понятие формального доказательства
2.6. Производные правила вывода
2.7. Выводимость формулы исчисления
высказываний из совокупности формул
совокупности гипотез)
2.8. Некоторые правила выводимости из
совокупности гипотез Н
2.9. Примеры доказуемых формул в исчисления
высказываний
2.10. Исследование исчисления высказываний
2.11. Полнота исчисления высказываний
2.12. Независимость системы аксиом исчисления
высказываний
Контрольные вопросы и задания
Практические задания
Глава 3. ЛОГИКА ПРЕДИКАТОВ
3.1. Понятие предиката. Логические операции над
предикатами
3.2. Операции навешивания кванторов
3.3. Язык логики предикатов (ЯЛП)
3.4. Операция подстановки в ЯЛП
3.5. Языки первого порядка
3.6. Равносильные формулы языка первого
порядка
3.7. Некоторые виды математических теорем
3.8. Методы доказательств
3.9. Теорема Гёделя о неполноте
Контрольные вопросы и задания
Практические задания
Литература
О книге
| Издатель | Прометей |
| Год издания | 2020 |
| Страниц | 228 |
| ISBN | 978-5-907244-03-0 |
| Размеры | 14,50 см × 20,70 см × 1,60 см |
| Формат | 60х84/16 |
| Автор(ы) | Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович |
| Тематика | Математика |
| Тираж | 500 |
| Возрастные ограничения | 12 |
| Кол-во страниц | 228 |
| Переплет | 60х84/16 |
| Язык издания | Русский |
| Обложка | твердый переплёт |
1 ms.
Книги с похожим названием
Книги где авторы: Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович
Математические науки - издательство "Прометей"
Категория 288 р. - 432 р.
Прикладная математика. Вычислительная математика - издательство "Прометей" »
0 ms.
Математические науки
Категория 288 р. - 432 р.
