Search
Results
Teach Yourself Logic: A Study Guide (and other Book Notes) - Logic MattersLogic Matters
Free Mathematical Logic Books | Download free books legally
[https://www.topfreebooks.org/free-mathematics-ebooks-online-mathematical-logic/] - - public:stevetao
optimization - Convert a piecewise linear non-convex function into a linear optimisation problem. - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/1749509/convert-a-piecewise-linear-non-convex-function-into-a-linear-optimisation-proble] - - public:stevetao
Open Textbook Initiative | American Inst. of Mathematics
Mathematical Logic - Free Books at EBD
Exercises for First-Order Logic - Intro to Logic - OpenStax CNX
[https://cnx.org/contents/OD1Lhy17@20.20:Rq860IY2@28/Exercises-for-First-Order-Logic] - - public:stevetao
Other Logic Textbooks · OpenLogicProject/OpenLogic Wiki · GitHub
A Concise Introduction to Logic - Open SUNY Textbooks
Free Online Logic Textbooks
Logic Primer Files — Teller Logic Primer
the forall x homepage
Open Logic Project | Open Source, Customizable, Advanced Logic Text
Section 0.1: Computing in a Web Page: Basics
Cse371, Math371 LOGIC
Automated Theorem Proving, Prolegomena on Propositional Logic
logic - Why is this set {CqCpq, CCpCqrCCpqCpr, CCNpNqCqp} the most common set of axioms for propositional calculus? - Philosophy Stack Exchange
[https://philosophy.stackexchange.com/questions/1365/why-is-this-set-cqcpq-ccpcqrccpqcpr-ccnpnqcqp-the-most-common-set-of-axioms] - - public:stevetao
Logic, Explainability and the Future of Understanding—Stephen Wolfram Blog
[https://blog.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/] - - public:stevetao
New Elegant Axiomatizations of Some Logics
lo.logic - What is the Complete Set of Shortest Axioms of Classical Conditional-Negation Propositional Calculus? - MathOverflow
[https://mathoverflow.net/questions/182338/what-is-the-complete-set-of-shortest-axioms-of-classical-conditional-negation-pr] - - public:stevetao
Web Pages Associated with Papers of William McCune
meredith - Metamath Proof Explorer
Discovering Number Theory
Chance Welcome Page
combinatorics - TicTacToe State Space Choose Calculation - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/485752/tictactoe-state-space-choose-calculation] - - public:stevetao
Geometry Algorithms Home
Geometry Algorithms Home
NumWorks - The graphing calculator that makes learning math easier
9 Math Riddles, Can You Solve Them? - 9GAG
HostMath - Online LaTeX formula editor and browser-based math equation editor
Daniel Kunin
Inverse-chi-square distribution Calculator - High accuracy calculation
Integral Table
Calculate distance and bearing between two Latitude/Longitude points using haversine formula in JavaScript
GPS Latitude and Longitude Distance Calculator
Math ∩ Programming
3Blue1Brown
[http://www.3blue1brown.com/?utm_source=hackernewsletter&utm_medium=email&utm_term=watching] - - public:xxx
Basic Statistics Home Page
Intro to Statistics - Udacity
Learn and Teach Statistics and Operations Research | Demystifying statistics and O.R for learners and teachers.
List of Free Online Algebra Courses and Lessons
[http://education-portal.com/articles/List_of_Free_Online_Algebra_Courses_and_Lessons.html] - - public:jeffreydbrowngmail.com
Math Planet - Math help online, math tutoring: algebra, geometry, SAT, ACT
Statistics Tutorial
UsableStats: Statistics Tutorials
Virtual Math Lab - College Algebra
[http://www.wtamu.edu/academic/anns/mps/math/mathlab/col_algebra/] - - public:jeffreydbrowngmail.com