| 教官 | 篠澤和久 |
| 教科（講座） | 記号論理学入門 |
| 投稿者 | |
| 投稿日 | 2019年08月23日 |
| 評価 | 仏 |
| テスト | |
| レポート | なし |
| 出席 | あり |
| コメント | 初めの数回で定義や成り立ちから丁寧に教えてくれる。証明手順の説明もちゃんと聞けばわかるしISTUで録画が配信されているので見直すことができる。授業中は睡魔に負ける人が大勢いるものの注意されない。毎回のミニットペーパーになにかしらひとつはコメントを書くよう言われる。テストは基本的に授業で使うプリントの練習問題をなぞった内容で、練習問題の解答も配布されるのでテスト期間だけ勉強すれば乗り切れる。自然演繹系の無矛盾性の論述が出されたがよくわからなかった。それでも証明問題と自由記述をそこそこ書いたらAAもらえた。 |
|
|
|
