- トップ
- 九州大学大学院
- 「記号論理」を含む授業
- 長谷川隆三先生の「記号論理」の評価一覧
九州大学大学院
長谷川隆三先生の「記号論理」の評価一覧
【九州大学大学院】長谷川隆三先生が担当する「記号論理」には、1件の授業評価が寄せられています。授業の充実度は星4.0点、楽単度は星5.0点です。会員登録・ログインをして、在学生による評価とシラバスの内容をもとに、授業の選択・履修登録の参考にしましょう。
lily さんの授業評価
| 学部 学科 | システム情報科学研究院 |
|---|---|
| 担当の先生名 | 長谷川隆三先生 |
| 授業種別 | 専門科目 |
| 出席 | ほぼ毎回とる |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
レポートのみ 後期/期末： テストのみ 持ち込み： 教科書ノート持ち込み可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
記号論理の応用、命題統語論・意味論、一様記法、CNF/DNF簡約、命題意味タブロー、DP手続きに関する講義です。自動推論の基礎だと思う。 |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2010/04/17) [1164212]
