我的逻辑观

李高尚 2012-09-13 15:18:07

猫薄荷糖
2012-09-23 21:02:30 猫薄荷糖

逻辑了话就在语言的运用中....

失恋集团CEO
2012-09-24 19:37:34 失恋集团CEO (坐标天河北_网络不出名写手。)

...

李高尚
2012-09-26 13:08:24 李高尚 (深陷游戏行业无法自拔)

@猫薄荷糖
元语言中亦有逻辑形式,但抽象出来的逻辑更便于理解和证明。

亥伯龙
2012-12-26 12:16:05 亥伯龙 (尤里卡)

推荐个模态逻辑的入门著作吧,这方面好像没多少

李高尚
2013-01-10 21:53:14 李高尚 (深陷游戏行业无法自拔)
推荐个模态逻辑的入门著作吧,这方面好像没多少 推荐个模态逻辑的入门著作吧,这方面好像没多少 亥伯龙

说实话我自己在模态这边读的也不多,除了周北海的(还没怎么细看),就看过李小五的。
待我这个假期补一补,回头来写。谢谢提醒。

昳晔
2013-01-11 18:57:42 昳晔 (高贵的骗子诚实的谎者理念的赌徒)

能推荐本集合论较基础的书吗?

李高尚
2013-01-11 22:13:00 李高尚 (深陷游戏行业无法自拔)
能推荐本集合论较基础的书吗? 能推荐本集合论较基础的书吗? 昳晔

刘壮虎的《素朴集合论》