8
8

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

More than 5 years have passed since last update.

プログラマー向けの(?)数理論理学

Last updated at Posted at 2018-11-22

「プログラマー向けの(?)数理論理学」のまとめページです。更新履歴や関連情報なども掲載します。

進捗状況

あまり良くありません。今後更新頻度が落ちるかもしれません。

連載一覧

関連記事

  • 形式化数学入門1

  • 数学ゲーム(定理証明ゲーム)を作ろう(1)構想を練ってみる(予定)

今後取り扱うかもしれないこと

数学

  • 述語論理
  • 公理的集合論
  • .etc

機能追加・改善

  • 論理式のパーサ作成
  • 証明図上で直接証明を作成する機能
  • 数学記述言語の作成
  • ログイン機能
  • 公開機能
  • メタデータ追加
  • 1つの数学的命題に対する複数の証明の扱い

関連情報

GitHub

「rena」という名称で公開しています。

https://github.com/pizyumi/rena

Twitter

近々Twitterでも形式化数学の情報(様々な定理の形式的証明など)や開発の進捗状況を発信していきたいと思っています。

ウェブページ

まだまだ先になりそうですが、形式化数学に関するウェブページを作成したいです。

更新履歴

2019/1/26

  • (8)選言に関する推論規則・・・投稿

2018/12/3

  • (7)連言に関する推論規則・・・投稿

2018/11/30

  • (6)否定に関する推論規則・・・投稿

2018/11/26

  • (5)含意のみに関する主要な定理・・・投稿

2018/11/23

  • (4)証明図・・・証明図のCSSとHTMLを変更
  • (4)証明図・・・証明図作成のロジックを大幅に改良・バグ修正
  • (4)証明図・・・説明の詳細化

2018/11/22

  • (2)証明と推論規則と仮定・・・含意導入規則のロジックを大幅に改良
  • (2)証明と推論規則と仮定・・・説明の詳細化

2018/11/12

  • (4)証明図・・・投稿

2018/11/9

  • (2)証明と推論規則と仮定・・・説明追加
  • (3)ウェブアプリ化・・・投稿

2018/11/7

  • (2)証明と推論規則と仮定・・・投稿

2018/11/6

  • (1)数学的言明・・・投稿
8
8
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
8
8

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?