詳 細

  • 離散数学 形式論理的なシステムと言語

    Дискретная математика. Формально-логические системы и языки.

    Авдошин С., Набебин А.А.
    М., ДМК Пресс 390 c. pap.

    2018 年   ISBN  9785970606223   R167801

    Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины ≪Дискретная математика≫ на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 ≪Информатика и вычислительная техника≫, 09.03.02 ≪Информационные системы и технологии≫, 09.03.03 ≪Прикладная информатика≫, 09.03.04 ≪Программная инженерия≫, а также для ИТ-специалистов и разработчиков программных продуктов. Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу.

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