Ciencias Formais 

A lógica, a matemática e a programação são pilares do pensamento estruturado e da inovação. Da construção de argumentos rigorosos à modelagem abstrata de fenômenos e à criação de algoritmos que impulsionam a tecnologia, essas áreas moldam o conhecimento e a transformação digital. Nesta seção, exploramos esses três grandes domínios do raciocínio formal e computacional.