More than 5 years have passed since last update.

Coqで学ぶ定理証明入門メモ

Posted at 2015-01-15

edubase Streamで配信していた、『Coqで学ぶ定理証明入門』を見てみたのでそのメモ。

概要

講師がCoqを使って簡単な例題を解きながら操作を説明し、
それにあわせて実際に手を動かしながら操作を体験することでCoqの使い方を学べる。
演習もあるので、説明を受けた操作をどう組み合わせるかなーといったことを考えながら試行錯誤できる。

定理証明を進めるためのツールとしてCoqの使い方に慣れましょう、という内容なので、
定理証明を学習するという目的には適していないと思う。

また、最後にオンラインドキュメントや書籍、勉強会などの参考情報があるので、
この講義を受けた後のアクションプランも分かりやすいかなと思う。

ただし、2011年の集中講義の内容らしいので、色々古い情報もある。
（特に勉強会とか）

4.5時間程度。

略。時間があったら追記する。

最後の演習が残なのでやる。