- Радиоэлектроника. Связь
- Метрология, стандартизация и сертификация
- Горная промышленность. Металлургия
- Энергетика
- Машиностроение. Приборостроение
- Транспорт
- Легкая промышленность
- Пищевая промышленность
- Полиграфия
- Строительство. Коммунальное хозяйство
- Электротехника. Электроника
- Робототехника и контроллеры
- Ремонт бытовых приборов
Книга Математическая логика и теория алгоритмов. 4-е изд., перераб.и доп, 2023
- Издатель: Ленанд
- ISBN: 9785951937483
EAN: 9785951937483
- Книги: Математика, статистика, механика
- ID: 13958036
Описание
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета имени Ф. М. Достоевского. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, паранепротиворечивые логики, логики Васильева и Лукасевича, релевантные логики. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.
Характеристики (15)
Параметр | Значение |
---|---|
Вес, в граммах | 253 |
Автор | Гуц Александр Константинович |
Тип обложки | твердая |
Год издания | 2023 |
Назначение | для технических ВУЗов; для экономических ВУЗов |
Количество книг | 1 |
Формат | 60х90/16 |
Количество страниц | 160 |
Издательство | Ленанд |
Автор(ы) | Гуц Александр Константинович |
ISBN | 978-5-9519-3748-3 |
Размеры | 60x90/16 |
Язык издания | Русский |
Кол-во страниц | 160 |
Возрастное ограничение | 16+ |
Сравнить цены (2)
Цена от 470 грн. до 792 грн. в 2 магазинах
Магазин | Цена | Наличие |
---|
Купить в кредит (2)
Компания | Предложение |
---|---|
Полезные онлайн-сервисы
Компания | Предложение |
---|