Symbolic Logic Creating Logic, Part 2: Expanding Logic Reading Notes Fundamentals of logic (predicate logic and tableau, PPL, IPL) in mathematical logic utilized for reasoning mechanisms in artificial intelligence tasks. 2021.11.16 Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic集合論:Set theory
Clojure Functional Programming (2) History History of programming languages, functional languages starting with LISP, Clojure, Scala, IPL 2021.04.15 Clojureプログラミング言語:Programming Language
