
{"id":27,"date":"2013-08-13T16:47:41","date_gmt":"2013-08-13T16:47:41","guid":{"rendered":"http:\/\/pages.charlotte.edu\/logic\/?page_id=27"},"modified":"2018-04-23T16:40:04","modified_gmt":"2018-04-23T16:40:04","slug":"none","status":"publish","type":"page","link":"http:\/\/pages.charlotte.edu\/logic\/none\/","title":{"rendered":"Logic Learning Tools"},"content":{"rendered":"<table style=\"width: 100%\">\n<tbody>\n<tr>\n<th style=\"width: 15%\" width=\"30%\">TOPICS<\/th>\n<th style=\"width: 40%\" width=\"40%\">\u201cHOW-TO\u201d PREVIEW VIDEOS<\/th>\n<th style=\"width: 45%\" width=\"30%\">APPLETS<\/th>\n<\/tr>\n<tr>\n<td colspan=\"3\"><b>State-Transition Problems<\/b><\/td>\n<\/tr>\n<tr>\n<td style=\"width: 15%\" valign=\"top\" width=\"30%\">Dogs and Cats<\/td>\n<td style=\"width: 40%\" valign=\"top\" width=\"40%\"><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/dogs-and-cats\/\">Make Crossings<\/a><\/td>\n<td style=\"width: 45%\" valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/puzzles\/dc\/dc_webct.html\">Dogs and Cats<\/a><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\">Water Jugs<\/td>\n<td valign=\"top\" width=\"40%\"><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/water-jugs\/\">Transfer Water<\/a><\/td>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/puzzles\/wj\/wj_webct.html\">Water Jugs<\/a><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\">River Crossings<\/td>\n<td valign=\"top\" width=\"40%\"><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/river-crossings\/\">Make Crossings<\/a><\/td>\n<td valign=\"top\" width=\"30%\">River Crossings<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\">Towers of Hanoi<\/td>\n<td valign=\"top\" width=\"40%\"><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/state-transition-problems\/towers-of-hanoi\/\">Move Discs<\/a><\/td>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/puzzles\/toh\/toh_jar.html\">Towers of Hanoi<\/a><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\">Last One Loses<\/td>\n<td valign=\"top\" width=\"40%\">Remove Items<\/td>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/puzzles\/lol\/lol_jar.html\">Last One Loses<\/a><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\">Eight Tiles<\/td>\n<td valign=\"top\" width=\"40%\">Move Tiles<\/td>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/puzzles\/et\/et_jar.html\">Eight Tiles<\/a><\/td>\n<\/tr>\n<tr>\n<td colspan=\"3\"><b>Propositional Logic<\/b><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\">Truth Functional Analysis<\/td>\n<td valign=\"top\" width=\"40%\"><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/truth-functional-analysis\/\">Make Evaluations<\/a><\/td>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/core\/tf\/tf_webct.html\">Truth Functions<\/a><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\">Rules of Transition<\/td>\n<td valign=\"top\" width=\"40%\"><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/rules-of-transition\/\">Practice Rule Application<\/a><\/td>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/core\/jt\/jt_webct.html\">Justified Thought<\/a><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\">Proof Construction<\/td>\n<td valign=\"top\" width=\"40%\"><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/proof-construction\/\">Work Forwards (WF)<br \/>\n<\/a><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/proof-construction\/\">Work Backwards (WB)<br \/>\n<\/a><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/proof-construction\/\">WB with ADD<br \/>\n<\/a><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/proof-construction\/\">Apply Replacement Rules<\/a><\/td>\n<td valign=\"top\" width=\"30%\">\n<p>&nbsp;<\/p>\n<p><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/core\/dt_hint\/dt_hint.html\">Deep Thought<\/a><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\">Translation<\/td>\n<td valign=\"top\" width=\"40%\"><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/translation\/\">Represent Statements<\/a><\/td>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/core\/lt\/lt_webct.html\">Translation<\/a><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\">Statement Reformulation<\/td>\n<td valign=\"top\" width=\"40%\"><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/statement-reformulation\/\">Reformulate as Conditionals<\/a><\/td>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/core\/sr\/sr_webct.html\">Statement Reformulation<\/a><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\">Premises &amp; Conclusions<\/td>\n<td valign=\"top\" width=\"40%\"><a href=\"http:\/\/pages.charlotte.edu\/logic\/logic-learning-tools\/premises-conclusions\/\">Identify Premises\/Conclusions<\/a><\/td>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/core\/pc\/pc_webct.html\">Premises &amp; Conclusions<\/a><\/td>\n<\/tr>\n<tr>\n<td colspan=\"3\"><b>Other<\/b><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/misc\/Wason\/wst.html\">Wason Selection Task<\/a><\/td>\n<td valign=\"top\" width=\"40%\"><\/td>\n<td valign=\"top\" width=\"30%\"><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/compsci\/phi\/phi_jar.html\">Phi Phenomenon<\/a><\/td>\n<td valign=\"top\" width=\"40%\"><\/td>\n<td valign=\"top\" width=\"30%\"><\/td>\n<\/tr>\n<tr>\n<td colspan=\"3\"><b>Help<\/b><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\"><a href=\"https:\/\/pages.charlotte.edu\/logic\/help\/running-the-applets\/\">Running Applets<\/a><\/td>\n<td valign=\"top\" width=\"40%\"><\/td>\n<td valign=\"top\" width=\"30%\"><\/td>\n<\/tr>\n<tr>\n<td valign=\"top\" width=\"30%\"><a href=\"http:\/\/pages.charlotte.edu\/logic\/help\/grading-and-certificates\/\">Grading and Certificates<\/a><\/td>\n<td valign=\"top\" width=\"40%\"><\/td>\n<td valign=\"top\" width=\"30%\"><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>TOPICS \u201cHOW-TO\u201d PREVIEW VIDEOS APPLETS State-Transition Problems Dogs and Cats Make Crossings Dogs and Cats Water Jugs Transfer Water Water Jugs River Crossings Make Crossings River Crossings Towers of Hanoi Move Discs Towers of Hanoi Last One Loses Remove Items Last One Loses Eight Tiles Move Tiles Eight Tiles Propositional Logic Truth Functional Analysis Make [&hellip;]<\/p>\n","protected":false},"author":13,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-27","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/pages\/27","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/users\/13"}],"replies":[{"embeddable":true,"href":"http:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/comments?post=27"}],"version-history":[{"count":24,"href":"http:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/pages\/27\/revisions"}],"predecessor-version":[{"id":181,"href":"http:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/pages\/27\/revisions\/181"}],"wp:attachment":[{"href":"http:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/media?parent=27"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}