Matemática Discreta · 1.º ano (indicativo)
Matemática discreta com software
Capítulo de Matemática Discreta com 0 artigos publicados de 16 temas previstos no plano. Os artigos serão publicados aos poucos, depois de escritos e revistos.
Temas deste capítulo
Plano editorial: 16 temas. Só os que têm ligação já estão escritos e publicados.
- O que é o Python em matemática discreta?
- O que é o SymPy para combinatória e teoria de números?
- O que é o NetworkX para grafos?
- O que é o Graphviz?
- O que é o Wolfram Alpha em matemática discreta?
- O que é o Lean e os assistentes de prova?
- O que é o Coq e a verificação formal?
- Como usar o NetworkX para desenhar um grafo?
- Como usar o SymPy para calcular o MDC e o inverso modular?
- Como usar o Python para gerar tabelas de verdade?
- Como usar o Graphviz para desenhar um grafo?
- Como calcular combinações e permutações em Python?
- Como implementar o crivo de Eratóstenes em Python?
- Como implementar o algoritmo de Dijkstra em Python?
- Como gerar a sequência de Fibonacci em Python?
- Como verificar uma tautologia em Python?