Semantics

推論技術:inference Technology

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.
2021.11.20
推論技術:inference Technology数理論理学:Mathematical logic
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)
2021.10.03
Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic
python

Introduction to programming in the Python language (1) What is programming?

Basic mechanism and history of progming and computers
2021.09.24
pythonプログラミング言語:Programming Language
タイトルとURLをコピーしました