Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).
Data: 06 de outubro de 2020 (terça-feira) Horário: 16:00h GMT-3 Apresentador: Cesar Alberto Bravo Pariente (UESC) Título: Ferramentas online para ensino –e estudo- de Lógica para Computação Resumo: Disciplinas de “Lógica para Computação” são comuns no primeiro ano do curso de Ciência da Computação.O conteúdo costuma focar em sistemas dedutivos abstratos com diferentes conceitos de prova.O desenvolvimento de exemplos e exercícios nesses sistemas é longo, dificultando que o aluno acompanhe com facilidade e identifique erros quando acontecem.Existem ferramentas online para alguns sistemas dedutivos que podem ser utilizados como ferramentas didáticas nas disciplinas de “Lógica para Computação”.Neste tutorial vamos mostrar como utilizar essas ferramentas online para desenvolver exemplos e exercícios não triviais para disciplinas de “Lógica para Computação”. Esta apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/amw-wuus-kap . *** Data: 08 de outubro de 2020 (quinta-feira) Horário: 11:00h GMT-3 Apresentador: Gisele Secco (UFSM) Título: Diagramas e programas: o Teorema da Quatro Cores e suas circunstâncias Resumo: Embora seja um resultado matemático amplamente noticiado desde sua publicação, tendo sido assunto de controvérsias filosóficas desde então, a prova do Teorema das Quatro Cores (T4C) apresentada em [Appel & Haken 1977] e [Appel, Haken & Koch 1977] é ainda hoje fonte de questões relevantes tanto para a história quando para a filosofia da prática matemática. Neste campo de pesquisas, o uso de diagramas e de computadores são dois temas bastante significativos. Entretanto, a profusão de pesquisas sobre diagramas – dos notórios trabalhos sobre os papéis de diagramas na geometria Euclidiana, passando por estudos de caso em aritmética, análise, topologia, teoria dos nós e mesmo na Conceitografia de Frege – não é a mesma quando o assunto é o uso de computadores. De outra parte, o modo como diagramas e computadores interagem não foi até hoje objeto de análise nem por parte de quem busca esclarecer problemas conceituais relativos às práticas matemáticas nem por quem se dedica a filosofar sobre a ciência da computação. Tendo como cenário meus trabalhos pregressos sobre a recepção filosófica do T4C, esta apresentação tem a finalidade de mostrar como uma análise da interação entre o uso de diagramas e o uso de programas na confecção da prova do T4C pode, por um lado, esclarecer algumas confusões típicas das tradicionais controvérsias filosóficas sobre o resultado e, por outro, dar à luz questões de interesse filosófico cuja pertinência é bastante atual, como o é a questão da identidade de provas (e de programas). A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/rie-ijro-onf . -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq08u-qz9tC6tC4nXfQjAG49ZgzUkk%3DR7qEpQG9%2Bb0UdEsA%40mail.gmail.com.
