Lógica para Computação - Turma S71 - 2009.2
De Wiki DAINF
(Diferença entre revisões)
(→Listas de Exercícios) |
(→Exercícios Resolvidos) |
||
(7 edições intermediárias de um usuário não apresentadas) | |||
Linha 17: | Linha 17: | ||
** [http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/1.LogicaProposicional/PorQuePrecisamosEnsinarLogicaEComoDevemosEnsinaLa_CibeleReis_S71_20091.pdf Por que precisamos ensinar lógica e como devemos ensiná-la? - Tradução (parcial) para o português feita por Cibele Reis] | ** [http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/1.LogicaProposicional/PorQuePrecisamosEnsinarLogicaEComoDevemosEnsinaLa_CibeleReis_S71_20091.pdf Por que precisamos ensinar lógica e como devemos ensiná-la? - Tradução (parcial) para o português feita por Cibele Reis] | ||
− | === Exercícios | + | === Listas de Exercícios === |
− | * | + | # Lógica proposicional: |
+ | #* p.12-13 de (SILVA; FINGER; MELO, 2006) | ||
+ | #* p.16 de (SILVA; FINGER; MELO, 2006) | ||
+ | #* p.20-22 de (SILVA; FINGER; MELO, 2006) | ||
+ | #* p.27-28 de (SILVA; FINGER; MELO, 2006) | ||
+ | # Sistemas dedutivos: | ||
+ | #* para sistemas axiomáticos: | ||
+ | #** p.40-41 de (SILVA; FINGER; MELO, 2006) | ||
+ | #* para dedução natural: | ||
+ | #** p.47-48 de (SILVA; FINGER; MELO, 2006) | ||
+ | #* para tablôs analíticos: | ||
+ | #** p.55-56 de (SILVA; FINGER; MELO, 2006) | ||
+ | #** Fazer os exercícios 2.6 e 2.7 das páginas 47 e 48 de (SILVA; FINGER; MELO, 2006) com tablôs analíticos | ||
+ | #* para tablôs KE: | ||
+ | #** Fazer os exercícios p.55-56 de (SILVA; FINGER; MELO, 2006) com tablôs KE | ||
+ | #** Fazer os exercícios 2.6 e 2.7 das páginas 47 e 48 de (SILVA; FINGER; MELO, 2006) com tablôs KE | ||
− | === | + | Obs.: (SILVA; FINGER; MELO, 2006) está na [http://www.dainf.ct.utfpr.edu.br/wiki/index.php/L%C3%B3gica_para_Computa%C3%A7%C3%A3o#Bibliografia_B.C3.A1sica bibliografia básica da disciplina]. |
+ | ==== Exercícios Resolvidos ==== | ||
− | + | * [http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/2.LogicaProposicional/ExerciciosResolvidos/ Diversos exercícios resolvidos de representação do conhecimento] | |
− | + | * [[Respostas dos Exercícios do livro "Lógica para Computação"]] | |
− | + | ||
− | + | ||
− | * | + |
Edição atual tal como 16h14min de 14 de setembro de 2009
Tabela de conteúdo |
Informações
- Página Wiki da disciplina: Lógica para Computação
- Página da disciplina no Moodle: http://ead.dainf.ct.utfpr.edu.br/course/view.php?id=35
- Professor: Adolfo Neto
- Monitor: Max Raphael Sobroza Marques
- Materiais diversos da disciplinas (incluindo slides)
Datas Importantes
Recursos
Artigos
- BAKÓ, Mária. "Why we need to teach logic and how can we teach it?". Disponível em:<http://www.cimt.plymouth.ac.uk/journal/bakom.pdf>. Acesso em: 4 Ago. 2009.
- Cópia local disponível em http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/1.LogicaProposicional/WHY_WE_NEED_TO_TEACH_LOGIC_AND_HOW_CAN_WE_TEACH_IT_bakom.pdf
- Por que precisamos ensinar lógica e como devemos ensiná-la? - Tradução (parcial) para o português feita por Cibele Reis
Listas de Exercícios
- Lógica proposicional:
- p.12-13 de (SILVA; FINGER; MELO, 2006)
- p.16 de (SILVA; FINGER; MELO, 2006)
- p.20-22 de (SILVA; FINGER; MELO, 2006)
- p.27-28 de (SILVA; FINGER; MELO, 2006)
- Sistemas dedutivos:
- para sistemas axiomáticos:
- p.40-41 de (SILVA; FINGER; MELO, 2006)
- para dedução natural:
- p.47-48 de (SILVA; FINGER; MELO, 2006)
- para tablôs analíticos:
- p.55-56 de (SILVA; FINGER; MELO, 2006)
- Fazer os exercícios 2.6 e 2.7 das páginas 47 e 48 de (SILVA; FINGER; MELO, 2006) com tablôs analíticos
- para tablôs KE:
- Fazer os exercícios p.55-56 de (SILVA; FINGER; MELO, 2006) com tablôs KE
- Fazer os exercícios 2.6 e 2.7 das páginas 47 e 48 de (SILVA; FINGER; MELO, 2006) com tablôs KE
- para sistemas axiomáticos:
Obs.: (SILVA; FINGER; MELO, 2006) está na bibliografia básica da disciplina.