- トップ
- 東京工業大学大学院
- 「ソフトウェア論理学」を含む授業
- 西崎先生の「ソフトウェア論理学」の評価一覧
東京工業大学大学院
西崎先生の「ソフトウェア論理学」の評価一覧
【東京工業大学大学院】西崎先生が担当する「ソフトウェア論理学」には、3件の授業評価が寄せられています。授業の充実度は星3.5点、楽単度は星4.0点です。会員登録・ログインをして、在学生による評価とシラバスの内容をもとに、授業の選択・履修登録の参考にしましょう。
yamada さんの授業評価
| 学部 学科 | 情報理工学研究科 計算工学専攻 |
|---|---|
| 担当の先生名 | 西崎先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
テスト・レポート両方なし 後期/期末： テストのみ 持ち込み： 教科書ノート持ち込み不可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
型推論などの学部でいう数理論理学っぽいことをやる |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2016/04/18) [2076824]
ぽんた さんの授業評価
| 学部 学科 | 情報理工学研究科 計算工学専攻 |
|---|---|
| 担当の先生名 | 西崎先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
テスト・レポート両方なし 後期/期末： テストのみ 持ち込み： 教科書ノート持ち込み不可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
数理論理学の発展。型推論を行う。 |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2015/11/26) [1853312]
こうせい さんの授業評価
| 学部 学科 | 情報理工学研究科 計算工学専攻 |
|---|---|
| 担当の先生名 | 西崎先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
テスト・レポート両方なし 後期/期末： テストのみ 持ち込み： 教科書ノート持ち込み不可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
数理論理学のちょっとむずかしめのやつです。 |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2015/11/04) [1845356]
