{"id":5103,"date":"2022-07-13T13:13:22","date_gmt":"2022-07-13T16:13:22","guid":{"rendered":"http:\/\/www.inf.ufrgs.br\/ppgc\/?page_id=5103"},"modified":"2022-07-13T13:17:16","modified_gmt":"2022-07-13T16:17:16","slug":"cmp615","status":"publish","type":"page","link":"https:\/\/www.inf.ufrgs.br\/ppgc\/disciplinas\/lista-de-disciplinas\/cmp615\/","title":{"rendered":"CMP615"},"content":{"rendered":"<h3><strong>Exame de Qualifica\u00e7\u00e3o em Abrang\u00eancia: 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>: 15 hs<br \/>\n<b>Credits<\/b>: 1<br \/>\n<b>Semesters<\/b>: First and second semesters<br \/>\n<b>Undergraduate Enrollment<\/b>: Not allowed<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 style=\"text-align: justify;\">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:<br \/>\ni) 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 (<a href=\"http:\/\/ppgc.inf.ufrgs.br\/\" target=\"_blank\">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 style=\"text-align: justify;\">For approval, students should obtain a score &gt;= 6,0.<\/p>\n<p><strong>BIBLIOGRAPHY<\/strong><\/p>\n<p style=\"padding-left: 30px;\">Michael Sipser. Introduction to the Theory of Computation, Cengage Learning, 2013.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Exame de Qualifica\u00e7\u00e3o em Abrang\u00eancia: Theory of Computation Professor: Andr\u00e9 Grahl Pereira Prerequisites: \u2013 Hours: 15 hs Credits: 1 Semesters: First and second semesters Undergraduate Enrollment: Not allowed 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 [&hellip;]<\/p>\n","protected":false},"author":11,"featured_media":0,"parent":462,"menu_order":615,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages\/5103"}],"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=5103"}],"version-history":[{"count":2,"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages\/5103\/revisions"}],"predecessor-version":[{"id":5107,"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages\/5103\/revisions\/5107"}],"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=5103"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}