Todas as postagens

Resolução de Problemas com Lógica Matemática

A lógica matemática como ferramenta de resolução de problemas. Abordamos um pouco de história para fundamentar as descobertas científicas que levaram a criação do computador. Estudamos lógica proposicional, lógica predicativa...

Estrutura de Dados II

Ordenação, embaralhamento, grafos, árvores e um pouco de análise assintótica, tudo em C++. O conteúdo desta disciplina consiste na descrição e estudo de alguns dos principais algoritmos e estruturas de...

Engenharia de Software - Modelagem

Para os teóricos da computação, a programação orienta da objetos está com seus dias contados e vai entrar na lista dos maiores erros cometidos no século XX. Eu concordo!

O inferno, o Covid e as boas intenções

No dia 11 de abril de 2020 o Google e a Apple, anunciaram que irão disponibilizar um conjunto de ferramentas para a localização de pessoas portadoras do vírus corona utilizando...