====== Lógica para computação (2009/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:** B.\\ **Horário/Sala:** Terça/Quinta 15.30-17.10, Sala 113, [[http://www.inf.ufrgs.br/cei/nscad/images/stories/mapa_2006.jpg|prédio 43425]].\\ **Consultas:** TBD.\\ **Detalhes:** Vê o {{:inf05508:lpc-sy.doc|programa}}. ===== Notícias ===== * Trabalho 1: Prazo 26 de março. ===== Resultados ===== * [[2009-1-FF|Freqüência]] * [[2009-1-Notas|Notas]] * [[2009-1-Trabalhos|Trabalhos]] ===== Materiais ===== * Página da disciplina em [[2008-2|2008/2]], [[2008-1|2008/1]], [[2007-2|2007/2]], [[2007-1|2007/1]], [[2006-2|2006/2]] e [[2006-1|2006/1]]. * {{lpc-notas-3014.pdf|Notas de aula}} (atualizado 14/05/2009) ===== Aulas ===== ^ No. ^ Data ^ Tópicos ^ Notas pág. ^ Exercícios ^ Soluções ^ Leitura ^ | 1 | 03/03 | Administrativa, Introdução. | 1-13 | 2.1-2.6, {{e01.pdf|E01}} | {{s01.pdf|S01}} | HR1.1,1.3 | | | 2 | 05/03 | Dedução natural: Regras de prova e exemplos 1. | 13-18 | | | HR1.2 | | | 3 | 10/03 | Dedução natural: Regras de prova e exemplos 2. | 18-24 | 2.7-2.12 | | HR1.2 | | | 4 | 12/03 | Dedução natural: Exemplos e exercícios. | | | | HR1.2 | | | 5 | 17/03 | Dedução natural: Leis importantes. | 25-30 | | | HR1.2,ML§9 | | | 6 | 19/03 | Sistemas tipo Hilbert. Teoria de modelos. | | {{e04g.pdf|T1}} | | | | | 7 | 24/03 | Indução matemática. Consistência e completude. | 31-35,48-52 | 2.13-2.18 | | HR1.4 | | | 8 | 26/03 | História. | 52-63 | | | HR1.4 | | | 9 | 31/03 | Árvores de refutação. Introdução e exemplos. | 137-144 | 2.19-2.22, | | HR1.7 | | | 10 | 02/04 | Exercícios: Árvores de refutação e dedução natural. | 35-48 | | | NR4.4 | | | 11 | 07/04 | Formas normais. | | 2.23,2.24 | | | | | 12 | 09/04 | Clausulas de Horn, Resolução e Prolog | 62-68 | 2.25 | | HR1.5 | | | 13 | 14/04 | Revisão e exercícios unidade 1. | | | | | | | 14 | 16/04 | **Prova 1** | | {{p01i.pdf|P1}} | {{sp01i.pdf|SP1}} | | | | | 21/04 | //Feriado//: [[wppt>Tiradentes]] | | | | | | | 15 | 23/04 | Lógica de predicados: Introdução, exemplos. | 81-85 | | | HR2.1 | | | 16 | 28/04 | Lógica de predicados: Identidade. Exercícios de formalização. | 86-90 | 3.1,3.12 | | HR2.1,2.8 | | | 17 | 30/04 | Lógica de predicados: Semântica. | 90-96 | 3.2,3.3 | | HR2.2,2.4 | | | 18 | 05/05 | Lógica de predicados: Semântica. | 90-96 | 3.4-3.9 | | HR2.2,2.4 | | | 19 | 07/05 | Lógica de predicados: Introdução à teoria de provas. | 97-103 | | | HR2.3 | | | 20 | 12/05 | Lógica de predicados: Exemplos, exercícios. | 97-103 | 3.9,3.10 | | HR2.3 | | | 21 | 14/05 | Lógica de predicados: Teoria de provas. | | | | HR2.8 | | | 22 | 19/05 | Lógica de predicados: Teoremas. | 103-107 | | | HR2.8 | | | 23 | 21/05 | Lógica de predicados: Aula prática. | | | | | | | | 26/05 | //[[http://semac.inf.ufrgs.br|Semana acadêmica]]// | | | | | | | | 28/05 | //[[http://semac.inf.ufrgs.br|Semana acadêmica]]// | | | | | | | 24 | 02/06 | Lógica de predicados: Árvores de refutação. | 108-117 | {{e08.pdf|T2}} | | NR4.4 | | | 25 | 04/06 | Lógica de predicados: Árvores de refutação. | 108-177 | 3.11,3.13 | | NR4.4 | | | 26 | 09/06 | Revisão unidade 2 e exercícios. | | | | | | | | 11/06 | //Feriado//: [[wppt>Corpus Cristi]] | | | | | | | 27 | 16/06 | **Prova 2** | | {{p02h.pdf|P2}} | {{sp02h.pdf|SP2}} | | | | 28 | 18/06 | Lógica: Adequação e decibilidade. | 117-118 | | | NS I.8-10 | | | 29 | 23/06 | Apresentação de trabalhos. | | | | | | | 30 | 25/06 | Apresentação de trabalhos. | | | | | | | | 30/06 | Aula de revisão: Prova simulada. | | | | | | | | 02/07 | Prova de recuperação | | {{prh.pdf|PR}} | {{sprh.pdf|SPR}} | | | | | | | | | | | | | | 10/07 | Término oficial das aulas. | | | | | | ===== 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. * 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 as árvores de refutação preferidas 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)) ou (\forallx\existsy Rxy\land(\forallx\forally\forallz (Rxy\land Ryz\to Rxz)))\to\existsx Rxx * [[http://prover.cs.ru.nl/login.php|ProofWeb]] é um sistema de prova online, que permite a construção de provas com dedução natural do tipo Gentzen. * "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