{"id":279,"date":"2017-09-11T15:09:08","date_gmt":"2017-09-11T18:09:08","guid":{"rendered":"http:\/\/www.professores.uff.br\/jcolombo\/?page_id=279"},"modified":"2017-09-18T11:25:31","modified_gmt":"2017-09-18T14:25:31","slug":"logica-para-ciencia-da-computacao-gan00166","status":"publish","type":"page","link":"https:\/\/www.professores.uff.br\/jcolombo\/logica-para-ciencia-da-computacao-gan00166\/","title":{"rendered":"L\u00f3gica Para Ci\u00eancia da Computa\u00e7\u00e3o – GAN00166"},"content":{"rendered":"

Carga hor\u00e1ria:<\/strong> 60 hs, turmas: B1 Ci\u00eancia da Computa\u00e7\u00e3o.<\/p>\n

\n

Monitoria:<\/strong>
\nHor\u00e1rio da aula:<\/strong> 3\u00aa e 5\u00aa-feiras na sala H-303 das 11-13h.
\nMeu hor\u00e1rio de atendimento:<\/strong> 4\u00aa-feiras, das 14-18hs em meu gabinete. O meu gabinete \u00e9 o 4 do 4\u00ba andar – IME – Valonguinho.<\/p>\n

\n

Provas<\/strong>
\nP1<\/strong> – 15\/04\/2014
\nP2<\/strong> – 10\/06\/2014 – Vistas da P2 no meu gabinete dia 16\/06 das 15h at\u00e9 \u00e0s 18h.
\nVR<\/strong> – 19\/06\/2014 (Toda a mat\u00e9ria) – por causa dos jogos ela ser\u00e1 no dia 24\/06\/2014. Nota VR<\/span><\/a>
\nVS<\/strong> – 26\/06\/2014 (Toda a mat\u00e9ria) – Conforme avisei na VR a VS ser\u00e1 a partir 9h aqui no Valonguinho. Vou confirmar a sala e depois atualizo.<\/p>\n

\n

Listas de Exerc\u00edcios:<\/strong>
\nLista 1<\/a>
\nLista 2<\/a>
\nLista 3<\/a>
\nLista 4<\/a>
\nLista 5<\/a>
\nLista 6<\/a>
\nLista 7<\/a>
\nLista 8<\/a>
\nLista 9<\/a>
\nLista 10<\/a>
\nLista 11<\/a>
\nLista 12<\/a> – Cap\u00edtulo 13
\nLista 13<\/a> – Cap\u00edtulo 14<\/p>\n

\n

Cronograma:<\/strong><\/p>\n

18FEV Apresenta\u00e7\u00e3o do curso, ementa, avalia\u00e7\u00e3o e bibliografia
\n20FEV L\u00f3gica Proposicional\/Sequencial: Sintaxe<\/p>\n

25FEV L\u00f3gica Proposicional: Sem\u00e2ntica
\n27FEV Propriedades Sem\u00e2nticas das F\u00f3rmulas: v\u00e1lida, satisfat\u00edvel, contradit\u00f3ira, implica, equivalente<\/p>\n

04MAR Carnaval
\n06MAR Carnaval<\/p>\n

11MAR Propriedades Sem\u00e2nticas e M\u00e9todos de Valida\u00e7\u00e3o de F\u00f3rmulas: Tabela verdade
\n13MAR N\u00e3o teve aula<\/p>\n

18MAR M\u00e9todos de Valida\u00e7\u00e3o de F\u00f3rmulas: \u00c1rvore Sem\u00e2ntica, Absurdo (ou Nega\u00e7\u00e3o)
\n20MAR Conjuntos de conectivos Completos<\/p>\n

25MAR Validade de argumentos e Sistemas Dedutivos
\n27MAR Sistema dedutivo axiom\u00e1tico<\/p>\n

01ABR Sistema de Dedu\u00e7\u00e3o Natural
\n03ABR Tableuax Sem\u00e2ntico<\/p>\n

08ABR Resolu\u00e7\u00e3o
\n10ABR Exerc\u00edcios<\/p>\n

15ABR P1
\n17ABR N\u00e3o haver\u00e1 aula – feriado<\/p>\n

22ABR Corre\u00e7\u00e3o da P1 e vista de prova
\n24ABR L\u00f3gica de 1\u00aa ordem<\/p>\n

29ABR Sint\u00e1tica e sem\u00e2ntica da l\u00f3gica de 1\u00aa ordem – cap. 9
\n01MAI Dia do trabalhador – feriado<\/p>\n

06MAI Sem\u00e2ntica da l\u00f3gica de 1\u00aa ordem – cap. 10
\n08MAI Propriedades Sem\u00e2nticas da l\u00f3gica dos predicados – cap. 11<\/p>\n

13MAI Tableaux Sem\u00e2ntico – cap.13
\n15MAI Resolu\u00e7\u00e3o na L\u00f3gica dos Predicados – cap. 14 (prenex)<\/p>\n

20MAI Resolu\u00e7\u00e3o na L\u00f3gica dos Predicados – cap. 14 (Skolemiza\u00e7\u00e3o e substitui\u00e7\u00e3o)
\n22MAI Concluir com o algoritmo da unifica\u00e7\u00e3o e fazer um exemplo<\/p>\n

27MAI Exerc\u00edcios
\n29MAI Exerc\u00edcios<\/p>\n

03JUN Exerc\u00edcios
\n05JUN N\u00e3o teve aula<\/p>\n

10JUN P2
\n12JUN Copa – in\u00edcio – n\u00e3o vai haver aula<\/p>\n

16JUN – no meu gabinete vistas da P2.
\n17JUN – n\u00e3o vai haver aula .
\n19JUN – n\u00e3o vai haver aula.<\/p>\n

24JUN VR
\n26JUN VS<\/p>\n

\n

Ementa: GAN00166<\/strong><\/p>\n

1 L\u00f3gica Proposicional.
\n1.1 Sintaxe: senten\u00e7as, conectivos, linguagem da l\u00f3gica proposicional.
\n1.2 Reescrita e simboliza\u00e7\u00e3o.
\n1.3 Sem\u00e2ntica: interpreta\u00e7\u00e3o, tabelas de verdade, avalia\u00e7\u00e3o de senten\u00e7as.
\n1.4 Validade e consist\u00eancia.
\n1.5 Equival\u00eancia l\u00f3gica, redu\u00e7\u00e3o do n\u00famero de conectivos.
\n1.6 Conseq\u00fc\u00eancia l\u00f3gica.
\n1.7 Validade de argumentos.<\/p>\n

2 M\u00e9todos de Prova para a L\u00f3gica Proposicional.
\n2.1 Tableaux.
\n2.2 M\u00e9todo axiom\u00e1tico: no\u00e7\u00e3o de dedu\u00e7\u00e3o, teorema da dedu\u00e7\u00e3o.
\n2.3 Conceito de corre\u00e7\u00e3o e completude.
\n2.4 Dedu\u00e7\u00e3o natural.
\n2.5 Resolu\u00e7\u00e3o: formas normais conjuntiva e disjuntiva, nota\u00e7\u00e3o clausal, regra de resolu\u00e7\u00e3o.<\/p>\n

3 L\u00f3gica de Primeira Ordem.
\n3.1 Insufici\u00eancia da l\u00f3gica proposicional.
\n3.2 Sintaxe: quantificadores e vari\u00e1veis, termos, enunciados, senten\u00e7as, linguagem da l\u00f3gica de primeira ordem.
\n3.3 Reescrita e simboliza\u00e7\u00e3o.
\n3.4 Sem\u00e2ntica: interpreta\u00e7\u00e3o, avalia\u00e7\u00e3o de senten\u00e7as.
\n3.5 Validade e consist\u00eancia.
\n3.6 Equival\u00eancia l\u00f3gica.
\n3.7 Conseq\u00fc\u00eancia l\u00f3gica.
\n3.8 Teorema da dedu\u00e7\u00e3o.
\n3.9 Validade argumentos.<\/p>\n

4 M\u00e9todos de prova para a l\u00f3gica de primeira ordem.
\n4.1 Tableaux.
\n4.2 Dedu\u00e7\u00e3o Natural.
\n4.3 Resolu\u00e7\u00e3o: forma prenex, unifica\u00e7\u00e3o, regra de resolu\u00e7\u00e3o.<\/p>\n

\n

Divers\u00e3o:<\/strong>
\n Exemplo de uma prova e de uma contra prova:<\/strong>
\n\"\"<\/p>\n

\n

Bibliografia:<\/strong>
\n[1] J. N. de Souza. L\u00f3gica para Ci\u00eancia da Computa\u00e7\u00e3o. Campus-Elsevier, 2002.<\/p>\n

[2] F. S. C da Silva, M. Finger, A. C. V. de Melo. L\u00f3gica para Computa\u00e7\u00e3o. Thomson Learning, 2006.<\/p>\n

[3] J. Nolt, D. Rohatyn. L\u00f3gica. S\u00e9rie Schaum, Mc Graw-Hill, 1991.<\/p>\n

[4] C. Chang, R. T. Lee. Simbolic logic and mechanical theorem proving. Academic Press, 1973.<\/p>\n

[5] Z. Mana. Mathematical theory of computation.Mc Graw-Hill, 1974.<\/p>\n

[6] U. Schochoning. Logic for computer Science. Birkhauser, 1989.<\/p>\n

[7] L. Zhongwan. Mathematical logic for computer science. 2nd ed. Adison-Wesley, 1998.<\/p>\n

[8] D. J. Velleman. How to prove it: a structured approach. 2nd ed. Cambridge Univ. Press, 2006.<\/p>\n

\n

\u00daltima revis\u00e3o em Junho, 2014.<\/p>\n

Voltar<\/a><\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"

Carga hor\u00e1ria: 60 hs, turmas: B1 Ci\u00eancia da Computa\u00e7\u00e3o. Monitoria: Hor\u00e1rio da aula: 3\u00aa e 5\u00aa-feiras na sala H-303 das 11-13h. Meu hor\u00e1rio de atendimento: 4\u00aa-feiras, das 14-18hs em meu gabinete. O meu gabinete \u00e9 o 4 do 4\u00ba andar – IME – Valonguinho. Provas P1 – 15\/04\/2014 P2 – 10\/06\/2014 – Vistas da P2 […]<\/p>\n","protected":false},"author":70,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_exactmetrics_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"footnotes":""},"categories":[],"tags":[],"class_list":["post-279","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.professores.uff.br\/jcolombo\/wp-json\/wp\/v2\/pages\/279","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.professores.uff.br\/jcolombo\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.professores.uff.br\/jcolombo\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.professores.uff.br\/jcolombo\/wp-json\/wp\/v2\/users\/70"}],"replies":[{"embeddable":true,"href":"https:\/\/www.professores.uff.br\/jcolombo\/wp-json\/wp\/v2\/comments?post=279"}],"version-history":[{"count":7,"href":"https:\/\/www.professores.uff.br\/jcolombo\/wp-json\/wp\/v2\/pages\/279\/revisions"}],"predecessor-version":[{"id":646,"href":"https:\/\/www.professores.uff.br\/jcolombo\/wp-json\/wp\/v2\/pages\/279\/revisions\/646"}],"wp:attachment":[{"href":"https:\/\/www.professores.uff.br\/jcolombo\/wp-json\/wp\/v2\/media?parent=279"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.professores.uff.br\/jcolombo\/wp-json\/wp\/v2\/categories?post=279"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.professores.uff.br\/jcolombo\/wp-json\/wp\/v2\/tags?post=279"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}