Математическая логика. Учебник для бакалавриата
Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович
Код товара: 4844219
(0 оценок)Оценить
ОтзывНаписать отзыв
ВопросЗадать вопрос
1 / 25
1 / 25
Издательство:
Год издания:
2020
Описание
Характеристики
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
код в Майшоп
4844219
возрастная категория
18+ (нет данных)
количество томов
1
количество страниц
228 стр.
размеры
207x146x17 мм
формат
60x84/16 (145x200) мм
ISBN
978-5-907244-03-0
тип бумаги
офсетная (60-220 г/м2)
цвет
Чёрный
стандарт
10 шт.
вес
352 г
язык
Русский
переплёт
Твёрдый переплёт
Содержание
Предисловие
Введение
Глава 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. Теорема Гёделя о неполноте
Контрольные вопросы и задания
Практические задания
Литература
Отзывы
Вопросы
Поделитесь своим мнением об этом товаре с другими покупателями — будьте первыми!
Дарим бонусы за отзывы!
За какие отзывы можно получить бонусы?
- За уникальные, информативные отзывы, прошедшие модерацию
Как получить больше бонусов за отзыв?
- Публикуйте фото или видео к отзыву
- Пишите отзывы на товары с меткой "Бонусы за отзыв"
Задайте вопрос, чтобы узнать больше о товаре
Если вы обнаружили ошибку в описании товара «Математическая логика. Учебник для бакалавриата» (авторы: Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович), то выделите её мышкой и нажмите Ctrl+Enter. Спасибо, что помогаете нам стать лучше!