📚 論計舎の教材一覧
論計舎では、過去のイベントや講義のアーカイブを中心とした教材を販売・配布しています。
各教材には講義の録画・スライド・補足資料が含まれており、自学自習や再学習にもご活用いただけます。
🎁 無料配布教材（メールマガジン登録特典）
以下の教材は、メールマガジンにご登録いただいた方に無料で配布しています。
登録完了後、すぐにダウンロードリンクをお送りします。
📘 数理論理学スターターマニュアル【無料】
- 数理論理学に興味を持った方向けの入門パンフレット
- 数学の学び方・輪読文化・数理論理学の概観を丁寧に解説
- 筆者の学びの経験と書評をもとに、推奨テキストを紹介
- ▶︎ 詳細ページ
🧠 自然演繹100本ノック【無料】
- 自然演繹による証明図の演習問題集（全100題）
- 最小命題論理から古典述語論理までを網羅
- 「書く」ことに慣れ、思考の余地を確保する形式訓練
- ▶︎ 詳細ページ
🔍 反例構成100本ノック【無料】
- 「成立しない論理式」に対して意味論的な反例モデルを構成する訓練教材
- 直観主義・様相・古典述語・関連性論理に対応
- 数学的論証・意味論の実践力を磨きたい中級者以上向け
- ▶︎ 詳細ページ
🛒 販売中の教材
🧩 連続講義アーカイブ：「ゲーデルの不完全性定理への12講」【有料】
- 全8回分の講義録画・スライドPDF・補足解説つき
- 一階述語論理の健全性・完全性の証明を理解している方に最適
- 価格：11,000円（税込）
- 対象：中〜上級者向け（大学学部後半〜大学院相当）
- ▶︎ 購入ページへ
📅 開催時期：2022〜2023年
🎥 録画時間：約x時間（章構成別）
📂 提供形式：mp4（動画）、pdf（スライド）
🔮 今後追加予定の教材（予告）
- 集中講義「一階述語論理の完全性とその証明」（録画＋スライド）
- セッション形式教材（対話＋演習ベースの映像教材）
❓ よくあるご質問
Q. 教材の視聴に有効期限はありますか？
A. 原則として購入後は無期限で利用可能です（一部の限定イベントを除く）。
Q. 教材に関する質問はできますか？
A. 教材販売のみの形式ですが、希望者には解説付きコースをご案内可能です。お気軽にご相談ください。
📬 お問い合わせ
教材に関するご質問・領収書発行のご希望などは、
お問い合わせフォームよりお気軽にご連絡ください。
※ このページは、論計舎が提供する公式教材の販売・配布情報をまとめたものです。