詳 細

  • グーツ 数理論理学と計算理論 改訂第3版

    Математическая логика и теория алгоритмов. Изд.3-е, испр.

    Гуц А.К.
    М., <ЛЕНАНД> 128 c. pap.

    2016 年   ISBN  9785971026297   R141840

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

    価格(税込み)    \2,640
    数量
    在庫を超える数量の場合は、ご相談とさせていただきます。