今回は参考文献の１８節を元にしています。
【動画１０－０１】を参考にして、下の画像【演習１０－０１】と同じ入力をしてみましょう。
それではここでレポート課題を提示します。
解答をLEAN Web Editor上で作成したら、
テキストエディタにコピー＆ペーストして、
文字コード UTF-8 の txt形式で保存して下さい。
そのtxtファイルをMoodleを通じて提出して下さい。
他の文字コードを使うと \forall などが消えてしまう恐れがあります。注意して下さい。
課題の内容と締め切りは下をご覧下さい。
Moodleのコースコードは
2020-W20102001
です。
課題：
参考文献の次のExerciseを解きなさい
・１２．５節のExercie２番
・１４．４節のExercise４番、
・１８．３節のExercise 1.a、1.b、2.b、2.d
締切：６月１２日（金）１７：００
