Boolean normal form - Learning Logic for Computer Science [https://logic4free.informatik.uni-kiel.de/llocs/Boolean_normal_form] - 2022-12-31 22:54:26 - public:stevetao Boolean, Course, Logic, Math, Math-Logic, Normal-Form, Propositional-Logic - 7 | id:1294760 -
Lecture1 [https://www.cs.columbia.edu/~rgu/courses/e6998/fall2018/Lecture1.html] - 2022-12-31 22:42:44 - public:stevetao Course, Logic, Math, Math-Logic, Propositional-Logic - 5 | id:1294759 -
Syllabus - Programming Languages and Methodologies [https://eecs.ceas.uc.edu/~ralescal/AI_I/LECTURES/Lecture1_printable.html] - 2022-12-31 22:42:15 - public:stevetao Math-Logic, Propositional-Logic, Math, Logic, Course - 5 | id:1294758 -
The formal language of propositional logic – The nature of physics [https://philphys.hypotheses.org/149] - 2022-12-31 16:01:49 - public:stevetao Logic, Math, Math-Logic, Propositional-Logic - 4 | id:1294757 -
logic - How to denote the BNF syntax of propositional calculus? - Mathematics Stack Exchange [https://math.stackexchange.com/questions/4037220/how-to-denote-the-bnf-syntax-of-propositional-calculus] - 2022-12-31 16:00:20 - public:stevetao BNF, Logic, Math, Math-Logic, Propositional-Logic - 5 | id:1294756 -
Introduction to Logic - Chapter 2 [http://intrologic.stanford.edu/chapters/chapter_02.html] - 2022-12-31 15:55:15 - public:stevetao Propositional-Logic, Math-Logic, Logic, Math - 4 | id:1294754 -
propositional logic- formal language Propositional Logic is a formal language. - Zitoc [https://zitoc.com/propositional-logic-formal-language/] - 2022-12-31 15:51:41 - public:stevetao Logic, Math, Math-Logic, Propositional-Logic - 4 | id:1294753 -
Propositional Logic | Internet Encyclopedia of Philosophy [https://iep.utm.edu/prop-log/] - 2022-12-31 15:50:15 - public:stevetao Logic, Math, Math-Logic, Propositional-Logic - 4 | id:1294752 -
Applications of Propositional Logic [https://gcallah.github.io/DiscreteMathematics/app_proplogic.html] - 2019-11-28 17:19:44 - public:stevetao Propositional-Logic - 1 | id:272117 -
Introduction to Scheme Continued — 383summer2019 documentation [http://www.sfu.ca/~tjd/383summer2019/scheme-intro-cont.html] - 2019-11-11 18:02:05 - public:stevetao Propositional-Logic, Scheme, EBNF - 3 | id:271937 -
Representation - propositional logic [https://ermongroup.github.io/cs323-notes/logic/representation/] - 2019-11-10 17:42:47 - public:stevetao Logic, Math-Logic, Propositional-Logic - 3 | id:271915 -
java - BNF Grammar for propositional logic ANTLR - Stack Overflow [https://stackoverflow.com/questions/14379711/bnf-grammar-for-propositional-logic-antlr] - 2019-10-29 09:19:48 - public:stevetao BNF, Grammar, Propositional-Logic - 3 | id:269584 -
Automated Theorem Proving, Prolegomena on Propositional Logic [https://pqnelson.github.io/2015/02/07/prolegomena-prop-logic.html] - 2018-12-03 15:28:01 - public:stevetao Logic, Math, Math-Logic, Proof, Propositional-Logic, Automated-Theorem-Proving - 6 | id:229059 -