Célula de Ensino evolução que gera resultados
Núcleo de Criptografia Pós-Quântica e Métodos Formais

Criptografia Pós-Quântica, Códigos Corretores Avançados (BCH/Reed-Solomon) e Verificação Formal: Padrões NIST

O profissional estará apto a conduzir auditorias de segurança de longo prazo, planejar a migração para a era pós-quântica e implementar códigos corretores em infraestruturas digitais de missão crítica.

6 células 32h Avançado
🚀 Escada de Valor • Pacotes & Credit Upgrade (R$ 29,99 a R$ 199,99)

Jornada Executiva: Matemática Discreta, Teoria dos Números, Grafos & Criptografia Moderna

Do curso base em Matemática Discreta (R$ 29,99) ao Master Internacional em Fundamentos Matemáticos da Computação e Algoritmos Avançados (R$ 199,99).

🎯 1. Porta de Entrada (R$ 29,99) Inicie pela Trilha Start (R$ 29,99) com baixo atrito financeiro e domine os fundamentos globais na prática.
💳 2. Abatimento no Upgrade (Credit Upgrade) 100% dos R$ 29,99 investidos na Trilha Start viram crédito imediato (cupom MDS29) para abater nas Trilhas 2, 3, 4 ou 5!
🌍 3. Certificação Dupla (PT-BR & EN) + ODS Certificados emitidos em Português e Inglês com competências alinhadas aos ODS da ONU para seu perfil global no LinkedIn.
Alinhamento ONU / Agenda Pós-2030: ODS 9 (Indústria, Inovação e Infraestrutura) ODS 4 (Educação de Qualidade) ODS 8 (Trabalho Decente) ODS 16 (Paz, Justiça e Instituições Eficazes) ODS 17 (Parcerias Globais)
Nível 5 • 45h Mais Completo

Master Internacional em Matemática Discreta e Teoria da Computação: Padrões ACM/IEEE, Algoritmos Avançados e Carreira Global

Síntese avançada dos fundamentos matemáticos da computação: complexidade computacional (classes P, NP e NP-Completo), algoritmos probabilísticos, provas de conhecimento zero (ZK-SNARKs), preparação para processos em Big Techs e institutos globais de pesquisa (ACM/IEEE).

R$ 199,99 Com Credit Upgrade: R$ 170,00 (-R$ 29,99)
Fazer Upgrade →
Sugestões CdE

Compare com trilhas semelhantes

Sugestões ligadas ao conteúdo desta trilha para apoiar sua decisão de matrícula.

Evolução do Processamento de Linguagem Natural: Da Era das Regras Simbólicas à Estatística Massiva e à Atenção dos Transformers R$ 29,90
Evolução do Processamento de Linguagem Natural: Regras, Estatística e Deep Learning

Evolução do Processamento de Linguagem Natural: Da Era das Regras Simbólicas à Estatística Massiva e à Atenção dos Transformers

Compreenda como a ciência da computação abandonou a tentativa de ensinar regras gramaticais manuais às máquinas e passou a treiná-las com estatística massiva e redes neurais profundas através dos três grandes saltos do PLN.

📚 12 células ⏱️ 20h Iniciante a Intermediário
Linguística Histórica Digital: Da Filologia de Manuscritos à Macroanálise Computacional da Evolução das Línguas R$ 29,90
Linguística Histórica Digital, Filogenética Computacional e PLN Diacrônico

Linguística Histórica Digital: Da Filologia de Manuscritos à Macroanálise Computacional da Evolução das Línguas

Compreenda como a transição da linguística histórica para o ambiente digital substituiu décadas de busca manual em pergaminhos pela macroanálise computacional em três frentes: corpora morfossintáticos, filogenética bayesiana e vetores semânticos diacrônicos.

📚 12 células ⏱️ 20h Iniciante a Intermediário
Humanidades Digitais: Teoria Crítica, Processamento de Grandes Volumes de Dados Culturais e Leitura Distante R$ 29,90
Humanidades Digitais: Teoria Crítica e Processamento Computacional de Dados Culturais

Humanidades Digitais: Teoria Crítica, Processamento de Grandes Volumes de Dados Culturais e Leitura Distante

Compreenda por que as Humanidades Digitais não são apenas escanear livros em PDF, mas uma mudança de método que cruza teoria crítica e computação em três etapas: formulação da pergunta e criação do dado, processamento macroscópico e visualização crítica.

📚 12 células ⏱️ 20h Iniciante a Intermediário
Jornada da trilha

Células de aprendizagem

1

Célula 01: A Ameaça Quântica à Criptografia Clássica: O Algoritmo de Shor e a Quebra do RSA/ECC

Compreender como a transformada quântica de Fourier encontra o período em tempo polinomial e torna obsoletas as chaves RSA de qualquer tamanho prático.

5h 20min
2

Célula 02: Criptografia Baseada em Reticulados (Lattice-Based Cryptography): Problemas LWE, Shortest Vector Problem (SVP) e Padrões NIST (ML-KEM / Kyber)

Aritmética de anéis polinomiais, introdução de erros propositais e esquemas de encapsulamento de chaves resistentes a computadores quânticos.

5h 20min
3

Célula 03: Códigos Corretores Avançados: Códigos Cíclicos BCH e Códigos de Reed-Solomon em Corpos de Galois GF(2^m)

Álgebra de corpos finitos, interpolação polinomial, decodificação de Berlekamp-Massey e aplicação em sistemas de arquivos distribuídos (HDFS / Ceph).

5h 20min
4

Célula 04: Códigos LDPC (Low-Density Parity-Check) e Grafos de Tanner: Decodificação por Propagação de Crenças

Representação esparsa de paridades em grafos bipartidos de Tanner e algoritmo de Belief Propagation (Sum-Product) para enlaces 5G e Wi-Fi 6.

5h 20min
5

Célula 05: Verificação Formal de Teoremas e Protocolos Matemáticos com Assistentes de Prova (Lean 4 / Coq)

Da prova matemática informal para a linguagem tipificada formal (Cálculo de Construções Indutivas) com validação computacional à prova de erros.

5h 20min
6

Célula 06: Laboratório Executivo: Plano de Transição Criptográfica Pós-Quântica e Dossiê de ROI em Segurança da Informação

Construir o plano estratégico e a análise de retorno sobre o investimento (ROI) para migração de infraestrutura bancária/governamental para padrões pós-quânticos.

5h 20min