Log in Sign up
2 Matching Annotations
  1. Dec 2022
  2. www.zhihu.com www.zhihu.com
    简单图灵机怎么模拟高级的? - 知乎
    1
    1. caocao485 14 Dec 2022
      in Public
      简单图灵机怎么模拟高级的?
      类型系统 图灵 图灵记 图灵机
    Visit annotations in context

    Tags

    • 图灵
    • 图灵记
    • 图灵机
    • 类型系统

    Annotators

    • caocao485

    URL

    zhihu.com/question/371479671
  3. www.zhihu.com www.zhihu.com
    如何通俗地解释停机问题(Halting Problem)? - 知乎
    1
    1. caocao485 13 Dec 2022
      in Public
      如何通俗地解释停机问题(Halting Problem)?
      基础概念 图灵机 数理逻辑 逻辑学
    Visit annotations in context

    Tags

    • 基础概念
    • 数理逻辑
    • 图灵机
    • 逻辑学

    Annotators

    • caocao485

    URL

    zhihu.com/question/20081359
Share:
Group. Only group members will be able to view this annotation.
Only me. No one else will be able to view this annotation.
Hypothes.is
  • About
  • Blog
  • Bioscience
  • Education
  • Jobs
  • Help
  • Contact
  • Terms of Service
  • Privacy Policy