| 教官 | 篠澤和久 |
| 教科（講座） | 論理学 |
| 投稿者 | スーパー咸臨丸 |
| 投稿日 | 2015年02月14日 |
| 評価 | 仏 |
| テスト | あり |
| レポート | なし |
| 出席 | あり |
| コメント | 講義では、導出規則による証明、無矛盾性と完全性、真理表、述語論理などを扱う。難しそうに聞こえるが説明を聞いていればそれほど難しくなく、個人的には非常に面白い内容であった。評価は、出席2割、期末試験8割。出席はミニットペーパーに問題を解かせて提出させることでとっていたが、出来不出来が影響するのかは不明。期末試験は、授業でやったことが万遍なく出題されるが、テスト前の講義で出るところを教えてくれたので楽勝でした。毎回出席しきちんと問題を解けるようになっていれば余裕で高評価がきます。AAご馳走様でした。 |
|
|
|
