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

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

Где купить

Рейтинг:

(0/5)

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

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

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

Последняя известная цена от 23 р. до 48 р. в 3 магазинах

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

Магазин	Цена	Наличие
Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	Кэшбэк в Яндекс.Маркет до 3.8% ✔ Промокоды на скидку	Наличие уточняйте 03.04.2025

Мегамаркет 5/5 ООО "МАРКЕТПЛЕЙС" ИНН: 9701048328	Повышенный кешбэк до 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 Информация о компании	Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время

Описание

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

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

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

О книге

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