:!: Página descontinuada, provavelmente o material não é mais acessível. ====== Lógica para computação (2006/1) ====== //Seja n o número inteiro mínimo que não tem descrição em menos que 20 palavras.// :!: 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 [[inf05508-2006-1-trabalhos|trabalhos]]. | | | 29 | 13/06/2006 | Apresentação dos [[inf05508-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 ((\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)) ==== Bibliografia ====