Curso de Verão: Ferramentas Lógicas e Conceituais

De 12 a 15 de fevereiro de 2019. CFH, UFSC, sala 315. 08-12:00h e 14-18:00h Resumo: A presente proposta de minicurso foi elaborada seguindo o espírito do interesse na requalificação de trabalhadores para o mercado de trabalho. De modo mais geral ele visa o desenvolvimento de novas competências profissionais e estimular o interesse no aumento do nível de escolaridade e no desenvolvimento da consciência socioambiental. Para tais objetivos gerais, o curso pretende oferecer ferramentas da Lógica para o desenvolvimento de habilidades específicas que podem ser usadas, de maneira direta ou indireta, em vários campos profissionais, da programação de computadores até as atividades de docência. Os conteúdos principais do curso são associados à apresentação e exercício da linguagem formal do Cálculo Proposicional, que oferece a base para o aprendizado de outros sistemas de Lógica e que tem aplicação direta nas linguagens computacionais, servindo como um excelente meio de introdução às linguagens de programação. Além disso, o curso também apresentará rudimentos de Lógica Informal, de grande utilidade para o desenvolvimento Justificativa Tornar explícitas as regras das boas formas de pensamento é uma preocupação antiga que continua viva com grande força. Esta preocupação é alimentada pela ideia de que podemos avaliar e melhorar nossa capacidade de raciocínio. Isso motivou o surgimento de sistemas que mais tarde foram agrupados na disciplina que conhecemos como Lógica Formal. Estes sistemas ganharam grande impulso no final do século XIX com as ferramentas de formalização, que permitem que raciocínios dedutivos sejam operados de modo análogo ao da álgebra. O domínio destas ferramentas, junto com outras como as de definição conceitual e da lógica informal são reconhecidas como capazes de auxiliar no aprendizado de linguagens artificiais e como meios para desenvolvimento do raciocínio. Objetivos Apresentar o Cálculo Proposicional Apresentar exercícios de definição de conceitos e outras ferramentas de pensamento crítico; Discutir questões gerais sobre a inserção dos indivíduos no mercado de trabalho, na escola e no ambiente sociocultural. Conteúdos Sintaxe e a semântica do Cálculo Proposicional Dedução Natural: Regras e exercícios Exercício de definição conceitual Rudimentos de Lógica informal Público alvo Interessados em aprender programação. Interessados em matemática; interessados em desenvolvimento do raciocínio lógico e crítico. O curso será aberto a todos os interessados.

Ministrante


Inscrições encerradas há 5 meses (05/02/2019)