你即將離開本站

並前往https://books.google.com.tw/books?id=n79Zh2JzBhYC&pg=PA520&lpg=PA520&dq=%E9%9B%86%E5%90%88+%E6%A7%8B%E9%80%A0+%E8%A8%98%E8%99%9F&source=bl&ots=bgJlupcjPz&sig=ACfU3U2VrF3r7GE9CPpur5i4M4B4NbT4oA&hl=zh-TW&sa=X&ved=2ahUKEwiO-_7Lj775AhXAg5UCHT7RCPgQ6AF6BQiMAhAD

计算机科学技术百科全书 - 第 520 頁 - Google 圖書結果

目的在于为 E. Bishop 构造数学提供全面的形式化。 ... (居元 a :类型 A )可分别解释为(元素:集合)、(证明:命题)、(程序:规约)、(解:问题)。例如马丁洛夫理论中的规则: ...

確定！ 回上一頁

查詢 「集合 構造 記號」的人也找了：

  1. 集合 A-B
    2.
  2. 集合元素
    3.
  3. 集合符號
    4.
  4. 集合描述法
    5.
  5. 空集合
    6.
  6. 餘集合
    7.
  7. N(A 集合)
    8.
  8. 集合論
    9.