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

基本逻辑理论证明程序
_
программа для доказательства элементарных логических теорий


пословный:

基本逻辑 逻辑理论 论证 证明程序
_
basic logic
_
logic theory (计算机的)
lùnzhèng
доказательство, обоснование; аргумент(ация), довод; мотивировка; доказывать, обосновывать; аргументировать
_
justification routine, prover


близкие:
基本逻辑元件
基本逻辑公式
基本逻辑函数
基本逻辑定理
基本逻辑操作
基本逻辑电路
基本逻辑算子
基本逻辑运算