Сравнить цены на книгу: Книга Математическая логика и теория алгоритмов. 4-е изд., перераб.и доп, 2023

  • Издатель: Ленанд
  • ISBN: 9785951937483
  • Книги: Математика, статистика, механика
  • ID:13958036
Где купить

Где купить

Последняя известная цена от 1071 р. до 1805 р. в 2 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

МагазинЦенаНаличие
Яндекс.Маркет
5/5
Промокоды на скидку
Avito доставка позволит получить любой товар, не выходя из дома

История цены

МагазинПоследняя известная ценаОбновлено
Мегамаркет
1805 р.
24.12.2024
OZON
1071 р.
24.06.2024

Описание

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

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

О книге


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


Отзывы (0)




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


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

Категория 856 р. - 1285 р.

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

Категория 856 р. - 1285 р.

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

10 ms