Yahoo香港字典 搜尋

搜尋結果

  1. mathematical logic

    • IPA[ˌmaTH(ə)ˌmadəkəl ˈläjik]
    • n.
      the part of mathematics concerned with the study of formal languages, formal reasoning, the nature of mathematical proof, provability of mathematical statements, computability, and other aspects of the foundations of mathematics.
    • noun: mathematical logic

    • 更多解釋
    • n.
      logic that is mathematical in its method, manipulating symbols according to definite and ...

    Oxford Dictionary