Criada: 2012-01-28
Obter uma visão geral da área de grafos, de modo a conhecer a nomenclatura e os principais resultados nesta área.
No futuro, quando, em sua vida profissional, os alunos precisarem de mais detalhes sobre algum tópico, terão a base necessária para procurar e entender material mais aprofundado sobre o tópico em questão.
Buscaremos também obter uma visão da importância e do papel das demonstrações formais e de seus análogos computacionais, os programas, como instrumentos de entendimento, argumentação e convencimento em direção à Verdade.
© 2012 João Meidanis