Posts com a tag #ciencia-da-computacao

Lógica Proposicional e de Primeira Ordem: Fundamentos e Computabilidade

Domine tabelas-verdade, equivalências de De Morgan, predicados e quantificadores aplicados à refatoração e verificação formal de código.