Categories
Similar Boards
Suggest a Link

Logic

You must be logged in to view the contents of this board.

Intuitionistic logic

Pin
  1. Intuitionistic type theory

Mathematics

Pin
  1. Videos
  2. JSTOR
  3. Mathematical Reasoning CBSE class 11 Maths - YouTube
  4. Approved Textbooks | American Inst. of Mathematics
  5. Mathematics links
  6. Integral Calculator: Integrate with Wolfram|Alpha
  7. 7 more

Proof theory

Pin
  1. Formal proof
  2. Proof (truth)
  3. Proof theory

Proof Assistants

Pin
  1. Proof assistant

Logic

Pin
  1. What is Logic? - Definition & Examples - Video & Lesson Transcript | Study.com
  2. Logic | Internet Encyclopedia of Philosophy
  3. Truth Tables, Tautologies, and Logical Equivalence
  4. False Dilemma
  5. Formal | Logfall - Logical Fallacies
  6. Validity and Soundness | Internet Encyclopedia of Philosophy
  7. 10 more

Classical logic

Pin
  1. History of logic

Formal Logic

Pin
  1. A Crash Course in Formal Logic - YouTube
  2. Logic 101 MOOC - YouTube
  3. ASU CSE 294 Logic in Computer Science (Fall 2016) - YouTube

Set theory

Pin
  1. Set
  2. Portal:Set theory

Set Relations

Pin
  1. Binary relation

Propositional Logic

Pin
  1. Propositional calculus - Wikiwand
  2. List of rules of inference - Wikiwand
  3. ASU CSE 294 Logic in Computer Science (Fall 2016) - YouTube

Predicate Logic

Pin
  1. A Crash Course in Formal Logic - YouTube

Mathematical logic

Pin
  1. Mathematical logic
  2. Category:Mathematical logic
  3. Mathematics for Computer Science

Hoare logic

Pin
  1. Tutorial on Hoare Logic

SAT

Pin
  1. SAT Tutorials
  2. The SAT Game
  3. AiML: Tools
  4. Logictools
  5. AProS - Automated Proof Search

SAT Solvers

Pin
  1. The International Conferences on Theory and Applications of Satisfiability Testing (SAT)

Logic Software

Pin
  1. The International Conferences on Theory and Applications of Satisfiability Testing (SAT)
  2. MiniSat Page
  3. SAT Competitions
  4. Tools for Constrained Boolean Circuits
  5. online tools logic proof - Google Search
  6. Prolog Studio | InterProlog Consulting
  7. 15 more
0 Comment
Comments or thoughts?
Submit
Cancel
or
Email a link to this board
Share this board on Facebook
Share this board on Twitter
Notice label will go here