Direito, lógica e inteligência artificial

A solução judicial de litígios, no Brasil, pode ser automatizada, em algum nível? Se sim, como isso poderia ser feito? Quais as abordagens ou tecnologias seriam úteis para esse propósito? E quais os tipos de demanda mais passíveis de uma solução automática? Será que, ao conferir autoridade à decisão da máquina, tal automação seria desejável no contexto do sistema judiciário brasileiro? Partindo de dados empíricos sobre a Justiça e sobre o perfil das demandas no Brasil, este capítulo aborda essas perguntas e defende que a solução judicial de conflitos repetitivos pode, sim, ser automatizada de modo satisfatório. Discute de que forma poderia ser realizada essa mudança tecnológica no exercício da jurisdição, sugerindo métodos de Inteligência Artificial Simbólica para a tarefa, em função das vantagens de explicabilidade e transparência.

Direito para Professores

O minicurso Direito para Professores aborda conhecimentos fundamentais do Direito, necessários para o entendimento da função social do Poder Judiciário, bem como das principais ferramentas e formas de manejo do Direito. Sua principal finalidade é fornecer conhecimento suficiente que habilite ao professor repassar aos seus alunos saberes que possibilite o pleno exercício da cidadania.

Projeto Jovem Pesquisador

O projeto Jovem Pesquisador tenta superar todas essas dificuldades, induzindo ao aluno a apro­priar-se de fundamentos do conhecimento e do trabalho científico, bem como de sua competente documentação e exposição.

Teologia para Matemáticos

O curso preocupa-se em oferecer habilidades e embasamentos apropriados no âmbito da religiosidade, através de um percurso pelas visões deístas, teístas e panteísta e pela análise metafísica do ateísmo. Os conceitos de religião e de igreja são apresentados numa análise histórica, ontológica e fenomenológica.

Oficina Youtubers

Começaremos com ferramentas simples e de baixo custo, para melhor ocasionar o ingresso dos professores de matemática nesse seleto e importante grupo de profissionais. A intenção primeira é preparar o professor a produzir os próprios vídeos de aulas, solução de exercícios, que podem ser oferecidos aos alunos, como complementação às aulas de conteúdo, bem como para outras finalidades, como resolução de provas e exercícios domiciliares, etc.