概要
講義式で、月2セッションを4ヶ月かけて、つまり8回の講義で、数理論理学の前提知識なしにCurry-Howard対応を紹介する講座です。
Curry-Howard対応とは、「証明=プログラム」と解釈する数理論理学および理論計算機科学の指導原理です。
特徴
- 論計舎オリジナルテキストを用います。
- もちろん紹介する副読本をご購入いただいた場合には、それらにも対応いたします。
- 講義式ではあるものの復習を毎回、行い丁寧な講義を心がけます。
- 必要に応じて数学における証明の仕方などに立ち返った講義を行います。
- お客様の時間的ご都合や理解度に合わせて、柔軟に対応します。
- 特に4回までのセッションの追加が可能です。
- その際、追加料金はいただきません。
スケジュール
上述の通り、スケジュールは目安でして、下記は参考程度です。
- 自然演繹の非形式的導入・帰納的定義と構文論
- 論理の体系
- 正規化定理
- 論理から計算へ
- 計算の体系
- 正規化定理ふたたび
- Curry-Howard対応
- まとめ
参考文献
主要文献
- 論計舎オリジナルテキスト
受講まで
お値段とお支払い方法
11万円 (税込) 、銀行振り込み (smbc) にて承ります。
期間中のセッションの追加 (4回まで) や上記スケジュールに記載のない内容、特により初等的な内容への立ち返りに追加料金はいただきません。
またセッション頻度の変更や複数人数での受講なども承ります。お見積りしますので、ぜひお問い合わせください。
お問い合わせ
下記、フォームよりお問い合わせください。
迷惑メールフィルタにより、返信が迷惑メールフォルダに自動的に振り分けられることがあります。 あらかじめ customer_support@ronkeisha.net からのメール受信を許可する設定を適用してください。
問い合わせ後、万が一返信を確認いただけない場合は、squawai@ronkeisha.net および quawai@me.com までご連絡ください。