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 Course, Logic, Math, Math-Logic, Propositional-Logic - 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 [http://intrologic.stanford.edu/homepage/index.html] - 2022-12-31 15:56:44 - public:stevetao Course, Logic, Math, Math-Logic - 4 | id:1294755 -
Introduction to Logic - Chapter 2 [http://intrologic.stanford.edu/chapters/chapter_02.html] - 2022-12-31 15:55:15 - public:stevetao Logic, Math, Math-Logic, Propositional-Logic - 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 -
การพิสูจน์ทางคณิตศาสตร์ - YouTube [https://www.youtube.com/results?search_query=%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B8%9E%E0%B8%B4%E0%B8%AA%E0%B8%B9%E0%B8%88%E0%B8%99%E0%B9%8C%E0%B8%97%E0%B8%B2%E0%B8%87%E0%B8%84%E0%B8%93%E0%B8%B4%E0%B8%95%E0%B8%A8%E0%B8%B2%E0%B8%AA%E0%B8%95%E0%B8%A3%E0%B9%8C] - 2022-11-25 22:08:33 - public:stevetao Math, Proof, Thai - 3 | id:1294462 -
Free Math Textbooks | Open Culture [https://www.openculture.com/free-math-textbooks] - 2022-11-18 06:04:36 - public:stevetao Math, Proof - 2 | id:1294356 -
An Introduction to Proofs and the Mathematical Vernacular [https://personal.math.vt.edu/day/ProofsBook/] - 2022-11-18 05:59:35 - public:stevetao Book, Free, Math, Proof - 4 | id:1294355 -
Proofs in Mathematics [http://www.cut-the-knot.org/proofs/index.shtml] - 2022-11-18 05:57:45 - public:stevetao Book, Free, Math, Proof - 4 | id:1294354 -
Russ Gordon [http://people.whitman.edu/~gordon/math260.html] - 2022-11-18 05:48:38 - public:stevetao Book, Free, Math, Proof - 4 | id:1294353 -
How To Write Proofs [http://zimmer.csufresno.edu/~larryc/proofs/proofs.html] - 2022-11-18 05:47:36 - public:stevetao Book, Free, Math, Proof - 4 | id:1294352 -
PROOF IN MATHEMATICS: AN INTRODUCTION [https://web.maths.unsw.edu.au/~jim/proofs.html] - 2022-11-18 05:46:35 - public:stevetao Book, Free, Math, Proof - 4 | id:1294351 -
Free Texts and More [https://hefferon.net/] - 2022-11-18 05:39:21 - public:stevetao Book, Free, Math, Proof, Theory-of-Computation - 5 | id:1294350 -
Textbooks — Ted Sundstrom [https://www.tedsundstrom.com/textbooks3] - 2022-11-18 03:02:21 - public:stevetao Book, Free, Math, Proof - 4 | id:1294345 -
Approved Textbooks | American Inst. of Mathematics [https://aimath.org/textbooks/approved-textbooks/] - 2022-11-18 02:58:36 - public:stevetao Algebra, Book, Calculus, Discrete-Math, Free, Logic, Math, Math-Logic, Number-Theory, Probability, Proof - 11 | id:1294344 -
Examples of NFA [https://www.bookofproofs.org/branches/examples-of-nfa/] - 2022-10-18 12:14:52 - public:stevetao Automata, Math, NFA, Proof, State-Machine - 5 | id:1287188 -
Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi » Makale » Designing and Interpreting a Mathematical Programming Language [http://www.saujs.sakarya.edu.tr/tr/pub/saufenbilder/article/494974] - 2022-09-23 16:42:41 - public:stevetao Grammar, Math, Mathematical-Programming - 3 | id:1276717 -
Terms Used in Equations [https://www.factmonster.com/math-science/mathematics/terms-used-in-equations] - 2022-08-12 04:33:42 - public:stevetao Math, Term, Vocabulary - 3 | id:1257932 -
ทำไมเราต้องเรียนแคลคูลัส - YouTube [https://www.youtube.com/watch?v=BB7n89JdASM] - 2022-04-22 18:55:15 - public:stevetao Calculus, Math, Pedagogy, Tip - 4 | id:1097901 -
Mathematics | Special Issue : Effective Integration of the Affective Domain in the Teaching and Learning of Mathematics [https://www.mdpi.com/journal/mathematics/special_issues/Affect_Domain_Math] - 2022-04-05 03:28:54 - public:stevetao Affective, Bloom, Domain, Education, Math, Taxonomy - 6 | id:1074453 -
Affective Domain in Mathematics Education [http://ve.scielo.org/scielo.php?script=sci_abstract&pid=S1011-22512007000100012&lng=pt&nrm=iso&tlng=en] - 2022-04-05 03:03:43 - public:stevetao Affective, Bloom, Domain, Education, Math, Taxonomy - 6 | id:1074452 -
Elementary Calculus: An Infinitesimal Approach [https://people.math.wisc.edu/~keisler/calc.html] - 2022-02-04 14:10:59 - public:stevetao Book, Calculus, Free, Math - 4 | id:1021859 -
WFF 'N PROOF - Wikipedia [https://en.wikipedia.org/wiki/WFF_%27N_PROOF] - 2022-01-03 10:16:53 - public:stevetao Game, Logic, Math, Math-Logic - 4 | id:980420 -
Fitch notation - Wikipedia [https://en.wikipedia.org/wiki/Fitch_notation] - 2022-01-03 10:12:54 - public:stevetao Logic, Math, Math-Logic - 3 | id:980419 -
Well-formed formula [https://en-academic.com/dic.nsf/enwiki/229538] - 2022-01-03 10:12:42 - public:stevetao Logic, Math, Math-Logic - 3 | id:980418 -
Linear format equations using UnicodeMath and LaTeX in Word [https://support.microsoft.com/en-us/office/linear-format-equations-using-unicodemath-and-latex-in-word-2e00618d-b1fd-49d8-8cb4-8d17f25754f8] - 2021-12-28 07:04:52 - public:stevetao Equation, Math, Tip, Word - 4 | id:975088 -
Complete Reference on Ms Word Equation Editor Shortcut - PickupBrain [https://www.pickupbrain.com/ms-word/equation-editor-shortcut-word/] - 2021-12-25 01:27:04 - public:stevetao Equation, Math, Tip, Word - 4 | id:969812 -
Mathematics 187 - Introduction to Mathematical Logic [https://services.math.duke.edu/~wka/math187/] - 2021-02-23 23:58:55 - public:stevetao Course, Logic, Math, Math-Logic - 4 | id:573967 -
Mathematical logics Fall 2014 - Exams - University of Trento [https://disi.unitn.it/~ldkr/ml2014/lessons.html] - 2021-02-23 23:40:51 - public:stevetao Course, Logic, Math, Math-Logic - 4 | id:573966 -
Single axioms for BCI [https://web.ics.purdue.edu/~dulrich/BCI-page.htm] - 2021-02-22 15:36:54 - public:stevetao Axiom, Logic, Math, Math-Logic, Single-Axiom - 5 | id:573951 -
________ [https://astunit.com/books/Maths.htm] - 2021-02-17 09:00:48 - public:stevetao Astronomy, Book, Calculation, Math - 4 | id:573866 -
Comprehensive List of Logic Symbols | Math Vault [https://mathvault.ca/hub/higher-math/math-symbols/logic-symbols/] - 2021-02-08 06:37:49 - public:stevetao Logic, Math, Math-Logic - 3 | id:573752 -
201117 Mathematics and Science in Civilization [http://math.science.cmu.ac.th/kettapun/201117/201117-2557-Term1/201117-2557Term1.htm] - 2021-01-15 01:08:35 - public:stevetao Course, Math - 2 | id:485801 -
PANTIP.COM : K5383822 มาลองทำโจทย์คณิตศาสตร์ตามแบบไทยแท้กันครับ [ประวัติศาสตร์] [http://topicstock.pantip.com/library/topicstock/2007/05/K5383822/K5383822.html] - 2021-01-14 18:53:05 - public:stevetao Calculation, Math, Thai - 3 | id:485783 -
Philosophy of Mathematics and Its Logic: Introduction - Oxford Handbooks [https://www.oxfordhandbooks.com/view/10.1093/oxfordhb/9780195325928.001.0001/oxfordhb-9780195325928-e-1] - 2021-01-08 01:07:35 - public:stevetao Logic, Math, Math-Logic - 3 | id:485621 -
List of free mathematics books | Math Wiki | Fandom [https://math.wikia.org/wiki/List_of_free_mathematics_books] - 2021-01-08 01:04:19 - public:stevetao Abstract-Algebra, Analysis, Calculus, Discrete-Math, Free, Game-Theory, Geometry, Logic, Math, Math-Logic, Number-Theory, Probability, Statistics - 13 | id:485620 -
Yiannis N. Moschovakis Books [https://www.math.ucla.edu/~ynm/books.htm] - 2021-01-08 01:00:16 - public:stevetao Book, Logic, Math, Math-Logic - 4 | id:485619 -
Lewis Carroll's Logic Game (an introduction) [https://www.cut-the-knot.org/LewisCarroll/index.shtml] - 2021-01-08 00:57:43 - public:stevetao Book, Logic, Math, Math-Logic - 4 | id:485618 -
The Game of Logic by Lewis Carroll - Free Ebook [http://www.gutenberg.org/ebooks/4763] - 2021-01-08 00:53:51 - public:stevetao Book, Free, Logic, Math, Math-Logic - 5 | id:485617 -
The Project Gutenberg E-text of The Game of Logic, by Lewis Carroll [http://www.gutenberg.org/files/4763/4763-h/4763-h.htm] - 2021-01-08 00:53:25 - public:stevetao Book, Free, Logic, Math, Math-Logic - 5 | id:485616 -
Newest Free mathematics / logic Books | BookFusion [https://www.bookfusion.com/books/free?language=_all&query=mathematics+%2F+logic&sort=created_at-desc] - 2021-01-08 00:46:33 - public:stevetao Book, Logic, Math, Math-Logic - 4 | id:485615 -
Links on logic and the foundations of mathematics [http://settheory.net/links] - 2021-01-08 00:45:20 - public:stevetao Book, Course, Logic, Math, Math-Logic, Resource - 6 | id:485614 -
Mathematical logic reconstructed PDF download [http://www.topology.org/tex/conc/mlstats.php] - 2021-01-07 14:15:27 - public:stevetao Free, Logic, Math, Math-Logic - 4 | id:485606 -
soft question - Reading materials for mathematical logic - MathOverflow [https://mathoverflow.net/questions/33096/reading-materials-for-mathematical-logic] - 2021-01-06 01:05:09 - public:stevetao Book, Logic, Math, Math-Logic - 4 | id:485568 -
MATH 444 Senior Seminar: Mathematical Logic [https://mileti.math.grinnell.edu/m444s16/schedule.html] - 2021-01-06 00:41:11 - public:stevetao Book, Course, Logic, Math, Math-Logic - 5 | id:485567 -
A.Miller - Math [https://www.math.wisc.edu/~miller/] - 2021-01-05 17:33:36 - public:stevetao Lecture-Note, Logic, Math, Math-Logic, Person - 5 | id:485560 -
