{"id":1065,"date":"2018-11-07T17:48:33","date_gmt":"2018-11-07T17:48:33","guid":{"rendered":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/?page_id=1065"},"modified":"2018-11-07T17:48:48","modified_gmt":"2018-11-07T17:48:48","slug":"fopc-representation-assignment","status":"publish","type":"page","link":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/fopc-representation-assignment\/","title":{"rendered":"FOPC representation assignment"},"content":{"rendered":"<p>Represent the following objects and relationships in first-order predicate calculus<\/p>\n<p>a) Students are people<br \/>\nb) Instructors are people too<br \/>\nc) Students take courses<br \/>\nd) CS4260 is a course<br \/>\ne) Courses have 0 or more prerequisites, which are also courses<br \/>\nf) CS3250 and CS3251 are prerequisites of CS4260<br \/>\ng) If a student takes a course, they must already have taken its prerequisites<\/p>\n<p>Upload the answers as a PDF, clearly identified as (a)through (g). Type your answers using ForAll(X) and Exists(X) as representing quantifiers.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Represent the following objects and relationships in first-order predicate calculus a) Students are people b) Instructors are people too c) Students take courses d) CS4260 is a course e) Courses have 0 or more prerequisites, which are also courses f) &hellip; <a href=\"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/fopc-representation-assignment\/\">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-1065","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/pages\/1065","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=1065"}],"version-history":[{"count":2,"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/pages\/1065\/revisions"}],"predecessor-version":[{"id":1067,"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/pages\/1065\/revisions\/1067"}],"wp:attachment":[{"href":"https:\/\/my.dev.vanderbilt.edu\/cs4260cs5260\/wp-json\/wp\/v2\/media?parent=1065"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}