Yet Another Bookmarks Service
Viewing stevetao's Bookmarks
H. Jerome Keisler Home Page
[https://people.math.wisc.edu/~hkeisler/] -
-
public:
stevetao
Lecture 9: Classical Logic and its Proof Theory - YouTube
[https://www.youtube.com/watch?v=sj_BzT1xgdQ] -
-
public:
stevetao
19 Common Fallacies, Explained. - YouTube
[https://www.youtube.com/watch?v=wwUe7T2OKQE] -
-
public:
stevetao
Logical Reasoning (Sound, Valid & Invalid arguments - Deductive, Inductive, Abductive Logic) - YouTube
[https://www.youtube.com/watch?v=lWhjFoC3PME] -
-
public:
stevetao
Logic in Late Modern Philosophy - YouTube
[https://www.youtube.com/watch?v=bWILaM_JFFI&list=PLybg94GvOJ9FIZxEevSANiCk5O9l_rYWK&index=24] -
-
public:
stevetao
Deductive and Inductive Reasoning Flow Chart: Valid vs Invalid, Strong vs Weak, Sound vs Unsound - YouTube
[https://www.youtube.com/watch?v=6Sg9zI-GNsI] -
-
public:
stevetao
Learning and Evaluation/Logic models - Meta
[https://meta.wikimedia.org/wiki/Learning_and_Evaluation/Logic_models] -
-
public:
stevetao
Jaina seven-valued logic - Wikipedia
[https://en.wikipedia.org/wiki/Jaina_seven-valued_logic] -
-
public:
stevetao
Multimedia Logic Projects
[http://www.dst-corp.com/james/MMLogic.html] -
-
public:
stevetao
Boolean normal form - Learning Logic for Computer Science
[https://logic4free.informatik.uni-kiel.de/llocs/Boolean_normal_form] -
-
public:
stevetao
Lecture1
[https://www.cs.columbia.edu/~rgu/courses/e6998/fall2018/Lecture1.html] -
-
public:
stevetao
Syllabus - Programming Languages and Methodologies
[https://eecs.ceas.uc.edu/~ralescal/AI_I/LECTURES/Lecture1_printable.html] -
-
public:
stevetao
The formal language of propositional logic – The nature of physics
[https://philphys.hypotheses.org/149] -
-
public:
stevetao
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] -
-
public:
stevetao
Introduction to Logic
[http://intrologic.stanford.edu/homepage/index.html] -
-
public:
stevetao
Introduction to Logic - Chapter 2
[http://intrologic.stanford.edu/chapters/chapter_02.html] -
-
public:
stevetao
propositional logic- formal language Propositional Logic is a formal language. - Zitoc
[https://zitoc.com/propositional-logic-formal-language/] -
-
public:
stevetao
Propositional Logic | Internet Encyclopedia of Philosophy
[https://iep.utm.edu/prop-log/] -
-
public:
stevetao
What is Signal? - YouTube
[https://www.youtube.com/watch?v=M0mx8S05v60&list=PLBlnK6fEyqRjMH3mWf6kwqiTbT798eAOm] -
-
public:
stevetao
Kanat Poolsawasd - YouTube
[https://www.youtube.com/@kanatpoolsawasd491/playlists] -
-
public:
stevetao
Approved Textbooks | American Inst. of Mathematics
[https://aimath.org/textbooks/approved-textbooks/] -
-
public:
stevetao
WFF 'N PROOF - Wikipedia
[https://en.wikipedia.org/wiki/WFF_%27N_PROOF] -
-
public:
stevetao
Fitch notation - Wikipedia
[https://en.wikipedia.org/wiki/Fitch_notation] -
-
public:
stevetao
Well-formed formula
[https://en-academic.com/dic.nsf/enwiki/229538] -
-
public:
stevetao
Mathematics 187 - Introduction to Mathematical Logic
[https://services.math.duke.edu/~wka/math187/] -
-
public:
stevetao
Mathematical logics Fall 2014 - Exams - University of Trento
[https://disi.unitn.it/~ldkr/ml2014/lessons.html] -
-
public:
stevetao
Single axioms for BCI
[https://web.ics.purdue.edu/~dulrich/BCI-page.htm] -
-
public:
stevetao
Comprehensive List of Logic Symbols | Math Vault
[https://mathvault.ca/hub/higher-math/math-symbols/logic-symbols/] -
-
public:
stevetao
Philosophy of Mathematics and Its Logic: Introduction - Oxford Handbooks
[https://www.oxfordhandbooks.com/view/10.1093/oxfordhb/9780195325928.001.0001/oxfordhb-9780195325928-e-1] -
-
public:
stevetao
List of free mathematics books | Math Wiki | Fandom
[https://math.wikia.org/wiki/List_of_free_mathematics_books] -
-
public:
stevetao
Yiannis N. Moschovakis Books
[https://www.math.ucla.edu/~ynm/books.htm] -
-
public:
stevetao
Lewis Carroll's Logic Game (an introduction)
[https://www.cut-the-knot.org/LewisCarroll/index.shtml] -
-
public:
stevetao
The Game of Logic by Lewis Carroll - Free Ebook
[http://www.gutenberg.org/ebooks/4763] -
-
public:
stevetao
The Project Gutenberg E-text of The Game of Logic, by Lewis Carroll
[http://www.gutenberg.org/files/4763/4763-h/4763-h.htm] -
-
public:
stevetao
Newest Free mathematics / logic Books | BookFusion
[https://www.bookfusion.com/books/free?language=_all&query=mathematics+%2F+logic&sort=created_at-desc] -
-
public:
stevetao
Links on logic and the foundations of mathematics
[http://settheory.net/links] -
-
public:
stevetao
Mathematical logic reconstructed PDF download
[http://www.topology.org/tex/conc/mlstats.php] -
-
public:
stevetao
soft question - Reading materials for mathematical logic - MathOverflow
[https://mathoverflow.net/questions/33096/reading-materials-for-mathematical-logic] -
-
public:
stevetao
MATH 444 Senior Seminar: Mathematical Logic
[https://mileti.math.grinnell.edu/m444s16/schedule.html] -
-
public:
stevetao
A.Miller - Math
[https://www.math.wisc.edu/~miller/] -
-
public:
stevetao
Mathematical Logic through Python
[https://www.logicthrupython.org/] -
-
public:
stevetao
The Zakon Series on Mathematical Analysis by Elias Zakon
[http://www.trillia.com/products.html] -
-
public:
stevetao
The Complexity of Boolean Functions
[https://eccc.weizmann.ac.il//static/books/The_Complexity_of_Boolean_Functions/] -
-
public:
stevetao
Proofs and Concepts
[http://people.uleth.ca/~dave.morris/books/proofs+concepts.html] -
-
public:
stevetao
An introduction to logic programming through Prolog - Spivey's Corner
[http://spivey.oriel.ox.ac.uk/corner/An_introduction_to_logic_programming_through_Prolog] -
-
public:
stevetao
A Gentle Introduction to the Art of Mathematics (GIAM)
[https://osj1961.github.io/giam/] -
-
public:
stevetao
Mathematical Logic - Computability, Set Theory, Model Theory, Proof Theory, etc. - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
[https://freecomputerbooks.com/mathLogicBooks.html] -
-
public:
stevetao
Simply Logical : Intelligent Reasoning by Example
[http://people.cs.bris.ac.uk/~flach/SimplyLogical.html] -
-
public:
stevetao
Set Theory by William Weiss
[http://www.math.utoronto.ca/weiss/set_theory.html] -
-
public:
stevetao
Model Theory, Algebra, and Geometry
[http://library.msri.org/books/Book39/contents.html] -
-
public:
stevetao
Viewing 1 - 50, 50 links out of 142 links, page: 1
Follow Tags
Manage