117366 - Lógica Computacional 1

1 Plano de Ensino

2 Quadro de avisos

2.1 [2020-03-25 Qua 17:08]: Dada a suspensão do calendário acadêmico pelo CEPE, retomaremos as atividades assim que o novo calendário for divulgado.

2.2 [2020-03-23 Seg 09:24]: Um arquivo de introdução à lógica proposicional foi disponibilizado para leitura na página da disciplina no moodle http://aprender.unb.br. Este material também inclui exercícios ao longo do texto. Resolva cada um destes exercícios porque esta é uma etapa importante do aprendizado. Posteriormente serão disponibilizadas atividades para avaliar a sua compreensão sobre lógica proposicional no moodle.

2.3 [2020-03-20 Sex 08:59]: Uma nova versão do plano de ensino será disponibilizada, e as atividades do curso serão realizadas a partir de segunda-feira [2020-03-23 Seg] de forma remota a partir desta página e do moodle link.

2.4 [2020-03-16 Seg 15:36]: As aulas presenciais canceladas. Atividades serão oportunamente propostas via a página da disciplina no moodle http://aprender.unb.br.

2.5 Link para página do curso no Moodle.

2.6 Arquivos: ProofWeb.v

Author: Prof. Flávio L. C. de Moura

Created: 2020-03-25 Qua 17:12

Validate