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

от 676 р. до 1046 р.

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

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

Где купить (3)

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

МагазинЦенаНаличие
Яндекс.Маркет
5/5
957 р.
Кэшбэк до 3.8%
Промокоды на скидку

15.06.2024
1046 р.
1599 р. -35% Повышенный кешбэк до 40%
Промокоды на скидку

15.06.2024
676 р.
716 р. -6%

16.06.2024
Avito доставка позволит получить любой товар, не выходя из дома

Описание

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

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

Смотри также о книге.

О книге


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


Отзывы (0)


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


Книги: Автоматика. Вычислительная техника - издательство "Ленанд"

Категория 540 р. - 811 р.

Книги: Автоматика. Вычислительная техника

Категория 540 р. - 811 р.

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

14 ms