Creating Logic, Part 3 – Another Look at Logic Reading Notes
Foundations of logic (deductive reasoning, syntax and semantics) in mathematical logic used for reasoning mechanisms in artificial intelligence tasks.
Semantics
Creating Logic, Part I: Beginning Logic Reading Notes
A textbook of logic for artificial intelligence and basic mathematics (from propositional logic to predicate logic, and then semantics and multi-valued logic, intuitionistic logic)
Introduction to programming in the Python language (1) What is programming?
Basic mechanism and history of progming and computers