{"id":6071,"date":"2023-09-12T15:56:17","date_gmt":"2023-09-12T18:56:17","guid":{"rendered":"https:\/\/www.inf.ufrgs.br\/ppgc\/?page_id=6071"},"modified":"2023-09-12T15:56:17","modified_gmt":"2023-09-12T18:56:17","slug":"cmp622","status":"publish","type":"page","link":"https:\/\/www.inf.ufrgs.br\/ppgc\/disciplinas\/lista-de-disciplinas\/cmp622\/","title":{"rendered":"CMP622"},"content":{"rendered":"<h3><strong>Theory of Computation<\/strong><\/h3>\n<p><b>Professor<\/b>: Andr\u00e9 Grahl Pereira<br \/>\n<b>Prerequisites<\/b>: \u2013<br \/>\n<b>Hours<\/b>: 30 hs<br \/>\n<b>Credits<\/b>: 2<br \/>\n<b>Semesters<\/b>: First and second semesters<br \/>\n<b>Undergraduate Enrollment<\/b>: \u2013<br \/>\n<b>Page Link<\/b>: \u2013<\/p>\n<p><strong>SUMMARY<\/strong><\/p>\n<p>Models of computation. Limits of formal systems. Complexity theory.<\/p>\n<p><strong>OBJECTIVES<\/strong><\/p>\n<p>Ensure that the students have sufficient basic knowledge of theory of computation for successful Ph.D. studies.<\/p>\n<p><strong>PROGRAM<\/strong><\/p>\n<p>There are two meetings between professor and students:<\/p>\n<p>i) in the first meeting the procedures for qualification are exposed;<br \/>\nii) in the second meeting the students have the qualification test.<\/p>\n<p>The information about in which week the qualification test is applied can be found in the link \u201cCalend\u00e1rio\u201d, available under the \u201cInstitucional\u201d link of the PPGC webpage<br \/>\n(<a href=\"http:\/\/ppgc.inf.ufrgs.br\/\" target=\"_blank\" rel=\"noopener\">http:\/\/ppgc.inf.ufrgs.br\/<\/a>). The exact day is informed by the professor in the first meeting.<\/p>\n<p><strong>EVALUATION<\/strong><\/p>\n<p>For approval, students should obtain a score &gt;= 6,0.<\/p>\n<p><strong>BIBLIOGRAPHY<\/strong><\/p>\n<p>Michael Sipser. Introduction to the Theory of Computation, Cengage Learning, 2013.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Theory of Computation Professor: Andr\u00e9 Grahl Pereira Prerequisites: \u2013 Hours: 30 hs Credits: 2 Semesters: First and second semesters Undergraduate Enrollment: \u2013 Page Link: \u2013 SUMMARY Models of computation. Limits of formal systems. Complexity theory. OBJECTIVES Ensure that the students have sufficient basic knowledge of theory of computation for successful Ph.D. studies. PROGRAM There are [&hellip;]<\/p>\n","protected":false},"author":11,"featured_media":0,"parent":462,"menu_order":622,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages\/6071"}],"collection":[{"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/comments?post=6071"}],"version-history":[{"count":1,"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages\/6071\/revisions"}],"predecessor-version":[{"id":6072,"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages\/6071\/revisions\/6072"}],"up":[{"embeddable":true,"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages\/462"}],"wp:attachment":[{"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/media?parent=6071"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}