教材

教材

教材は論計舎web shopからダウンロード・ご購入いただけます。

数理論理学スターターマニュアル

販売ページ

論と計の門を叩こうとする人に少しでも適切な門を紹介したい。そう考えたのが本稿の執筆のきっかけです。

論計舎の活動の中で数学の学び方や数理論理学とはなにかといった話、そして何よりおすすめの教科書・テキストの提示が、適切な門の提示であると考え、本稿はこの考えに従った構成にしました。

第1章では、数理論理学は数学の一分野であるという立場から前提としての数学の学び方に関する筆者の考えを紹介しています。

第2章は数理論理学とは何かへの説明をしています。 ここでは可能なかぎり、読者のみなさんの関心を想像しながら、歴史の説明と重要な定理・成果を概略的に解説するように心がけました。

第3章と第4章はひとまとまりに考えられます。 この二つの章がおすすめのテキストの紹介とそれらがどうおすすめであるかとかどう使うべきかという話を担います。

筆者自身の学びが 読者のみなさんに還元されて、 さらにはより多くの方が論と計の科学の、つまり数理論理学の門を叩いてくださればと願います。

ぜひ、ご購入ください。

販売ページ

自然演繹100題ノック

詳しくはこちら

自然演繹の証明図をひたすら書く教材を作成しました。

この教材では自然演繹の証明図を書く問題を100題提出します。 しかし、数理論理学は、証明図を書く学問ではありません。 では、なぜ100題ノックを世に出すのかという問いは自然なものです。 その答えは、証明図を書くことに脳のリソースを使わないでいいことで、 証明図・証明とは何かを概念的に思考する余裕が生じると考えたからです。

ぜひ、挑戦してみてください。

詳しくはこちら!