• Покупка
  • Поступления
  • Доставка
  • Оплата
  • Контакты
  • Отзывы
  • Спецпредложения
  • В Вашей корзине
    пока пусто
    0 на сумму: NaN руб.
    Доставка по всему миру
    (812) 315-07-85 570-40-20

    Математическая логика и теория алгоритмов

    Код в каталоге: № 37874
    Математическая логика и теория алгоритмов, Гуц А.К.
    Автор:
    Издательство:
    Либроком
    Год выпуска:
    2009
    Состояние:
    Очень хорошее - Отличное
    Место издания:
    Москва
    Количество страниц:
    120
    Переплет:
    Мягкая издательская обложка
    Формат:
    Обычный
    ISBN:
    978-5-397-00056-7

    Описание

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

    Купить книгу «Математическая логика и теория алгоритмов» Гуц А.К. 2009 года
    в книжном интернет-магазине с доставкой по оптимальной цене.
    Если данной книги 978-5-397-00056-7 нет в наличии, то вы можете оставить на нее заявку.
    При появлении этого букинистического издания в продаже, вы получите об этом уведомление по sms и email.

    руб.

    Код в каталоге:
    руб.

    Код в каталоге: