Hilbert II - QEDEQ 0.04.02

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.0/5 - ‎1 ‎投票

ヒルベルトのプログラムの伝統では、正式な正しい(証明検証者によってチェック可能)が、読みやすい(通常のLaTeX教科書のように)インターネット内で自由にアクセスできる数学的知識ベースを作成します。論理と集合論が始まった。

バージョン履歴

  • バージョン 0.04.02 に転記 2011-05-01
  • バージョン 0.04.11 に転記 2011-03-05
    いくつかの修正と更新

プログラムの詳細

  • カテゴリ: 教育 >
  • パブリッシャー: www.qedeq.org
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: 0.04.02
  • プラットフォーム: linux