Diferenças

Esta página mostra as diferenças entre as duas revisões da página.

--- inf05508 [2006/07/05 16:35]
marcus
+++ inf05508 [2010/01/18 15:45] (Actual)
@@ Linha 1: / Linha 1: @@
 ====== Lógica para computação ======
-//Seja n o número inteiro mínimo que não tem descrição em menos que 20 palavras.//
+Página discontinuada, por favor usa [[:inf05508:homepage|a nova página]].
-:!: Bem-vindo à lógica.
-===== Informações gerais =====
-**Carga horária:** 60 h (em 30 aulas de 2h)\\
-**Créditos:** 4\\
-**Súmula:** Lógica sentencial e de primeira ordem. Sistemas dedutivos naturais e axiomáticos. Completeza,consistência e correção. Formalização de problemas. Formalização de programas e sistemas de computação simples.\\
-**Turma:** A\\
-**Horário/Sala:** Terça 08:30-10:10 e quinta 08:30-10:10 na sala 111 do [[http://www.inf.ufrgs.br/cei/nscad/images/stories/mapa.jpg|prédio 43425]] (vê também [[http://www1.ufrgs.br/Graduacao/InformacoesAcademicas/horariosvagasdepto.asp?act=showtable&cboDepartamento=705&cboSemestre=2006012|aqui]]).\\
-**Consultas:** Quarta 15-17.\\
-**Detalhes:** Vê o {{lpc-sy.pdf|programa}}.
-===== Datas importantes =====
-  * A disciplina começa no dia 07/03/2006.
-  * Entrege o trabalho 1 até o dia 06/04/2006.
-  * Prova 1 vai ser realizado no dia 18/04/2006.
-  * Prova 2 vai ser realizado no dia 01/06/2006.
-  * A apresentação dos trabalhos vai ser realizada nos dia 08 e 13 do junho.
-===== Resultados =====
-  * :!: [[inf05508-2006-1-F|Perigo de FF]]
-  * [[inf05508-2006-1-Notas|Notas]]
-  * [[inf05508-2006-1-Trabalhos|Trabalhos]]
-===== Materiais =====
-  * [[http://www.inf.ufrgs.br/claroline5/INF05508|Página da disciplina]] em 2005/1 por [[http://www.malanovicz.hpg.ig.com.br|Aline Vieira Malanovicz]].
-  * [[http://www.inf.ufrgs.br/%7Elamb/ENSINO.html|Página da disciplina]] por [[http://www.inf.ufrgs.br/~lamb|Luís da Cunha Lamb]].
-  * [[http://www.inf.ufrgs.br/~jkv/logica.html|Página da disciplina]] por [[http://www.inf.ufrgs.br/~jkv|Juliana Kaizer Vizzotto]].
-==== Aulas ====
-Aqui se acha uma versão dos slides das aulas (handout em preto e branco) junto com os exercícios.
-^ No. ^ Data       ^ Tópicos ^ Material ^
-|  1  | 07/03/2006 | Administrativa, Introdução.   | {{a01.pdf|Slides}}     |
-|  2  | 09/03/2006 | Dedução natural: Regras de prova e exemplos 1.| {{lpc-a02.pdf|Slides}}, {{lpc-e01.pdf|Exercícios 1}}, {{lpc-s01.pdf|Soluções 1}}  |
-|  3  | 14/03/2006 | Dedução natural: Regras de prova e exemplos 2.| {{lpc-a03.pdf|Slides}} |
-|  4  | 16/03/2006 | Dedução natural: Exemplos e leis importantes.| {{lpc-a04.pdf|Slides}}, {{lpc-e02.pdf|Exercícios 2}}, {{lpc-s02.pdf|Soluções 2}}  |
-|  5  | 21/03/2006 | Dedução natural: Leis importantes. O sistema de Hilbert. | {{lpc-a05.pdf|Slides}} |
-|  6  | 23/03/2006 | Semântica da lógica propositional. | {{lpc-a06.pdf|Slides}}, {{lpc-e03.pdf|Exercícios 3}}, {{lpc-s03.pdf|Soluções 3}}  |
-|  7  | 28/03/2006 | Indução matemática. | {{lpc-a07.pdf|Slides}} |
-|  8  | 30/03/2006 | Consistência e completude da lógica propositional. | {{lpc-a08.pdf|Slides}}, {{lpc-e04.pdf|Trabalho 1}}, {{lpc-s04.pdf|Solução trabalho 1}}  |
-|  9  | 04/04/2006 | Árvores de refutação. Introdução e exemplos. | {{lpc-a09.pdf|Slides}} |
-|  10  | 06/04/2006 | Árvores de refutação. Formas normais.| {{lpc-a10.pdf|Slides}}, {{lpc-e05.pdf | Exercícios 4}}, {{lpc-s05.pdf | Soluções 4}}  |
-|  11  | 11/04/2006 | História e lógicas não-classicas. | {{lpc-a11.pdf|Slides}} |
-|  12  | 13/04/2006 | Revisão da primeira parte. |  |
-|  13  | 18/04/2006 | **Prova 1** | {{lpc-p01.pdf|Prova 1}}, {{lpc-sp01.pdf|Soluções prova 1}} |
-|  14  | 20/04/2006 | Resultados da prova 1. |  |
-|  15  | 25/04/2006 | Introdução à lógica de predicados. | {{lpc-a15.pdf|Slides}} |
-|  16  | 27/04/2006 | Introdução à lógica de predicados. Linguagem formal. | {{lpc-a16.pdf|Slides}}, {{lpc-e06.pdf|Exercícios 6}}, {{lpc-s06.pdf|Soluções 6}}  |
-|  17  | 02/05/2006 | Semântica da lógica de predicados. | {{lpc-a17.pdf|Slides}}, {{lpc-p.pdf|Proposta de trabalhos}} |
-|  18  | 04/05/2006 | Semântica da lógica de predicados. | {{lpc-a18.pdf|Slides}}, {{lpc-e07.pdf|Exercícios 7}}, {{lpc-s07.pdf|Soluções 7}}  |
-|  19  | 09/05/2006 | Semântica da lógica de predicados. Introdução a dedução natural. | {{lpc-a19.pdf|Slides}} |
-|  20  | 11/05/2006 | Dedução natural: Regras e exemplos. | {{lpc-a20.pdf|Slides}}, {{lpc-e08.pdf|Exercícios 8}}, {{lpc-s08.pdf|Soluções 8}}  |
-|  21  | 16/05/2006 | Dedução natural: Regras e exemplos. | {{lpc-a21.pdf|Slides}} |
-|  22  | 18/05/2006 | Dedução natural: Teoremas importantes. | {{lpc-a22.pdf|Slides}} |
-|  23  | 23/05/2006 | Dedução natural: Exemplos. Árvores de refutação: Regras e exemplos. | {{lpc-a23.pdf|Slides}} |
-|  24  | 25/05/2006 | Arvóres de refutação: Regras e exemplos. | {{lpc-a24.pdf|Slides}}, {{lpc-e09.pdf|Exercícios 9}}, {{lpc-s09.pdf|Soluções 9}}  |
-|  25  | 30/05/2006 | Árvores de refutação: Exemplos. Revisão para prova 2. |  |
-|  26  | 01/06/2006 | **Prova 2** | {{lpc-p02.pdf|Prova 2}}, {{lpc-sp02.pdf|Soluções prova 2}} | |
-|  27  | 06/06/2006 | Resultados da prova 2. |  |
-|  28  | 08/06/2006 | Apresentação dos {{inf5508-2006-1-trabalhos|trabalhos}}. |  |
-|  29  | 13/06/2006 | Apresentação dos {{inf5508-2006-1-trabalhos|trabalhos}}. |  |
-|      | 15/06/2006 | Feriado: [[wppt>Corpus_Cristi]] |  |
-|  30  | 20/06/2006 | Visão geral, lógica de segunda ordem, complexidade, Administrativa | {{lpc-a30.pdf|Slides}} |
-|      | 27/06/2006 | Revisão, exercícios e perguntas.| {{lpc-e10.pdf|Exercícios 10}}, {{lpc-s10.pdf|Soluções 10}}  |
-|      | 04/07/2006 | **Prova de recuperação** | {{lpc-pr.pdf|Prova}} |
-==== Suplementos ====
-  * {{lpc-boole-investigation.pdf|George Boole: An investigation of the laws of thought}}.
-Texto antigo seminal, para quem tem interesse de ter uma impressão como a lógica moderna começou. Cuidado: A notação é bem diferente.
-  * {{lpc-r1.pdf|Referência: Regras para dedução natural e tabelas de verdade}}.
-:!: Atualizado em 22/06/2006 para lógica de predicados!
-  * [[GettingUp|Consolo]] para os que tem dificuldades de levantar-se nas manhãs frias do inverno (em inglês).
-  * Visite o [[http://www.umsu.de/logik/trees|tree proof generator]] e verifique os árvores de refutação preferidos como
-<code>
-((\forallx(Fx\landGx\toHx)\to\existsx(Fx\land\negGx))
-\land
-(\forallx(Fx\toGx)\lor\forallx(Fx\toHx)))
-\to
-(\forallx(Fx\landHx\toGx)\to\existsx(Fx\landGx\land\negHx))
-</code>
-==== Bibliografia ====
-<html>
-<!-- BEGIN BIBLIOGRAPHY livros -->
-<!--
-    DO NOT MODIFY THIS BIBLIOGRAPHY BY HAND!  IT IS MAINTAINED AUTOMATICALLY!
-    YOUR CHANGES WILL BE LOST THE NEXT TIME IT IS UPDATED!
--->
-<!-- Generated by: /home/ritt/arch/share/bin/bib2xhtml -s unsortlist livros.bib livros.html -->
-<ul class="bib2xhtml">
-<!-- Authors: Michael R A Huth and Mark Ryan -->
-<li><a name="Huth.Ryan/2004">Michael</a> R.&nbsp;A. Huth and Mark Ryan.
-<a href="http://www.cs.bham.ac.uk/research/lics"><cite>Logic in Computer
-  Science</cite></a>.
-Cambridge University Press, 2nd edition, 2004.
-(livro texto). INF: 681.3.01 H979L2.</li>
-<!-- Authors: Dov M Gabbay -->
-<li><a name="Gabbay/1998">Dov</a>&nbsp;M. Gabbay.
-<cite>Elementary Logics: A procedural perspective</cite>.
-Prentice Hall, 1998.</li>
-<!-- Authors: Krysia Broda and S Eisenbach and H Koshnevisan and Steve Vickers
-  -->
-<li><a name="Broda.alumnes/1994">Krysia</a> Broda, S.&nbsp;Eisenbach,
-  H.&nbsp;Koshnevisan, and Steve Vickers.
-<cite>Reasoned Programming</cite>.
-Prentice Hall, 1994.</li>
-<!-- Authors: H B Enderton -->
-<li><a name="Enderton/2001">H</a>.&nbsp;B. Enderton.
-<cite>A Mathematical Introduction to Logic</cite>.
-Academic Press, 2nd edition, 2001.
-INF: 510.6 E56m.</li>
-<!-- Authors: Melvin Fitting -->
-<li><a name="Fitting/1996">Melvin</a> Fitting.
-<a href="http://comet.lehman.cuny.edu/fitting/errata/errata.html"><cite>First-Order Logic and Automated Theorem-Proving</cite></a>.
-Springer, second edition, 1996.
-INF: 681.32.06 F547f2.</li>
-<!-- Authors: S Abramsky and Dov Gabbay and TSE Maibaum -->
-<li><a name="Abramsky.alumnes/1992">S</a>.&nbsp;Abramsky, Dov Gabbay,
-  and T.S.E Maibaum, editors.
-<cite>Handbook of Logic in Computer Science, vol I</cite>.
-Oxford University Press, 1992.</li>
-<!-- Authors: Jean Goubault Larrecq and Ian Mackie -->
-<li><a name="Goubault.Mackie/1997">Jean</a> Goubault-Larrecq and
-  Ian Mackie.
-<cite>Proof Theory and Automated Deduction</cite>.
-Kluwer, 1997.</li>
-<!-- Authors: Graham Priest -->
-<li><a name="Priest/2001">Graham</a> Priest.
-<a href="http://www.st-andrews.ac.uk/academic/philosophy/gp.html"><cite>An
-  Introduction to Non-classical Logics</cite></a>.
-Cambridge University Press, 2001.</li>
-<!-- Authors: John Nolt and Dennis Rohatyn -->
-<li><a name="Nolt.Rohatyn/1991">John</a> Nolt and Dennis Rohatyn.
-<cite>Lógica</cite>.
-McGRaw-Hill, Makron Books, 1991.</li>
- <blockquote> Livro em português, com alguns exercícios suplementares. Cuida, a
-  notação é diferente. </blockquote>
-<!-- Authors: Mordechai Ben Ari -->
-<li><a name="Ben-Ari/2001">Mordechai</a> Ben-Ari.
-<a href="http://stwww.weizmann.ac.il/g-cs/benari/books/index.html#ml2"><cite>Mathematical logic for computer science</cite></a>.
-Springer, second edition, 2001.</li>
- <blockquote> Mais sobre sistemas de lógica, inclusive os sistemas de Gentzen e
-  Hilbert (cap. 3) </blockquote>
-<!-- Authors: Herbert B Enderton -->
-<li><a name="Enderton/1972">Herbert</a>&nbsp;B. Enderton.
-<cite>A mathematical introduction to logic</cite>.
-Academic Press, 1792.
-INF: 510.6 E56m.</li>
- <blockquote> Mais sobre sistemas de Hilbert. </blockquote>
-<!-- Authors: Stephen Cole Kleene -->
-<li><a name="Kleene/1967">Stephen</a>&nbsp;Cole Kleene.
-<cite>Mathematical logic</cite>.
-John Wiley, 1967.
-INF: 510.6 K63m.</li>
- <blockquote> Mais sobre sistemas de Hilbert. </blockquote>
-</ul>
-<!-- END BIBLIOGRAPHY livros -->
-</html>

Marcus Ritt

Ferramentas de Utilizador

Ferramentas de Site

Diferenças

Ferramentas de Página