- トップ
- 東北大学
- 「計算機ソフトウェア工学」を含む授業
- 小林先生の「計算機ソフトウェア工学」の評価一覧
東北大学
小林先生の「計算機ソフトウェア工学」の評価一覧
【東北大学】小林先生が担当する「計算機ソフトウェア工学」には、1件の授業評価が寄せられています。授業の充実度は星3.0点、楽単度は星4.0点です。会員登録・ログインをして、在学生による評価とシラバスの内容をもとに、授業の選択・履修登録の参考にしましょう。
kb さんの授業評価
| 学部 学科 | 工学部 電気情報物理工学科 |
|---|---|
| 担当の先生名 | 小林先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
テスト・レポート両方なし 後期/期末： テストのみ 持ち込み： 教科書ノート持ち込み不可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
試験に関して。 1,算術式を表すIMPの構文の定義を書く問題と、操作的意味論のコマンドの評価規則の定義を書く問題。 2,コマンド式のインタプリタ。 3,{A}c{B}の証明規則を書く問題と、この規則に基づいた導出木を書く問題。 4,あるプログラムの仕様を表す論理式を選択肢から選ぶ問題と、導出の長さに関する帰納法。 導出木を書かせる問題以外は基本的に穴埋め問題です。 |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2006/07/24) [443846]
