Математическая логика. Учебник для бакалавриата; Прометей, 2020
- Издатель: Прометей
- ISBN: 978-5-907244-03-0
EAN: 978-5-907244-03-0
- Книги: Математика
- ID: 4854513
Описание
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.
Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям.
Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
Видео Обзоры (1)
Введение в логику, урок 1: Базовые понятия
Характеристики (13)
Параметр | Значение |
---|---|
Издатель | Прометей |
Год издания | 2020 |
Возрастные ограничения | 12 |
Кол-во страниц | 228 |
Автор(ы) | Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович |
ISBN | 978-5-907244-03-0 |
Размеры | 60x84/16 |
Обложка | твердый переплёт |
Язык издания | rus |
Раздел | Математические науки |
Количество страниц | 228 |
Формат | 145x207мм |
Вес | 0.35кг |
Сравнить цены (8)
Цена от 197 грн. до 403 грн. в 8 магазинах
Магазин | Цена | Наличие |
---|---|---|
Купить в кредит (2)
Компания | Предложение |
---|---|
Полезные онлайн-сервисы
Компания | Предложение |
---|