Invia software
  1. Casa
  2. Linux
  3. Altro
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

Nella tradizione del programma di Hilbert creiamo una base di conoscenze matematiche formale corretta (controllabile da un verificatore di bozza) ma leggibile (come un normale libro di testo LaTeX) che è liberamente accessibile all'interno di Internet. La logica e la teoria degli insiemi sono iniziate.

cronologia delle versioni

  • Versione 0.04.02 pubblicato il 2011-05-01
  • Versione 0.04.11 pubblicato il 2011-03-05
    Diverse correzioni e aggiornamenti

Dettagli del programma

Programmi correlati

  • GET_IT - Game Engine Tutorial in TCL Gratuito

    Questo progetto è stato chiuso qualche tempo fa. Se vuoi prendere il nome del progetto, chiamami via e-mail.

  • SPINA Gratuito

    SPINA è un software per determinare i parametri di struttura costanti dei sistemi di controllo del feedback endocrino dai livelli ormonali ottenuti in vivo. La prima versione di questo approccio cibernetico consente di evoalu

  • Meshgen Gratuito

    Meshgen è progettato per generare in modo interattivo mesh FEM 2D composte da elementi triangolari e quadrilateri.

  • Vocabulary Builder for GRE SAT Prova gratuita

    Manhattan Review presenta la prima applicazione mobile in India. Puoi imparare nuove parole che ti aiuteranno a prepararti per GRE, SAT, TOEFL e IELTS. Puoi anche valutare le tue conoscenze sulle parole e testare le tue abi

  • Carrying the Word Prova gratuita

    Carrying the Word, pubblicato da University Press of ColoradoAcquista questo ebook senza DRM oggi stesso! Alimentato da Aldiko.Il primo studio completo dei ballerini di Concheros, il cui uso della danza collega le prat

  • Moritz Gratuito

    Moritz è un "addon" del noto strumento doxygen. Genera diagrammi nassi shneiderman di funzioni e metodi in un'origine c/c++ come file html, che potrebbero essere inclusi in un software-dokumentaion o semplici whache

  • Birdlogger Gratuito

    Un programma di disboscamento degli uccelli per aiutare gli ornitologi e gli osservatori di uccelli a registrare gli uccelli da vista. In Visual Basic, per Windows e Linux. Inglese e francese.

  • Bowtie Gratuito

    Bowtie, un allineatore di lettura breve ultraveloce ed efficiente in termini di memoria per brevi sequenze di DNA (letture) da sequencer di nuova generazione. Si prega di citare: Langmead B, et al. Allineamento ultraveloce ed

  • LaserFoam Gratuito

    LaserFoam esegue simulazioni di impulsi laser utilizzando un metodo Fourier split step adattivo per risolvere l'equazione di Schrdinger non lineare generalizzata. Fornisce un ambiente grafico per eseguire e visualizzare i ris

  • Daylight Chart Gratuito

    Daylight Chart mostra gli orari dell'alba e del tramonto in un grafico attraente, per qualsiasi posizione nel mondo. Viene visualizzato anche l'effetto dell'ora legale. I grafici possono essere esportati in file di immagine.