ブログ「サイバー少年」

ブログ「サイバー少年」へようこそ!
小学六年生ごろからプログラミングを趣味にしている高校生のブログです。
勉強したことについての記事などを書いています。フリーソフトも制作、公開しています。
(当ブログについて詳しくは「ブログ概要紹介」を参照)

サイバー少年が作ったフリーソフトは「サイバー少年の作品展示場」へ

5月

その他で覚えた技術
・形式論理(証明論)の自然演繹を学んだ。
・公理的集合論について考えた。
・順序集合について考えた。

コメント
今回は全部、数学や論理学についてですね。下の2つは考えたというだけのことですが、一番上の自然演繹は結構、本格的に勉強していました。

tag:

当ブログをご利用(閲覧等)になる場合は必ず「当ブログの利用規定」をお守りください。