:!: Página descontinuada, provavelmente o material não é mais acessível. ====== Lógica para computação (2007/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, 15-17.\\ **Detalhes:** Vê o {{:inf05508:lpc-sy.doc|programa}}. ===== Notícias ===== * Primeira aula dia 07/08/2007. ===== Resultados ===== * [[2007-2-FF|Freqûencia]] * [[2007-2-Notas|Notas]] * [[2007-2-Trabalhos|Trabalhos]] ===== Materiais ===== * Página da disciplina em [[2007-1|2007/1]], [[2006-2|2006/2]] e [[2006-1|2006/1]]. * {{lpc-2251.pdf|Notas de aula}} * {{pra.pdf|Prova antiga}} com {{spra.pdf|solução}} para preparação do exama ===== Aulas ===== ^ No. ^ Data ^ Tópicos ^ Notas pág. ^ Exercícios ^ Soluções ^ Leitura ^ | 1 | 07/08 | Administrativa, Introdução. | 1-13 | 2.1-2.6 | | HR1.1,1.3 | | 2 | 09/08 | Dedução natural: Regras de prova e exemplos 1. | 13-18 | | | HR1.2 | | 3 | 14/08 | Dedução natural: Regras de prova e exemplos 2. | 18-24 | 2.7-2.12 | | HR1.2 | | 4 | 16/08 | Dedução natural: Exemplos e exercícios. | | | | HR1.2 | | 5 | 21/08 | Dedução natural: Leis importantes. | 25-30 | | | HR1.2,ML§9 | | 6 | 23/08 | Sistemas tipo Hilbert. Teoria de modelos. | 31-35,48-52 | 2.13-2.18 | | HR1.4 | | | 28/08 | Sem aula | | {{e04d.pdf|T1}} | {{s04d.pdf|S1}}| | | | 30/08 | Sem aula | | | | | | 7 | 04/09 | Consistência e completude. | 52-63 | | | HR1.4 | | 8 | 06/09 | Árvores de refutação. Introdução e exemplos. | 35-48 | | | NR4.4 | | 9 | 11/09 | Exercícios: Árvores de refutação e dedução natural. | | 2.23,2.24 | | | | 10 | 13/09 | Formas normais. Decibilidade. | 62-68 | 2.25 | | HR1.5 | | 11 | 18/09 | Clausulas de Horn, Resolução e Prolog. | | | | | | | 20/09 | //Feriado//: [[wppt>Revolução Farroupilha]] | | | | | | 12 | 25/09 | História. | 137-144 | 2.19-2.22 | | HR1.7 | | 13 | 27/09 | Revisão e exercícios unidade 1. | | {{p01.pdf|E1}}{{e01.pdf|E2}}| {{sp01.pdf|S1}}{{se01.pdf|S2}}| | | 14 | 02/10 | **Prova 1** | | {{p01e.pdf|P1}} | {{sp01e.pdf|SP1}} | | | 15 | 04/10 | Lógica de predicados: Introdução, exemplos. | 81-85 | | | HR2.1 | | 16 | 09/10 | Lógica de predicados: Identidade. Exercícios de formalização. | 86-90 | 3.1,3.12 | | HR2.1,2.8 | | 17 | 11/10 | Lógica de predicados: Semântica. | 90-96 | 3.2,3.3 | | HR2.2,2.4 | | 18 | 16/10 | Lógica de predicados: Semântica. | 90-96 | 3.4-3.9 | | HR2.2,2.4 | | 19 | 18/10 | Lógica de predicados: Introdução à teoria de provas. | 97-103 | | | HR2.3 | | | 23/10 | //Semana acadêmica// | | | | | | | 25/10 | //Semana acadêmica// | | | | | | 20 | 30/10 | Lógica de predicados: Exemplos, exercícios. | 97-103 | 3.9,3.10 | | HR2.3 | | 21 | 01/11 | Lógica de predicados: Teoria de provas. | | | | HR2.8 | | 22 | 06/11 | Lógica: Adequação e decibilidade. | 117-118 | | | NS I.8-10 | | 23 | 08/11 | Lógica de predicados: Árvores de refutação. | 108-117 | | | NR4.4 | | 24 | 13/11 | Lógica de predicados: Árvores de refutação | 108-177 | 3.11,3.13 | | NR4.4 | | | 15/11 | //Feriado//: [[wppt>Proclamação da República]] | | | | | | 25 | 20/11 | Visão geral, lógica de 2a ordem, complexidade. | | | | | | 26 | 22/11 | Revisão unidade 2 e exercícios. | | | | | | 27 | 27/11 | **Prova 2** | | {{p02e.pdf|P2}}| {{sp02e.pdf|SP2}}| | | 28 | 29/11 | Apresentação de trabalhos. | | | | | | 29 | 04/12 | Apresentação de trabalhos. | | | | | | 30 | 06/12 | Apresentação de trabalhos. | | | | | | | 11/12 | Aula de revisão: Prova simulada. | | | | | | | 13/12 | Prova de recuperação | |{{pre.pdf|PR}} |{{spre.pdf|SPR}} | | | | | | | | | | | | 14/12 | 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 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