Санкт-Петербургский Дом Книги
ИНТЕРНЕТ-МАГАЗИН:
(800) 555-08-42
СПРАВОЧНАЯ СЛУЖБА ДОМА КНИГИ
НЕВСКИЙ, 28:
(812) 448-23-55
Купить книгу Математическая логика и теория алгоритмов
  • Математическая логика и теория алгоритмов


  • Автор: Гуц А.К. ISBN: 978-5-9710-2629-7
    Издательство: М.: Ленанд Год издания: 2016
    Количество страниц: 128 Тип переплета: Обложка
    Сведения о переизданиях: 3-е изд., испр. Вес: 130 гр.
    Полка: Этаж 0, раздел 120-129, стеллаж 01, полка 4
Отсутствует в продаже


ОПИСАНИЕ

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







«Математическая логика и теория алгоритмов» из раздела «Основания математики. Теория чисел. Математическая логика.» — издание, которое часто покупают как для домашней коллекции, так и в подарок. Всё благодаря высокому качеству полиграфии и яркой визуализации, которые являются визитной карточкой издательства «М.: Ленанд». Гуц А.К. — интересный автор, уделяющий особое внимание общей концепции и проработке содержания. Поэтому книга стоит своих денег. Доставка осуществляется курьером по Санкт-Петербургу и «Почтой России» при заказе из других городов. Возможен самовывоз.

Ваша корзина пуста. Для оформления заказа Вам необходимо добавить товары в корзину с помощью соответствующей кнопки.

ВНИМАНИЕ!



МЫ В СОЦИАЛЬНЫХ СЕТЯХ: