Ao longo do curso, realizaremos três tipos de atividades, que
serão usadas em termos de avaliação:
<ul>
<li> Provas: 2 provas individuais, com consulta, envolvendo todo o conte&uacute;do abordado at&eacute; &agrave; respectiva data.</li>
<li> Trabalhos Pr&aacute;ticos: 3 trabalhos de implementa&ccedil;&atilde;o, usando uma das seguintes linguagens: C, C++, Ada, Assembler.</li>
<li> Exerc&iacute;cios semanais: exerc&iacute;cios de especifica&ccedil;&atilde;o de algoritmos, usando ferramentas de verifica&ccedil;&atilde;o como
<i> Spin, Murphy, Mona, ou TLC. </i>
</ul>
<br>