Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos
Download

Na tradição do programa de Hilbert criamos um correto formal (checkable por um verificador de prova) mas legível (como um livro comum de livros didáticos LaTeX) que é livremente acessível dentro da internet. A lógica e a teoria dos conjuntos começaram.

história da versão

  • Versão 0.04.02 postado em 2011-05-01
  • Versão 0.04.11 postado em 2011-03-05
    Várias correções e atualizações

Detalhes do programa

Programas Relacionados

  • GET_IT - Game Engine Tutorial in TCL Livre

    Este projeto foi encerrado há algum tempo. Se quiser pegar o nome do projeto, me envie um e-mail.

  • SPINA Livre

    SPINA é um software para determinar parâmetros constantes de estrutura-parâmetros de sistemas de controle de feedback endócrinos a partir de níveis hormonais obtidos in vivo. A primeira versão desta abordagem cibernética perm

  • Meshgen Livre

    Meshgen foi projetado para gerar interativamente malhas FEM 2D compostas de elementos triangulares e quadrilaterais.

  • Vocabulary Builder for GRE SAT Avaliação gratuita

    Manhattan Review apresenta o primeiro aplicativo móvel na Índia. Você pode aprender novas palavras que o ajudarão na preparação para GRE, SAT, TOEFL e IELTS. Você também pode avaliar seus conhecimentos sobre as palavras e t

  • Carrying the Word Avaliação gratuita

    Carregando a Palavra, publicado pela University Press of ColoradoCompre este ebook sem DRM hoje! Alimentado por Aldiko.O primeiro estudo completo dos dançarinos Concheros, cujo uso da dança liga as práticas religiosas

  • Moritz Livre

    Moritz é um "addon" para a conhecida ferramenta doxygen. Ele gera diagramas nassi shneiderman de funções e métodos em uma fonte c/c++ como html-files, que poderia ser incluído em um software-dokumentaion ou whached

  • Birdlogger Livre

    Um programa de registro de aves para ajudar ornitólogos e observadores de aves na exploração madeireira de aves. No Visual Basic, para Windows e Linux. Inglês e francês.

  • Bowtie Livre

    Bowtie, um alinhador de leitura curta ultrarrápido e eficiente para a memória para sequências de DNA curtas (leituras) de sequenciadores de próxima geração. Por favor, cite: Langmead B, et al. Alinhamento ultrarrápido e efici

  • LaserFoam Livre

    LaserFoam realiza simulações de pulsos laser usando um método de quatro etapas de divisão adaptativa para resolver a equação de Schrdinger não linear generalizada. Ele fornece um ambiente gráfico para executar e visualizar os

  • Daylight Chart Livre

    Daylight Chart mostra os horários do nascer e do pôr do sol em um gráfico atraente, para qualquer local do mundo. O efeito do horário de verão também é exibido. Os gráficos podem ser exportados para arquivos de imagem.