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

一阶谓词演算
_
first order predicate calculus; first-order predicate calculus


исчисление предикатов первой ступени; исчисление предикатов первого порядка
first order predicate calculus

пословный:

一阶谓词 谓词演算
_
predicate of first order
_
predicate calculus

похожие:
三阶谓词演算 二阶谓词演算 高阶谓词演算 一元谓词演算 一阶纯谓词演算 纯一阶谓词演算