7 Matching Annotations
  1. Dec 2022
  2. www.zhihu.com www.zhihu.com
    SystemF 对应二阶逻辑，Fω 对应高阶逻辑，这个阶是怎么算得？ - 知乎
    1
    1. caocao485 14 Dec 2022
      SystemF 对应二阶逻辑，Fω 对应高阶逻辑，这个阶是怎么算得？
      编程语言 逻辑 编程语言理论 逻辑学
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/321025032
  3. www.zhihu.com www.zhihu.com
    Cut elimination对于STLC以及其他type system的意义？ - 知乎
    1
    1. caocao485 14 Dec 2022
      Cut elimination对于STLC以及其他type system的意义？
      类型系统 数理逻辑 类型 逻辑学 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/54408615
  4. www.zhihu.com www.zhihu.com
    如果想自学逻辑学哪里有可靠的信息来源？ - 知乎
    1
    1. caocao485 14 Dec 2022
      如果想自学逻辑学哪里有可靠的信息来源？
      逻辑学 形式逻辑
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/382821556
  5. www.zhihu.com www.zhihu.com
    如何理解linear logic？ - 知乎
    1
    1. caocao485 14 Dec 2022
      如何理解linear logic？
      类型系统 逻辑学 类型推导
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/55873374
  6. www.zhihu.com www.zhihu.com
    如何通俗地解释停机问题（Halting Problem）？ - 知乎
    1
    1. caocao485 13 Dec 2022
      如何通俗地解释停机问题（Halting Problem）？
      基础概念 图灵机 数理逻辑 逻辑学
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/20081359
  7. www.zhihu.com www.zhihu.com
    如何简单清晰地解释哥德尔不完备定理？ - 知乎
    1
    1. caocao485 13 Dec 2022
      如何简单清晰地解释哥德尔不完备定理？
      数理逻辑 逻辑学 哥德尔
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/27528796
  8. www.zhihu.com www.zhihu.com
    图灵机与λ演算是等价的，为什么前者成为了普遍接受的计算机或计算理论的模型？ - 知乎
    1
    1. caocao485 13 Dec 2022
      图灵机与λ演算是等价的，为什么前者成为了普遍接受的计算机或计算理论的模型？
      计算机语言 计算机科学 逻辑学 编程 复杂性
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/20773904