600.325/425 - Declarative Methods - JHU CS [http://cs.jhu.edu/~jason/325/] - 2019-12-10 04:12:50 - public:stevetao Computer-Science, Declarative, Logic, Normal-Form, Programming - 5 | id:272202 -
How to Convert a Formula to CNF [https://www.cs.jhu.edu/~jason/tutorials/convert-to-CNF.html] - 2019-12-10 02:28:15 - public:stevetao CNF, Conjunctive, Normal-Form - 3 | id:272201 -
沧海一声笑 Laughter over the Great Sea | SMUCO 新大华乐团 - YouTube [https://www.youtube.com/watch?v=hCbDYihVlIA] - 2019-12-04 15:17:44 - public:stevetao Chinese, Mixed, Music, Song, Swordman - 5 | id:272171 -
沧海一声笑===古筝，笛子合奏 - YouTube [https://www.youtube.com/watch?v=I9VlsswKh30] - 2019-12-04 15:05:35 - public:stevetao Chinese, Flute, Guzheng, Instrumental, Music, Song, Swordman, 沧海一声笑 - 8 | id:272170 -
美女钢琴演绎金庸经典武侠组曲《铁血丹心+沧海一声笑》太震撼 - YouTube [https://www.youtube.com/watch?v=AUsqcguMsIY] - 2019-12-04 14:46:11 - public:stevetao Chinese, Music, Piano, Song, Swordman, 沧海一声笑 - 6 | id:272169 -
Programming.in.th | ศูนย์กลางการเรียนรู้การพัฒนาโปรแกรมคอมพิวเตอร์สำหรับเยาวชน โดย สถาบันส่งเสริมการสอนวิทยาศาสตร์และเทคโนโลยี ( สสวท. ) สาขาวิชาคอมพิวเตอร์ [https://programming.in.th/task/problem.php?pid=1051] - 2019-12-04 13:38:18 - public:stevetao Programming - 1 | id:272168 -
โจทย์ตรรกศาสตร์ค่ะ - Mathcenter Forum [http://www.mathcenter.net/forum/showthread.php?t=7508] - 2019-11-29 14:47:46 - public:stevetao Logic, Puzzle - 2 | id:272129 -
โจทย์ชวนคิด - MATH NARAK [http://mathnarak.weebly.com/36503592360736183660359436233609358836363604.html] - 2019-11-29 09:35:10 - public:stevetao Logic, Puzzle - 2 | id:272128 -
Logic & Proofs — Open & Free - OLI [https://oli.cmu.edu/courses/logic-proofs-copy/] - 2019-11-28 18:11:12 - public:stevetao Course, Logic - 2 | id:272123 -
CS270 -- Mathematical Foundations in CS, Fall 2017 [https://www.cs.drexel.edu/~jjohnson/2017-18/fall/CS270/] - 2019-11-28 18:04:23 - public:stevetao Logic, Math, Scheme - 3 | id:272122 -
COMP SCI 3EA3 - Software Specifications and Correctness [https://www.cas.mcmaster.ca/~alhassm/] - 2019-11-28 17:43:11 - public:stevetao Formal-Method, Specification - 2 | id:272121 -
CISC/CMPE422, CISC835: Formal Methods in Software Engineering [http://research.cs.queensu.ca/home/cisc422/] - 2019-11-28 17:31:31 - public:stevetao Formal-Method - 1 | id:272120 -
Discrete Mathematics [https://gcallah.github.io/DiscreteMathematics/index.html] - 2019-11-28 17:29:59 - public:stevetao Course, Discrete-Math - 2 | id:272119 -
CSE 482/CIS 582: Logic in Computer Science [https://www.cis.upenn.edu/~alur/cse482.html] - 2019-11-28 17:29:36 - public:stevetao Course, Logic - 2 | id:272118 -
Applications of Propositional Logic [https://gcallah.github.io/DiscreteMathematics/app_proplogic.html] - 2019-11-28 17:19:44 - public:stevetao Propositional-Logic - 1 | id:272117 -
Lectures 11—13: Introduction to logic for verification [http://www.cs.cornell.edu/courses/cs312/2008sp/lectures/logic.html] - 2019-11-28 17:17:38 - public:stevetao Logic, Verification - 2 | id:272116 -
6 Ways to Build Lifelong Learning Skills In Your Learners [https://www.wabisabilearning.com/blog/6-lifelong-learning-skills] - 2019-11-28 07:38:02 - public:stevetao Learning, Lifelong, Lifelong-Learning - 3 | id:272113 -
8 Lesson Plans to Promote Lifelong Learning - Focus [https://www.mindmeister.com/blog/8-lesson-plans-promote-lifelong-learning/] - 2019-11-28 07:35:07 - public:stevetao Learning, Lifelong, Lifelong-Learning - 3 | id:272112 -
Insights from Aotearoa New Zealand: Defining Lifelong Learning « Competency Works [https://www.competencyworks.org/case-study/insights-from-aotearoa-new-zealand-defining-lifelong-learning/] - 2019-11-28 07:29:08 - public:stevetao Learning, Lifelong, Lifelong-Learning - 3 | id:272110 -
Adult Competencies for Lifelong Learning - Zheng Qinhua, Ma Dongming, Nian Zhiying, Xie Hao - Google Books [https://books.google.co.th/books?id=U3KPDAAAQBAJ&pg=PA19&lpg=PA19&dq=lifelong+learning+competency&source=bl&ots=JKsS-3o0fP&sig=ACfU3U2Fj6bcnnn8fRtk3cACNWb-u4myMw&hl=en&sa=X&ved=2ahUKEwirtoXtrYzmAhXs7HMBHZhlA0UQ6AEwEHoECAoQAQ#v=onepage&q=lifelong%20learnin] - 2019-11-28 07:27:43 - public:stevetao Learning, Lifelong, Lifelong-Learning - 3 | id:272109 -
Lifelong-Learner Competencies [https://www.k12albemarle.org/acps/division/Pages/Lifelong-Learner-Competencies.aspx] - 2019-11-28 07:26:58 - public:stevetao Learning, Lifelong, Lifelong-Learning - 3 | id:272108 -
Key Competences for Lifelong Learning: new proposal [https://www.schooleducationgateway.eu/en/pub/latest/news/key-competences-for-lifelong.htm] - 2019-11-28 07:21:17 - public:stevetao Learning, Lifelong, Lifelong-Learning - 3 | id:272107 -
Community-based lifelong learning and adult education: adult skills and competencies for lifelong learning - UNESCO Digital Library [https://unesdoc.unesco.org/ark:/48223/pf0000246743] - 2019-11-28 07:20:39 - public:stevetao Learning, Lifelong, Lifelong-Learning - 3 | id:272106 -
4.4. The Stack Abstract Data Type — Problem Solving with Algorithms and Data Structures [https://runestone.academy/runestone/books/published/pythonds/BasicDS/TheStackAbstractDataType.html] - 2019-11-28 07:10:41 - public:stevetao Python, Specification, Stack - 3 | id:272105 -
Lecture 06 [https://www.cs.unc.edu/~stotts/COMP204/senotes/L06.html] - 2019-11-28 07:09:35 - public:stevetao Algebraic-Specification, Set, Specification, Stack - 4 | id:272104 -
SE 507 Algebraic Specifications [https://www.cs.scranton.edu/~mccloske/courses/se507/alg_specs_lec.html] - 2019-11-28 07:09:06 - public:stevetao Algebraic-Specification, Bag, Queue, Set, Specification, Stack - 6 | id:272103 -
Stack Specification [https://webdocs.cs.ualberta.ca/~holte/T26/handout1.html] - 2019-11-28 07:02:50 - public:stevetao Specification, Stack - 2 | id:272102 -
STACK Specs [http://www.cs.unc.edu/~stotts/723/senotes/qs3.html] - 2019-11-28 07:01:46 - public:stevetao Algebraic-Specification, Specification, Stack - 3 | id:272101 -
อัตลักษณ์นิสิตมหาวิทยาลัยนเรศวร – มหาวิทยาลัยนเรศวร : Naresuan University [https://www.nu.ac.th/?p=16812] - 2019-11-27 07:46:10 - public:stevetao NU - 1 | id:272086 -
AUN-QA Publications [http://www.aunsec.org/publications.php] - 2019-11-27 02:37:47 - public:stevetao Assessment, Assurance, AUN-QA, Education, Quality - 5 | id:272073 -
List of Hilbert systems - Wikipedia [https://en.wikipedia.org/wiki/List_of_Hilbert_systems] - 2019-11-21 14:19:49 - public:stevetao Axiom, Logical - 2 | id:272034 -
What are the applications of diophantine equations? where do we apply the higher degree diophantine equations? [https://www.researchgate.net/post/what_are_the_applications_of_diophantine_equations_where_do_we_apply_the_higher_degree_diophantine_equations] - 2019-11-21 05:53:55 - public:stevetao Diophantine-Equation - 1 | id:272032 -
Invited talk: Applying Satisfiability to the Analysis of Cryptography - Galois, Inc. [https://galois.com/news/applying-satisfiability-analysis-cryptography-sat-2015-talk-aaron-tomb/] - 2019-11-21 04:55:36 - public:stevetao Cryptography, SAT, Satisfiability - 3 | id:272030 -
The Boolean Satisfiability Problem [SAT] and SAT solvers in 5 mins* (or more) - 0a.io - [https://0a.io/chapter1/boolean-satisfiability-problem-or-sat-in-5-minutes.html] - 2019-11-21 04:53:04 - public:stevetao Boolean, BSAT, SAT, Satisfiability - 4 | id:272029 -
Sudoku - Satisfiability [http://www.cs.qub.ac.uk/~I.Spence/SuDoku/SuDoku.html] - 2019-11-21 04:52:43 - public:stevetao SAT, Satisfiability, Sudoku - 3 | id:272028 -
The satisfiability problem [http://www.cs.ecu.edu/karl/6420/spr16/Notes/NPcomplete/sat.html] - 2019-11-21 04:46:11 - public:stevetao NP-Complete, SAT, Satisfiability - 3 | id:272027 -
Applications of Boolean Satisfiability (SAT) - Analytics Vidhya - Medium [https://medium.com/analytics-vidhya/application-of-boolean-satisfiability-sat-87f41fb0e5ed] - 2019-11-21 04:44:35 - public:stevetao Boolean, SAT, Satisfiability - 3 | id:272026 -
ชื่อเล่นไทยๆ แต่เก๋ ลูกสาว ลูกชาย ชื่อไทยก็เก๋ได้ ความหมายดีด้วย | theAsianparent Thailand [https://th.theasianparent.com/%E0%B8%8A%E0%B8%B7%E0%B9%88%E0%B8%AD%E0%B9%80%E0%B8%A5%E0%B9%88%E0%B8%99%E0%B9%84%E0%B8%97%E0%B8%A2%E0%B9%86-%E0%B9%81%E0%B8%95%E0%B9%88%E0%B9%80%E0%B8%81%E0%B9%8B-%E0%B8%A5%E0%B8%B9%E0%B8%81%E0%B8%AA%E0%B8%B2%E0%B8%A7-%E0%B8] - 2019-11-16 11:58:12 - public:stevetao Name, Thai - 2 | id:271984 -
1.2.4 Bound and Free Variables [http://www.coli.uni-saarland.de/projects/milca/esslli/html/node8.html] - 2019-11-16 07:45:53 - public:stevetao Bound, Free, Variable - 3 | id:271983 -
logic - Which are the Bound and Free Variables in these expressions? - Mathematics Stack Exchange [https://math.stackexchange.com/questions/474893/which-are-the-bound-and-free-variables-in-these-expressions] - 2019-11-16 07:44:15 - public:stevetao Bound, Free, Variable - 3 | id:271982 -
first order logic - What is the operator precedence for quantifiers? - Mathematics Stack Exchange [https://math.stackexchange.com/questions/1150746/what-is-the-operator-precedence-for-quantifiers] - 2019-11-15 18:24:23 - public:stevetao Logic, Math-Logic, Precedence - 3 | id:271979 -
Getting Google Apps Scripts to Run on Mobile - Stack Overflow [https://stackoverflow.com/questions/50894212/getting-google-apps-scripts-to-run-on-mobile] - 2019-11-14 23:35:24 - public:stevetao GoogleAppsScript, Mobile-App - 2 | id:271974 -
android - Executing Google Apps Script Functions from Mobile App - Stack Overflow [https://stackoverflow.com/questions/33373826/executing-google-apps-script-functions-from-mobile-app] - 2019-11-14 23:33:44 - public:stevetao GoogleAppsScript, Mobile-App - 2 | id:271973 -
Tearing apart printf() – MaiZure's Projects [https://www.maizure.org/projects/printf/index.html] - 2019-11-13 23:07:25 - public:stevetao C, CPP, Printf - 3 | id:271961 -
Logic Alphabet Home Page [http://www.logic-alphabet.net/] - 2019-11-13 15:12:05 - public:stevetao Logic - 1 | id:271958 -
Lecture Notes Philosophy 120A Autumn 2007 Introduction to Logic [https://faculty.washington.edu/smcohen/120/LectureNotes.htm] - 2019-11-12 05:45:57 - public:stevetao Book, Logic - 2 | id:271949 -
Derivation of Null Quantification in Logic? - Mathematics Stack Exchange [https://math.stackexchange.com/questions/850887/derivation-of-null-quantification-in-logic] - 2019-11-12 05:40:12 - public:stevetao Logic, Math-Logic, Null, Quantification, Quantifier - 5 | id:271948 -
Let’s Build A Simple Interpreter. Part 4. - Ruslan's Blog [https://ruslanspivak.com/lsbasi-part4/] - 2019-11-12 05:28:22 - public:stevetao Compiler, Interpreter - 2 | id:271947 -
SHELLdorado - Shell Tips & Tricks (Beginner) [http://www.shelldorado.com/shelltips/beginner.html] - 2019-11-11 18:14:29 - public:stevetao KornShell, Ksh, Shell - 3 | id:271940 -
Korn Shell Tips - Daniel Han's Technical Notes [https://sites.google.com/site/xiangyangsite/home/technical-tips/linux-unix/shell-programming/korn-shell/ksh] - 2019-11-11 18:13:35 - public:stevetao KornShell, Ksh, Shell - 3 | id:271939 -
