[ ホーム | 講義 ] 2021年度秋・数理解析・計算機数学 IV (同 概論IV) レポート課題 レポート課題 提出... [ ホーム | 講義 ] 2021年度秋・数理解析・計算機数学 IV (同 概論IV) レポート課題 レポート課題 提出期限 2022年2月2日(水) 時間 水曜日 1・2限 教室 理学部 B-114 講義予定 シラバス 第1回10月 6日 Coq/SSReflectの論理 講義メモ スクリプト 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) ProofGeneral PG-master.zip (Safariで ダウンロードする) 第2回10月13日 述語論理とSSReflectのタクティック 講義メモ 第3回10月20日 再帰的な定義と帰納法 講義メモ 第4回10月27日 帰納的な定義と多相性 講義メモ 第5回11月10日 Mathcomp, 自己反映と数論の証明 講義メモ ssrbool_doc.pdf, ssrnat_doc.pd
記事へのコメント0件
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています