論計舎の教材一覧
論計舎では、数理論理学の自学自習に役立つ教材を配布しています。
無料配布教材（メールマガジン登録特典）
以下の教材は、メールマガジンにご登録いただいた方に無料で配布しています。
登録完了後、すぐにダウンロードリンクをお送りします。
数理論理学スターターマニュアル【無料】
- 数理論理学に興味を持った方向けの入門パンフレット
- 数学の学び方・輪読文化・数理論理学の概観を丁寧に解説
- 筆者の学びの経験と書評をもとに、推奨テキストを紹介
- 詳細ページ
自然演繹100本ノック【無料】
- 自然演繹による証明図の演習問題集（全100題）
- 最小命題論理から古典述語論理までを網羅
- 「書く」ことに慣れ、思考の余地を確保する形式訓練
- 詳細ページ
反例構成100本ノック【無料】
- 「成立しない論理式」に対して意味論的な反例モデルを構成する訓練教材
- 直観主義・様相・古典述語・関連性論理に対応
- 数学的論証・意味論の実践力を磨きたい中級者以上向け
- 詳細ページ
過去の講義アーカイブ
連続講義アーカイブ：「ゲーデルの不完全性定理への12講」
販売終了しました。 既にご購入いただいた方は引き続きご視聴いただけます。再販の予定は未定です。
- 全8回分の講義録画・スライドPDF・補足解説つき
- 開催時期：2022〜2023年
- 対象：中〜上級者向け（大学学部後半〜大学院相当）
よくあるご質問
Q. 教材の視聴に有効期限はありますか？
A. 原則として購入後は無期限で利用可能です（一部の限定イベントを除く）。
Q. 教材に関する質問はできますか？
A. 教材についてのご質問は、お問い合わせフォームよりお気軽にご連絡ください。
お問い合わせ
教材に関するご質問・領収書発行のご希望などは、
お問い合わせフォームよりお気軽にご連絡ください。