Skip to content
VuFind
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
高级检索
  • Элементы математической логики...
  • 引用
  • 发送短信
  • 推荐此
  • 打印
  • 导出纪录
    • 导出到 RefWorks
    • 导出到 EndNoteWeb
    • 导出到 EndNote
  • Permanent link
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов учебное пособие для вузов

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов учебное пособие для вузов

书目详细资料
主要作者: Косовский Н. К. Николай Кириллович
语言:俄语
出版: Ленинград, Изд-во Ленинградского ун-та, 1981
主题:
приложения
математические утверждения
моделирование
естественные языки
логические формы
булевы функции
предикаты
исчисление
высказывания
программирование
теория
языки программирования
учебные пособия
格式: 图书
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=309305
  • 持有资料
  • 实物特征
  • 相似书籍
  • 职员浏览

相似书籍

  • Задачи и упражнения по математической логике и теории алгоритмов учебное пособие для вузов
    由: Игошин В. И. Владимир Иванович
    出版: (Москва, Академия, 2006)
  • Математическая логика. Дискретные функции. Теория алгоритмов учебное пособие
    由: Глухов М. М. Михаил Михайлович
    出版: (СПб., Лань, 2012)
  • Элементы математической логики
    由: Марков А. А. Андрей Андреевич
    出版: (Москва, Изд-во МГУ, 1984)
  • Математическая логика и теория алгоритмов учебник
    由: Судоплатов С. В.
    出版: (Москва, Инфра-М, 2008)
  • Математическая логика и теория алгоритмов для программистов учебное пособие
    由: Гринченков Д. В. Дмитрий Валерьевич
    出版: (Москва, КноРус, 2013)