Other Logic Textbooks · OpenLogicProject/OpenLogic Wiki · GitHub [https://github.com/OpenLogicProject/OpenLogic/wiki/Other-Logic-Textbooks] - 2018-12-04 12:02:13 - public:stevetao Book, Logic, Math, Math-Logic, Textbook - 5 | id:229081 -
A Concise Introduction to Logic - Open SUNY Textbooks [https://textbooks.opensuny.org/concise-introduction-to-logic/] - 2018-12-04 12:01:40 - public:stevetao Book, Logic, Math, Math-Logic, Textbook - 5 | id:229080 -
Free Online Logic Textbooks [https://www.scivillage.com/thread-2416.html] - 2018-12-04 11:58:58 - public:stevetao Book, Logic, Math, Math-Logic, Textbook - 5 | id:229079 -
Logic Primer Files — Teller Logic Primer [https://tellerprimer.ucdavis.edu/pdf/] - 2018-12-04 11:58:44 - public:stevetao Book, Logic, Math, Math-Logic, Textbook - 5 | id:229078 -
the forall x homepage [https://www.fecundity.com/logic/] - 2018-12-04 11:56:43 - public:stevetao Book, Logic, Math, Math-Logic, Textbook - 5 | id:229077 -
Open Logic Project | Open Source, Customizable, Advanced Logic Text [http://openlogicproject.org/] - 2018-12-04 11:53:36 - public:stevetao Book, Logic, Math, Math-Logic, Textbook - 5 | id:229076 -
Section 0.1: Computing in a Web Page: Basics [http://www.math.mtu.edu/mathlab/COURSES/holt/dnt/intro1.html] - 2018-12-03 17:22:42 - public:stevetao Computation, Course, Math - 3 | id:229062 -
Cse371, Math371 LOGIC [https://www3.cs.stonybrook.edu/~cse371/] - 2018-12-03 07:30:01 - public:stevetao Book, Course, Free, Logic, Math, Math-Logic - 6 | id:229060 -
Automated Theorem Proving, Prolegomena on Propositional Logic [https://pqnelson.github.io/2015/02/07/prolegomena-prop-logic.html] - 2018-12-03 07:28:01 - public:stevetao Automated-Theorem-Proving, Logic, Math, Math-Logic, Proof, Propositional-Logic - 6 | id:229059 -
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] - 2018-12-02 07:46:10 - public:stevetao Axiom, Logic, Math, Math-Logic - 4 | id:229051 -
Logic, Explainability and the Future of Understanding—Stephen Wolfram Blog [https://blog.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/] - 2018-12-01 18:59:07 - public:stevetao Logic, Math, Math-Logic - 3 | id:229046 -
New Elegant Axiomatizations of Some Logics [http://fitelson.org/ar.html] - 2018-12-01 18:00:26 - public:stevetao Axiom, Logic, Math, Math-Logic, Single-Axiom - 5 | id:229045 -
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] - 2018-11-30 07:55:28 - public:stevetao Axiom, Logic, Math, Math-Logic, Single-Axiom - 5 | id:226467 -
Web Pages Associated with Papers of William McCune [https://www.cs.unm.edu/~mccune/papers/] - 2018-11-29 11:41:41 - public:stevetao Axiom, Logic, Math, Math-Logic, Single-Axiom - 5 | id:226465 -
meredith - Metamath Proof Explorer [http://us.metamath.org/mpegif/meredith.html] - 2018-11-29 11:31:11 - public:stevetao Axiom, Logic, Math, Math-Logic, Meredith, Single-Axiom - 6 | id:226464 -
Jacek Gondzio's home page [https://www.maths.ed.ac.uk/~gondzio/] - 2018-11-29 11:15:09 - public:stevetao Mathematical-Programming, Optimization, People - 3 | id:226463 -
The (surprising) 9 most common challenges that Product Owners face, and affect their Scrum Teams – Scrum Master Toolbox Podcast [https://scrum-master-toolbox.org/2018/11/blog/the-surprising-9-most-common-challenges-that-product-owners-face-and-affect-their-scrum-teams/?utm_source=%5BE4818_01%5D&utm_medium=email] - 2018-11-29 06:50:52 - public:stevetao Agile, Product-Owner - 2 | id:226460 -
OTexts [https://otexts.org/sfml] - 2018-11-28 11:48:54 - public:stevetao Book, Free, Textbook - 3 | id:226429 -
Artificial Intelligence through Prolog by Neil C. Rowe [http://faculty.nps.edu/ncrowe/book/book.html] - 2018-11-28 11:47:17 - public:stevetao Artificial-Intelligence, Book, Free, Prolog - 4 | id:226428 -
Boosting [https://mitpress.mit.edu/sites/default/files/titles/content/boosting_foundations_algorithms/titlepage.html] - 2018-11-28 11:39:45 - public:stevetao Algorithm, Artificial-Intelligence, Boosting - 3 | id:226427 -
Gaussian Processes for Machine Learning: Contents [http://www.gaussianprocess.org/gpml/chapters/] - 2018-11-28 11:37:40 - public:stevetao Artificial-Intelligence, Machine-Learning - 2 | id:226426 -
The Future of Machine Intelligence [Book] [https://www.oreilly.com/library/view/the-future-of/9781492042334/?intcmp=il-data-free-lp-lgen_free_reports_page] - 2018-11-28 11:36:44 - public:stevetao Artificial-Intelligence, Book, Machine-Learning - 3 | id:226425 -
Machine Learning for Designers [Book] [https://www.oreilly.com/library/view/machine-learning-for/9781491971444/] - 2018-11-28 11:36:08 - public:stevetao Artificial-Intelligence, Book, Machine-Learning - 3 | id:226424 -
Applied Machine Learning in Python with scikit-learn — scikit-learn tutorial v0.7+ documentation [http://gael-varoquaux.info/scikit-learn-tutorial/] - 2018-11-28 11:31:01 - public:stevetao Artificial-Intelligence, Machine-Learning, Python, Scikit-Learn, Tutorial - 5 | id:226423 -
10 best books on artificial intelligence [https://bigthink.com/Charles-Koch-Foundation/forced-examination-how-the-free-speech-of-others-benefits-us-all] - 2018-11-28 11:25:54 - public:stevetao Artificial-Intelligence, Book - 2 | id:226418 -
LIONbook - intelligent-optimization.org for prescriptive analytics [https://intelligent-optimization.org/LIONbook/] - 2018-11-28 10:11:17 - public:stevetao Artificial-Intelligence, Book, Free - 3 | id:226417 -
Reinforcement Learning | IntechOpen [https://www.intechopen.com/books/reinforcement_learning] - 2018-11-28 10:10:28 - public:stevetao Artificial-Intelligence, Book, ReinforcementLearning - 3 | id:226416 -
Artificial Intelligence: Foundations of Computational Agents, 2nd Edition [https://artint.info/2e/html/ArtInt2e.html] - 2018-11-28 10:08:09 - public:stevetao Artificial-Intelligence, Book, Free - 3 | id:226415 -
Artificial Intelligence - Agent Behaviour - Download link [https://www.e-booksdirectory.com/details.php?ebook=4446] - 2018-11-28 09:25:40 - public:stevetao Artificial-Intelligence, Book - 2 | id:226414 -
Computers and Thought [http://www.cs.bham.ac.uk/research/projects/poplog/computers-and-thought/] - 2018-11-28 09:20:01 - public:stevetao Artificial-Intelligence, Book - 2 | id:226413 -
Ambient Intelligence | IntechOpen [https://www.intechopen.com/books/ambient-intelligence] - 2018-11-28 09:16:42 - public:stevetao Artificial-Intelligence, Book, Free - 3 | id:226412 -
Machine Learning, Neural and Statistical Classification [http://www1.maths.leeds.ac.uk/~charles/statlog/] - 2018-11-28 09:13:12 - public:stevetao Artificial-Intelligence, Book, Free, Machine-Learning - 4 | id:226411 -
Affective Computing | IntechOpen [https://www.intechopen.com/books/affective_computing] - 2018-11-28 09:09:31 - public:stevetao Artificial-Intelligence, Book, Free - 3 | id:226410 -
Planning Algorithms / Motion Planning [http://planning.cs.uiuc.edu/] - 2018-11-28 09:08:19 - public:stevetao Algorithm, Artificial-Intelligence, Book, Free, Planning - 5 | id:226409 -
Bioinspired Computation in Combinatorial Optimization [http://www.bioinspiredcomputation.com/] - 2018-11-28 09:06:00 - public:stevetao Artificial-Intelligence, Book, Combinatorial, Optimization - 4 | id:226408 -
Nils J. Nilsson Home Page [http://ai.stanford.edu/~nilsson/] - 2018-11-28 09:01:22 - public:stevetao Artificial-Intelligence, Book, Free - 3 | id:226407 -
Common Lisp: A Gentle Introduction to Symbolic Computation [http://www.cs.cmu.edu/~dst/LispBook/] - 2018-11-28 08:59:04 - public:stevetao Artificial-Intelligence, Book, Common-Lisp, Free, Symbolic-Computation - 5 | id:226406 -
Clever Algorithms: Nature-Inspired Programming Recipes | Table of Contents [http://www.cleveralgorithms.com/nature-inspired/index.html] - 2018-11-28 08:57:33 - public:stevetao Algorithm, Artificial-Intelligence, Book, Computational-Intelligence, Metaheuristics - 5 | id:226405 - Clever Algorithms: Nature-Inspired Programming Recipes
Essentials of Metaheuristics [https://cs.gmu.edu/~sean/book/metaheuristics/] - 2018-11-28 08:52:38 - public:stevetao Artificial-Intelligence, Book, Metaheuristics - 3 | id:226404 -
Mark Watson: consultant specializing in artificial intelligence, machine, and natural language processing learningMark Watson: consultant specializing in artificial intelligence, machine, and natural language processing learning [http://markwatson.com/books/] - 2018-11-28 08:49:16 - public:stevetao Artificial-Intelligence, Book, Machine-Learning - 3 | id:226403 -
Simply Logical [http://people.cs.bris.ac.uk/~flach/SL/] - 2018-11-28 08:40:39 - public:stevetao Artificial-Intelligence, Book, Free, Reasoning - 4 | id:226402 -
A Course in Machine Learning [http://ciml.info/] - 2018-11-28 08:37:01 - public:stevetao Artificial-Intelligence, Book, Free, Machine-Learning - 4 | id:226401 -
20 free books to get started with Artificial Intelligence [https://bigdata-madesimple.com/20-free-books-to-get-started-with-artificial-intelligence/] - 2018-11-28 08:35:09 - public:stevetao Artificial-Intelligence, Book, Free - 3 | id:226400 - Are you searching for some best books to get acquainted with the basics of AI? Here is a list of 20 free books on Artificial Intelligence.
Artificial Intelligence: A Modern Approach [http://aima.cs.berkeley.edu/] - 2018-11-27 13:45:19 - public:stevetao Artificial-Intelligence, Book - 2 | id:226396 -
Machine Learning Yearning [http://www.mlyearning.org/] - 2018-11-27 10:26:35 - public:stevetao Artificial-Intelligence, Book, Machine-Learning - 3 | id:226390 -
Deep Learning [http://www.deeplearningbook.org/] - 2018-11-27 10:25:57 - public:stevetao Artificial-Intelligence, Book, DeepLearning, Free - 4 | id:226389 -
Mining of Massive Datasets [http://mmds.org/] - 2018-11-27 10:24:28 - public:stevetao Artificial-Intelligence, Book, Data-Mining - 3 | id:226388 -
The Ancient Art of the Numerati [http://guidetodatamining.com/] - 2018-11-27 10:23:37 - public:stevetao Artificial-Intelligence, Book, Data-Mining - 3 | id:226387 -
Bayesian Methods for Hackers [http://camdavidsonpilon.github.io/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers/] - 2018-11-27 10:01:45 - public:stevetao Artificial-Intelligence, Bayesian, Book, Free, Machine-Learning - 5 | id:226384 -
Understanding Machine Learning [http://www.cs.huji.ac.il/~shais/UnderstandingMachineLearning/] - 2018-11-27 10:00:55 - public:stevetao Artificial-Intelligence, Book, Free, Machine-Learning - 4 | id:226383 -
