數理邏輯
shù​lǐ​luó​ji

mathematical logic

  • created reference approved 数理逻辑/數理邏輯 → 符号逻辑/符號邏輯 (same_as) — "Initial import from upstream dictionary"

    数理逻辑 / 數理邏輯 shù​lǐ​luó​ji

    符号逻辑 / 符號邏輯 fú​hào​luó​ji

    same_as

    Changed: source (simp), source (trad), source pinyin, target (simp), target (trad), target pinyin, type

    created reference

  • created sense approved 数理逻辑/數理邏輯 · shù​lǐ​luó​ji · mathematical logic — "Initial import from upstream dictionary"

    数理逻辑 / 數理邏輯

    shù​lǐ​luó​ji

    mathematical logic

    A branch of mathematics that uses symbols and mathematical methods to study logic; also called [[符号逻辑|符號邏輯|fu2 hao4 luo2 ji5]].

    shù​lǐ​luó​jí

    数理 (literal) → 数理/數理 · shù​lǐ · mathematical 逻辑 (literal) → 逻辑/邏輯 · luó​ji · logic

    Changed: simplified, traditional, gloss, definition, pinyin, variant pinyin, variants, separable parts, decomposition

    created sense