詳 細

  • ルパーノフ（1932-2006）の講義要約　「数理論理学入門」講座　大学教科書

    Конспект лекций О.Б. Лупанова по курсу ≪Введение в математическую логику≫./ 2-е изд. (Классический университетский учебник)

    Угольников А.Б.
    М., <Изд. МГУ> 327 c. hard

    2023 年   ISBN  9785190118407   R250630

    Учебное пособие составлено на основе конспектов лекций академика РАН О.Б. Лупанова по курсу ≪Введение в математическую логику≫, прочитанных им на первом курсе механико-математического факультета МГУ имени М. В. Ломоносова в 1982?2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции. Для студентов и аспирантов.

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