{"id":525,"date":"2019-02-11T21:43:16","date_gmt":"2019-02-11T23:43:16","guid":{"rendered":"https:\/\/turing.pro.br\/kadupantoja\/?page_id=525"},"modified":"2021-06-24T16:52:30","modified_gmt":"2021-06-24T19:52:30","slug":"logica-computacional","status":"publish","type":"page","link":"https:\/\/turing.pro.br\/kadupantoja\/index.php\/disciplinas\/logica-computacional\/","title":{"rendered":"L\u00f3gica Computacional"},"content":{"rendered":"

A disciplina de L\u00f3gica Computacional \u00e9 uma das disciplinas b\u00e1sicas dos cursos e computa\u00e7\u00e3o, sistemas e informa\u00e7\u00e3o e afins em seus diversos n\u00edveis poss\u00edveis (t\u00e9cnico, gradua\u00e7\u00e3o e p\u00f3s-gradua\u00e7\u00e3o). Sobre a bibliografia recomendada, sugiro os seguintes livros como material de refer\u00eancia e de apoio. Alguns indico para sala de aula e outros podem ter uma linguagem mais apropriada para concursos p\u00fablicos.\u00a0<\/p>\n

<\/a>\"\" <\/a>\"\"\u00a0\"\"<\/a>\"\"<\/div>\n
\u00a0<\/div>\n
Essa disciplina \u00e9 introdut\u00f3ria para l\u00f3gica computacional e cobre as defini\u00e7\u00f5es de argumentos dedutivos e indutivos, axiomas ou postulados, os postulados cl\u00e1ssicos, os conectores l\u00f3gicos, tabela verdade, tableaux sem\u00e2ntico. Em seguida, entramos em tautologia e satisfatibilidade para seguir para as regras de infer\u00eancias, procedimento de refuta\u00e7\u00e3o, Conjunctive Normal Form (CNF) e forma clausal.\u00a0<\/div>\n
\u00a0<\/div>\n
Diversos materiais para aux\u00edlio no estudo para a disciplina e para concursos poder\u00e3o ser encontrados a seguir:<\/div>\n\n\n

Roteiro para Estudos On-Line:<\/h3>\n\n\n\n