Informações Gerais

Local e horário

• Horário: Ter 10-12h, Sex 8-10h

Acompanhe o cronograma da disciplina

• Cronograma

• Notas

A Lógica é uma das ciências mais antigas, mas com grande aplicação na atualidade. Suas origens datam do século IV a.C., sendo posterior apenas à Filosofia e Matemática, com as quais sempre esteve conectada. Os conhecimentos da Lógica foram revitalizados no século XX, graças a aplicação de novas técnicas da matemática e, nos últimos 50 anos teve sua importância ressaltada, devido às aplicações na Ciência da Computação e Eletrônica.

Discord (entrada obrigatória): https://discord.gg/sRW2S4MBW

Canal no youtube com vídeos da disciplina

Metodologia

Mix de aulas presenciais, discussões online e atividades assíncronas. As aulas presenciais enfatizam atividades em grupo, como discussões, exercícios e exemplos práticos. 

Avaliação (média de três notas)

• Avaliação Presencial 1

• Avaliação Presencial 2

• Média de questionários online + Mini-projeto Alloy (eliminando a menor nota)