:!: Página descontinuada, provavelmente o material não é mais acessível. ====== Lógica para computação (2006/2) ====== //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:** B.\\ **Horário/Sala:** Terça/Quinta, 10.30-12.10, Sala 113, [[http://www.inf.ufrgs.br/cei/nscad/images/stories/mapa_2006.jpg|prédio 43425]].\\ **Consultas:** Quarta, 14-16.\\ **Detalhes:** Vê o {{:inf05508:lpc-sy.doc|programa}}. ===== Resultados ===== * [[2006-2-FF|Freqûencia]] * [[2006-2-Notas|Notas]] * [[2006-2-Trabalhos|Trabalhos]] ===== Materiais ===== * [[http://www.inf.ufrgs.br/%7Elamb/ENSINO.html|Página da disciplina]] por [[http://www.inf.ufrgs.br/~lamb|Luís da Cunha Lamb]]. * [[:inf05508|Minha página da disciplina]] em 2006/1. ==== Aulas ==== ^ No. ^ Data ^ Tópicos ^ Handout ^ Exercícios ^ Soluções ^ Leitura ^ | 1 | 08/08 | Administrativa, Introdução. | {{A01.pdf|1}} | | | HR1.1,1.3 | | 2 | 10/08 | Dedução natural: Regras de prova e exemplos 1. | {{A02.pdf|2}} | {{E01.pdf|1}} | {{S01.pdf|1}} | HR1.2 | | 3 | 15/08 | Dedução natural: Regras de prova e exemplos 2. | {{A03.pdf|3}} | | | HR1.2 | | 4 | 17/08 | Dedução natural: Exemplos e leis importantes. | {{A04.pdf|4}} | {{E02.pdf|2}} | {{s02.pdf|2}} | HR1.2 | | 5 | 22/08 | Dedução natural: Leis importantes. Sistemas lógicos de tipo Hilbert. | {{A05.pdf|5}} | | | HR1.2,ML§9 | | 6 | 24/08 | Semântica da lógica propositional. | {{A06.pdf|6}} | {{E03.pdf|3}} | {{s04.pdf|4}} | HR1.4 | | 7 | 29/08 | Indução matemática. Consistência e completude da lógica propositional. | {{A07.pdf|7}} | | | HR1.4 | | 8 | 31/08 | Exercícios: Indução, dedução, semântica. | {{e04b.pdf|8}} | **{{e04.pdf|T1}}** | {{s04a.pdf|T1}} | HR1.7 | | 9 | 05/09 | Árvores de refutação. Introdução e exemplos. | {{a09.pdf|9}} | | | NR4.4 | | | 07/09 | **Feriado**: [[wppt>Independência_do_Brasil|Independência do Brasil]]. | | | | | | 10 | 12/09 | Exercícios: Árvores de refutação e dedução natural. | | | | | | 11 | 14/09 | Formas normais. | {{a10.pdf|11}} | | | HR1.5 | | 12 | 19/09 | Revisão e exercícios unidade 1. | | {{e05a.pdf|5}} | {{s05a.pdf|5}} | | | 13 | 21/09 | **Prova 1** | {{p01a.pdf|P1}} | | {{sp01a.pdf|P1}} | | | 14 | 26/09 | Lógica de predicados: Introdução, exemplos. | {{a15.pdf|14}} | | | HR2.1 | | 15 | 28/09 | Lógica de predicados: Identidade. Exercícios de formalização. | {{a16.pdf|15}} | {{e06.pdf|6}} | {{s06.pdf|6}} | HR2.1,2.8 | | 16 | 03/10 | Lógica de predicados: Semântica. | {{a17.pdf|16}} | | | HR2.2,2.4 | | 17 | 05/10 | Lógica de predicados: Semântica. | {{a18.pdf|17}} | {{e07.pdf|7}} | {{s07.pdf|7}} | HR2.2,2.4 | | 18 | 10/10 | Lógica de predicados: Introdução à teoria de provas. | {{a20.pdf|18}} | | | HR2.3 | | | 12/10 | **Feriado**: [[wppt>Nossa_Senhora_da_Conceição_Aparecida|Nossa Senhora Aparecida]]. | | | | | | 19 | 17/10 | Lógica de predicados: Teoremas, exemplos, exercícios. | {{a22.pdf|19}} | {{e08.pdf|8}} | {{s08.pdf|8}} | HR2.3 | | 20 | 19/10 | Lógica de predicados: Teoria de provas. | (Material 19) | | | HR2.8 | | | 24/10 | (Não tem aula!) | | | | | | 21 | 26/10 | Lógica de predicados: Árvores de refutação: Introdução. | {{a23.pdf|21}} | {{e09.pdf|9}} | {{s09.pdf|9}} | NR4.4 | | 22 | 31/10 | Lógica de predicados: Árvores de refutação. | (Material 21) | | | NR4.4 | | | 02/11 | **Feriado**: [[wppt>Dia_dos_fiéis_defuntos|Finados]]. | | | | | | 23 | 07/11 | Lógica: Resolução e Prolog. | {{a19.pdf|23}} | | | NS I.8-10 | | 24 | 09/11 | Lógica: Prolog. História.| {{a11.pdf|24}} | | | | | 25 | 14/11 | Revisão unidade 2 e exercícios. | | {{e10.pdf|10}} | {{s10.pdf|10}} | | | 26 | 16/11 | **Prova 2** | | {{p02b.pdf|P2}} | {{sp02b.pdf|S2}} | | | 27 | 21/11 | Apresentação de trabalhos. | | | | | | 28 | 23/10 | Apresentação de trabalhos. | | | | | | 29 | 28/11 | Apresentação de trabalhos. | | | | | | 30 | 30/11 | Visão geral, lógica de segunda ordem, complexidade, administrativa. | {{a30.pdf|30}} | | | | | | 12/12 | Aula de revisão: Prova de exercício | | {{pra.pdf|R}} | {{spra.pdf|S}} | | | | 14/12 | Prova de recuperação | | {{prb.pdf|PR}} | {{sprb.pdf|SPR}} | | | | | | | | | | | | 15/12 | Término oficial das aulas. | | | | | Abreviações de livros: * HR: Huth, Ryan: Logic in computer science * ML: Kleene: Mathematical logic * NR: Nolt, Rohatyn: Lógica * NS: Nerode, Shore: Logic for applications. ==== Suplementos ==== * {{r1.pdf|Regras da lógica}} (Atualizado: 29/10/2006). * {{: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. * Use [[http://www.oursland.net/aima/propositionApplet.html|um applet]] para resolver problemas na lógica propositional (um [[http://www.brian-borowski.com/Truth|outro]], tem milhões...). * 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)) * "Logic is invincible because in order to combat logic it is necessary to use logic." ([[wp>Pierre Boutroux]]) * LÓGICA, s. Arte de pensar e argumentar em estrita concordância com as limitações e incapacidades da incompreensão humana. A base da lógica é o silogismo, que consiste numa premissa maior, outra menor e numa conclusão. Por exemplo:\\ //Premissa maior//: Sessenta homens podem executar um trabalho sessenta vezes mais rápido do que um homem só.\\ //Premissa menor//: Um homem pode cavar um buraco em sessenta segundos.\\ //Conclusão//: Logo, sessenta homems podem cavar um buraco em um segundo.\\ Esta pode ser chamado de silogismo aritmético, por meio do qual, combinando lógica e matemática, obtemos uma dupla certeza e somos duplamente abençoados.\\ ([[wp>Ambrose Bierce]], O dicionário do diabo) ==== Bibliografia ==== Locations of visitors to this page