【動画０３－０１】を参考にして、下の画像【演習０３－０１】と同じ入力をしてみましょう。
【動画０３－０２】を参考にして、下の画像【演習０３－０２】と同じ入力をしてみましょう。
【動画０３－０３】を参考にして、下の画像【演習０３－０３】と同じ入力をしてみましょう。
【動画０３－０４】を参考にして、下の画像【演習０３－０４】と同じ入力をしてみましょう。
上の動画４つの鑑賞が済んだら、
LEAN web editor を使って動作確認して下さい。
自分で命題を考えて証明に挑戦してみると理解が進みます。
その後、参考文献の３０ページから３３ページを読んでみましょう。
以上で第３回の講義を終わります。
