• Главная
  • Добавить
  • Новые
  • Исправленные
  • Примеры
    • Добавить
    • Новые
    • Исправленные
    • Из слов
    • В слова
  • Правки
    • Все
    • С комментариями
    • Направление
    • Удалённые
  • Меню ▼
    • Форум
    • Поиск
    • Объявления
    • Помощь ▶
      Принципы Правила Документация 大БКРС
    • Участники
    • Пословный
    • Фразы
    • Скороговорки
    • Частотность
    • Собственные
    • Аддон
    • Скачать словарь
    • Тёмная тема
    • Контакты
  • Войти

纯谓词演算
_
pure predicate calculus


чистое исчисление предикатов

пословный:

纯 谓词演算
chún
чистый, без примеси; цельный
_
predicate calculus

похожие:
谓词演算 单谓词演算 狭谓词演算 狭义谓词演算 一阶谓词演算 二阶谓词演算 一元谓词演算 谓词演算语言 三阶谓词演算 高阶谓词演算 广义谓词演算 谓词演算公式 带等式谓词演算 多种类谓词演算 一阶纯谓词演算 谓词演算的解释 纯一阶谓词演算 谓词演算的连接词 带恒等式的谓词演算 谓词演算中的连接词