Книга Математическая логика и теория алгоритмов: Учебное пособие (обл.). 4-е изд., пере..., 2023

  • Издатель: Ленанд
  • ISBN: 9785951937476
  • EAN: 9785951937476

  • Книги: Математика, статистика, механика
  • ID: 13957379
Купить Купить в кредит

Описание

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета имени Ф. М. Достоевского. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, паранепротиворечивые логики, логики Васильева и Лукасевича, релевантные логики. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность", "Информационная безопасность" и "Информатика и вычислительная техника".

Характеристики (15)


ПараметрЗначение
Вес, в граммах167
ИздательствоЛенанд
АвторГуц Александр Константинович
Год издания2023
Количество книг1
Тип обложкимягкая
Назначениедля технических ВУЗов; для экономических ВУЗов
Количество страниц160
Формат60x90/16
Автор(ы)
ISBN978-5-9519-3747-6
Размеры60x90/16
Язык изданияРусский
Кол-во страниц160
Возрастное ограничение16+


Сравнить цены (3)

Цена от 296 грн. до 629 грн. в 3 магазинах

МагазинЦенаНаличие

Купить в кредит (2)


Компания Предложение
Prostocredit

Сума: від 500 до 6500 грн. Срок: 90 днів з наявністю пільгового періоду від 3 до 30 днів під знижену % ставку (з можливістю пролонгації пільгового кредиту необмеженої кількості раз) Процентна ставка: Пільгова 1,7%, Базова 2% Робота 24/7: заявки на кредит, видача кредиту

Aviracredit

Aviracredit - Онлайн кредит на картку до 6300 грн. Швидке рішення щодо заявки, гарний рівень узгодження заявок. Розмір виплати за перший виданий кредит - 227 грн.

Полезные онлайн-сервисы


Компания Предложение

Отзывы (0)


Зарегистрируйтесь и получайте бонусы за покупки!



закладки (0) сравнение (0)