数理逻辑
shù​lǐ​luó​jí

mathematical logic

  • created sense approved 数理逻辑/數理邏輯 · shù​lǐ​luó​jí · mathematical logic

    数理逻辑 / 數理邏輯

    shù​lǐ​luó​jí

    mathematical logic

    The branch of mathematics and formal logic concerned with the study of formal systems and the foundations of mathematics.

    数理逻辑是计算机科学的重要理论基础。

    created sense