 | Galois Explorer.Análise de conceito formal facilitada. |
| Baixe Agora | |
Galois Explorer. Classificação e resumo
Propaganda
- Licença:
- GPL
- Nome do editor:
- Sebastian Telto
- Sistemas operacionais:
- Windows All
- Tamanho do arquivo:
- 6 KB
Galois Explorer. Tag
- viewer. visualizar conceito de contador Conceito nn. conceito técnico conceito pontuação multi-formais multi-formais Conceito de algoritmo editar especificação formal Análise Formal de Conceito Conceito de banco de dados Algoritmo de geração de treliça FCA Evento-B Método formal Mineiro formal do conceito. Tópicos formais de línguas mapa conceitual mapeamento de conceito
Galois Explorer. Descrição
O Galois Explorer é um software simples e útil que fornece uma interface amigável para funcionalidades básicas de análise formal de conceito (FCA) com diferentes algoritmos de geração de treliça. Esta aplicação foi projetada para também oferecer um espectador interativo para explorar uma rede treliciosa 3-dimensionalmente.
Galois Explorer. Software Relacionado
Forças elétricas em duas dimensões
simula a força elétrica que uma partícula carregada experimenta em uma situação bidimensional ...
1.3 MB
