Математическая логика. Учебник для бакалавриата

Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович

Код товара: 4844219
(0 оценок)Оценить
ОтзывНаписать отзыв
ВопросЗадать вопрос
Фото 2
432
720
Доставим в
г. Москва
Планируемая дата
25 февраля (Вс)
Курьером
Л-Пост
бесплатно от 3 500 ₽
В пункт выдачи
от 77 ₽
бесплатно от 2 000 ₽
Точная стоимость доставки рассчитывается при оформлении заказа
Издательство:
Прометей
Год издания:
2020 г.
Может быть отгружен товар указанного или более позднего года

Описание

Характеристики

В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
количество томов
1
количество страниц
228 стр.
переплет
Твёрдый переплёт
размеры
207x144x16 мм
цвет
Чёрный
тип бумаги
офсетная (60-220 г/м2)
формат
60x84/16 (145x200 мм)
ISBN
978-5-907244-03-0
стандарт
возрастная категория
18+ (нет данных)
вес
код в Майшоп
4844219
язык
русский

Содержание

Предисловие
Введение
Глава 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. Спасибо, что помогаете нам стать лучше!
Ваш населённый пункт:
г. Москва
Выбор населённого пункта