Premium domains portfolio DN Epic Store - Mighty Pack Of Catching Domain Names Карта сайта Корзина В корзине: 0 товаров
На сумму: 0 руб.

Новинки

А. К. Гуц. Математическая логика и теория алгоритмов
Ценa:198 руб.Купить

А. К. Гуц. Математическая логика и теория алгоритмов

Издательство:Либроком
Год издания:2009
Страниц:120
ISBN:978-5-397-00056-7

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

Все новинки

Лидеры продаж

Все бестселлеры

Основания математики, логика

Алгебра

Геометрия

Общая математика

Высшая математика

Математический и функциональный анализ

Вычислительная математика, численные методы

Математическая кибернетика

Математическое моделирование

Теория вероятностей и математическая статистика