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

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

Где купить

Рейтинг:

(0/5)

Отзывы (0) Оставить отзыв

Описание Характеристики Цены Отзывы (0)

Сравнить цены

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

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

Магазин	Цена	Наличие
Мегамаркет 5/5 ООО "МАРКЕТПЛЕЙС" ИНН: 9701048328	92 р. (-35%) Повышенный кешбэк до 40%	Наличие уточняйте 24.12.2024

OMA BY 5/5 Информация о компании	Крупнейшая в Беларуси оптовая и розничная торговая сеть строительных материалов и инструментов

Algo BY 5/5 Информация о компании	Мы предлагаем профессиональную консультацию, вежливое обслуживание, честные цены и быструю и аккуратную доставку ✔ Промокоды на скидку

OZ BY 5/5 Информация о компании	Мы трудимся, чтобы предложить максимальный выбор: товаров, способов оплаты, вариантов доставки — и лучший сервис ✔ Промокоды на скидку

24shop BY 5/5 Информация о компании	24shop - это возможность приобрести все необходимое в одном месте

Домотехника 5/5 Информация о компании

21vek BY 5/5 Информация о компании	Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время

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

Описание

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

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

О книге

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