How would I get into formal logic, like AI, Prolog, etc.
-
-
Apparently there are lots of different logics, to express different things?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Yeah, I feel I’ve ad-hocced my way there, now I want to see how much further logic could take me.
-
first get a firm grasp of first order logic, which should be a good subject in itself.
- 5 more replies
New conversation -
-
-
I'm a fan of the following book for this kind of stuff: https://www.amazon.com/Algorithms-Data-Structures-Idioms-Prolog/dp/0136070477 …
-
Interesting, thanks!
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.