Teach Yourself Logic: A Study Guide (and other Book Notes) - Logic MattersLogic Matters [https://www.logicmatters.net/tyl/] - 2018-12-12 09:06:58 - public:stevetao Book, Logic, Math, Math-Logic - 4 | id:229244 -
Free Mathematical Logic Books | Download free books legally [https://www.topfreebooks.org/free-mathematics-ebooks-online-mathematical-logic/] - 2018-12-12 09:03:09 - public:stevetao Book, Free, Logic, Math, Math-Logic - 5 | id:229243 -
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] - 2018-12-11 10:18:36 - public:stevetao Linear-Programming, Math, Mathematical-Programming, Optimization, Piecewise - 5 | id:229153 -
The Keyboard Layouts and Input Method of the Thai Language [https://www.nectec.or.th/it-standards/keyboard_layout/thai-key.html] - 2018-12-08 23:10:16 - public:stevetao Keyboard, Layout, Thai, Typing - 4 | id:229124 -
การวิเคราะห์และออกแบบแป้นพิมพ์เสมือนภาษาไทยสำหรับเครื่องคอมพิวเตอร์จอสัมผัสโดยใช้ขั้นตอนวิธีพันธุกรรม | Forest [https://urban.cpe.ku.ac.th/ThailandResearch/?itemID=533171] - 2018-12-08 23:08:09 - public:stevetao Keyboard, Layout, Thai, Typing - 4 | id:229123 -
บทที่1| พินอิน Pinyin (拼音) พยัญชนะและสระในภาษาจีน [http://www.taiwanandi.com/chapter1-pinyin/] - 2018-12-08 22:59:11 - public:stevetao Chinese, Pinyin - 2 | id:229122 -
หน่วย 1 ความรู้พื้นฐานในการเรียนพิมพ์ดีด - พิมพ์ดีดไทยเบื้องต้น (อาจารย์เชาวลัย โยธารักษ์) [https://sites.google.com/site/phimphdidthiy/khwam-ru-phun-than-ni-kar-reiyn-phimph-did] - 2018-12-08 22:55:27 - public:stevetao Thai, Typing, Typing-Lesson - 3 | id:229121 -
พิมพ์ดีดไทยเบื้องต้น (อาจารย์เชาวลัย โยธารักษ์) [https://sites.google.com/site/phimphdidthiy/home] - 2018-12-08 22:53:01 - public:stevetao Thai, Typing, Typing-Lesson - 3 | id:229120 -
-->>รวมบทอาขยาน!!!! ๏ ๏ สมัยเราเด็ก ๆ ป.1-ม.ศ.3๏ ๏ | ครูบ้านนอกดอทคอม [https://www.kroobannok.com/21353] - 2018-12-08 18:45:21 - public:stevetao Children, Kid, Poem, Thai - 4 | id:229119 -
ประชุมสุภาษิตสอนหญิง คำนำ [http://vajirayana.org/%E0%B8%9B%E0%B8%A3%E0%B8%B0%E0%B8%8A%E0%B8%B8%E0%B8%A1%E0%B8%AA%E0%B8%B8%E0%B8%A0%E0%B8%B2%E0%B8%A9%E0%B8%B4%E0%B8%95%E0%B8%AA%E0%B8%AD%E0%B8%99%E0%B8%AB%E0%B8%8D%E0%B8%B4%E0%B8%87/%E0%B8%84%E0%B8%B3%E0%B8%99%E0%B8%B3] - 2018-12-08 18:43:06 - public:stevetao Poem, Thai, Woman - 3 | id:229118 -
Typing Practice for Programmers | typing.io [https://typing.io/pricing] - 2018-12-08 18:09:33 - public:stevetao English, Programming, Typing, Typing-Lesson - 4 | id:229117 -
โปรแกรมฝึกพิมพ์ดีด อาหรับ-อังกฤษ-ไทย [http://www.daasee.com/keyboardtutor/index.php] - 2018-12-08 18:05:15 - public:stevetao Arabic, English, Thai, Typing, Typing-Lesson - 5 | id:229116 -
Keyboarding Lessons [http://drgunn.net/ATA/KB/KB-Lessons.html] - 2018-12-08 18:00:40 - public:stevetao English, Typing, Typing-Lesson - 3 | id:229115 -
Touch Typing Online Lessons [https://www.typingstudy.com/list_of_free_touch_typing_software_and_online_resources] - 2018-12-08 17:59:28 - public:stevetao English, Typing, Typing-Lesson - 3 | id:229114 -
บทเรียนการพิมพ์สัมผัสออนไลน์ [https://www.typingstudy.com/th-thai_kedmanee-3/lesson/1/part/2] - 2018-12-08 17:56:05 - public:stevetao Thai, Typing, Typing-Lesson - 3 | id:229113 -
พิมพ์ดีดอังกฤษ2200-1007 [https://sites.google.com/site/phimphdidxangkvs22001007/home] - 2018-12-08 17:54:14 - public:stevetao English, Typing, Typing-Lesson - 3 | id:229112 -
Open Textbook Initiative | American Inst. of Mathematics [https://aimath.org/textbooks/] - 2018-12-06 17:17:29 - public:stevetao Book, Free, Math - 3 | id:229108 -
python - How can the Euclidean distance be calculated with NumPy? - Stack Overflow [https://stackoverflow.com/questions/1401712/how-can-the-euclidean-distance-be-calculated-with-numpy] - 2018-12-06 10:08:53 - public:stevetao Distance-Map, Numpy, Python - 3 | id:229106 -
Mathematical Logic - Free Books at EBD [https://www.e-booksdirectory.com/listing.php?category=33] - 2018-12-05 18:57:24 - public:stevetao Book, Free, Logic, Math, Math-Logic - 5 | id:229093 -
Hitchhiker's guide to the Python imports | There is no magic here [https://alex.dzyoba.com/blog/python-import/] - 2018-12-05 11:44:02 - public:stevetao Import, Python - 2 | id:229090 -
Get back "Open command window here" context menu option in Windows 10 Creators Update » Winhelponline [https://www.winhelponline.com/blog/cmd-here-windows-10-context-menu-add/] - 2018-12-05 10:48:49 - public:stevetao Open-Command-Prompt-Here, Windows10 - 2 | id:229089 -
Missing "Open Command Prompt Here" after upgrade to windows 10 - Microsoft Community [https://answers.microsoft.com/en-us/windows/forum/all/missing-open-command-prompt-here-after-upgrade-to/b1b2f3e9-9078-48ba-8a01-99f67eed8164?auth=1] - 2018-12-05 10:40:41 - public:stevetao Open-Command-Prompt-Here, Windows10 - 2 | id:229088 -
Square root of 2 - Wikipedia [https://en.wikipedia.org/wiki/Square_root_of_2#Constructive_proof] - 2018-12-05 06:44:40 - public:stevetao Proof, Square-root-of-2 - 2 | id:229086 -
number theory - Question on a constructive proof of irrationality of $\sqrt 2$ - Mathematics Stack Exchange [https://math.stackexchange.com/questions/1589603/question-on-a-constructive-proof-of-irrationality-of-sqrt-2] - 2018-12-05 06:44:23 - public:stevetao Constructive-Proof, Proof, Square-root-of-2 - 3 | id:229085 -
Exercises for First-Order Logic - Intro to Logic - OpenStax CNX [https://cnx.org/contents/OD1Lhy17@20.20:Rq860IY2@28/Exercises-for-First-Order-Logic] - 2018-12-04 12:04:18 - public:stevetao Logic, Math, Math-Logic - 3 | id:229082 -
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, Free, Logic, Math, Math-Logic, Textbook - 6 | 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, Prefix, Single-Axiom, Verify - 7 | 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 AI, Artificial-Intelligence, Book, Free, Prolog - 5 | 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 AI, Algorithm, Artificial-Intelligence, Boosting - 4 | id:226427 -
Gaussian Processes for Machine Learning: Contents [http://www.gaussianprocess.org/gpml/chapters/] - 2018-11-28 11:37:40 - public:stevetao AI, Artificial-Intelligence, Machine-Learning - 3 | 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 AI, Artificial-Intelligence, Book, Machine-Learning - 4 | 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 AI, Artificial-Intelligence, Book, Machine-Learning - 4 | 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 AI, Artificial-Intelligence, Machine-Learning, Python, Scikit-Learn, Tutorial - 6 | 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 AI, Artificial-Intelligence, Book - 3 | id:226418 -
