README¶
Basic Info¶
Computational Logic
└── README.md
More Info¶
Moodle Link¶
Textbook¶
- Logic in Computer Science: Modelling and Reasoning about Systems - Michael Huth, Mark Ryan - Second Edition
- Mathematical Logic through Python - Yannai A. Gonczarowski, Noam Nisan
About¶
- Logic
- Logicomix
- ChatGPT
- A Categorical Archive of ChatGPT Failures
- Testing the limits of logical reasoning in neural and hybrid models
- Benchmarking Neural Network Generalization for Grammar Induction
- Are NNs capable of compositional interpretation?
- Compositionality Decomposed: How doNeural Networks Generalise?