V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX 提问指南
dioxide
V2EX  ›  问与答

形式逻辑有没有对应的图形可视化的方法/工具?

  •  
  •   dioxide · 2019-12-13 18:41:50 +08:00 · 893 次点击
    这是一个创建于 1567 天前的主题,其中的信息可能已经有所发展或是发生改变。

    虽然形式逻辑本身有一套形式化的符号系统可以描述. 但图形化更直观(比如顺序执行的代码总是可以转换为流程图).

    已有的比如: 欧拉图 能描述包含关系、整体部分关系.

    是否已经有大牛造了类似的轮子?

    类似地 : 最近看到铁路图,感觉这东西用来描述形式化的语法,一目了然. 比如运算表达式:

    QgLBZV.md.png

    目前尚无回复
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   946 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 26ms · UTC 21:23 · PVG 05:23 · LAX 14:23 · JFK 17:23
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.