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

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

Рейтинг:

(0/5)

О книге

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

Где купить

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

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

Магазин	Цена	Наличие
Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	✔ Промокоды на скидку

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома

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

Описание

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

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