Intuitionistic Logic

数理論理学:Mathematical logic

Overview of Set Theory and Reference Books

What are sets for digital transformation, artificial intelligence, and machine learning task utilization for first-time learners Cantor's set theory, intuitionistic logic, quantum logic, topological spaces, Grothendieck, Goeter, Cohen, unreachable numbers, measurable numbers, axiom of determination, Frenkel's substitution axiom, von Neumann's regularity axiom, axiomatic set theory, BG set theory, Zermelo set theory, Cantor's diagonal theory reading notes
Symbolic Logic

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)
Exit mobile version
タイトルとURLをコピーしました