{"id":290,"date":"2020-10-07T22:29:59","date_gmt":"2020-10-07T22:29:59","guid":{"rendered":"https:\/\/eic.cefet-rj.br\/~jsantos\/?p=290"},"modified":"2020-10-07T22:53:04","modified_gmt":"2020-10-07T22:53:04","slug":"teoria-da-computacao","status":"publish","type":"post","link":"https:\/\/eic.cefet-rj.br\/~jsantos\/classes\/teoria-da-computacao\/","title":{"rendered":"Teoria da Computa\u00e7\u00e3o"},"content":{"rendered":"

A disciplina de Teoria da Computa\u00e7\u00e3o<\/em>\u00a0apresenta os principais conceitos das tr\u00eas \u00e1reas centrais da teoria da computa\u00e7\u00e3o, a saber: (i)<\/em> a teoria dos aut\u00f4matos, (ii)<\/em>\u00a0a teoria da computabilidade e (iii)<\/em>\u00a0a teoria da complexidade. Essas \u00e1reas buscam responder quais s\u00e3o as capacidades e limita\u00e7\u00f5es fundamentais dos computadores<\/em>. Em cada uma das tr\u00eas \u00e1reas essa quest\u00e3o \u00e9 interpretada de forma diferente e as respostas variam conforme a interpreta\u00e7\u00e3o.<\/p>\n

Programa<\/h3>\n

A disciplina aborda os seguinte t\u00f3picos:<\/p>\n

    \n
  1. No\u00e7\u00f5es e terminologia matem\u00e1ticas<\/strong>
    \nConjuntos, Sequ\u00eancias e tuplas, Fun\u00e7\u00f5es e rela\u00e7\u00f5es, Grafos, Cadeias (i.e.<\/em>, palavras) e linguagens, L\u00f3gica booleana, Defini\u00e7\u00f5es, teoremas e provas, Tipos de provas.<\/li>\n
  2. Teoria dos aut\u00f4matos<\/strong>\n