{"id":826,"date":"2018-09-11T01:25:55","date_gmt":"2018-09-11T01:25:55","guid":{"rendered":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/?page_id=826"},"modified":"2018-09-11T01:25:55","modified_gmt":"2018-09-11T01:25:55","slug":"week-5-on-logic-and-theorem-proving","status":"publish","type":"page","link":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/week-5-on-logic-and-theorem-proving\/","title":{"rendered":"Week 5 on Logic and Theorem Proving"},"content":{"rendered":"<p>Post a reference to one of the following, together with a 100-150 word synopsis of the reference and your opinion of what is described in the reference.<\/p>\n<ul>\n<li>A description of a fielded application that involves logic, notably theorem proving<\/li>\n<li>An academic or industry\u00a0logic and theorem proving conference, workshop, or symposia<\/li>\n<li>A scenario of science fiction writing, television, or film that you believe illustrates logic and theorem proving, and very briefly how\u00a0these methods is potentially relevant to the scenario<\/li>\n<li>A demonstration site of a logic and theorem proving system<\/li>\n<li>An online course that includes a substantial amount of logic and theorem proving material<\/li>\n<\/ul>\n<p>Make sure that the reference is as specific as you can make it (e.g., a URL, together with a standard citation to the work, if available and applicable, and\/or if the referenced work is not on the Web). If you cut and paste any part of the description, then make sure that quotes are used appropriately. If your post is all or mostly quoted material, or closely worded paraphrases, then you probably won\u2019t get full credit. Your opinions and perspectives of the referenced work are important \u2014 not the particular views that you give, but the presence of some view, even if brief.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Post a reference to one of the following, together with a 100-150 word synopsis of the reference and your opinion of what is described in the reference. A description of a fielded application that involves logic, notably theorem proving An &hellip; <a href=\"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/week-5-on-logic-and-theorem-proving\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":633,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-826","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/pages\/826","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/users\/633"}],"replies":[{"embeddable":true,"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/comments?post=826"}],"version-history":[{"count":1,"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/pages\/826\/revisions"}],"predecessor-version":[{"id":827,"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/pages\/826\/revisions\/827"}],"wp:attachment":[{"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/media?parent=826"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}