Modelos computacionais
Linguagens Formais e Autômatos
Teoria organizada por aula, autômatos finitos, autômatos com pilha, máquinas de Turing e exercícios resolvidos passo a passo.
Materiais interativos de disciplinas já cursadas, reorganizados como cadernos vivos de estudo.
notebook.kenzofujimoto.com
Cada disciplina mantém suas páginas e simulações originais, mas agora dentro da identidade visual do projeto raiz.
6
Disciplinas
20+
Páginas
Modelos computacionais
Teoria organizada por aula, autômatos finitos, autômatos com pilha, máquinas de Turing e exercícios resolvidos passo a passo.
Camadas e infraestrutura
Guia multipágina para revisar fundamentos, modelos OSI/TCP-IP, aplicações, Packet Tracer, IPv4, CIDR, VLSM, roteamento e segurança.
Processo e modelagem
Revisão por aula com requisitos, modelagem, arquitetura, qualidade, testes, manutenção e exemplos de entrega.
Estruturas discretas
Páginas, exercícios e animações conferidas por invariantes para revisar conectividade, coloração, matching e fluxo.
Modelos de linguagem
Caderno visual para comparar linguagens e paradigmas: imperativo, orientado a objetos, funcional com Haskell e lógico com Prolog.
Kernel e recursos
Caderno com processos, escalonamento, IPC, sincronização, deadlock, memória, arquivos, E/S e segurança em forma visual.