- トップ
- 豊橋技術科学大学大学院
- 「論理数学」を含む授業
- 村越一支先生の「論理数学」の評価一覧
豊橋技術科学大学大学院
村越一支先生の「論理数学」の評価一覧
【豊橋技術科学大学大学院】村越一支先生が担当する「論理数学」には、1件の授業評価が寄せられています。授業の充実度は星3.0点、楽単度は星3.0点です。会員登録・ログインをして、在学生による評価とシラバスの内容をもとに、授業の選択・履修登録の参考にしましょう。
しゅう さんの授業評価
| 学部 学科 | 工学研究科 知識情報工学専攻 |
|---|---|
| 担当の先生名 | 村越一支先生 |
| 授業種別 | 専門科目 |
| 出席 | たまにとる |
| 教科書 | 教科書必要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
テストのみ 後期/期末： 授業無し 持ち込み： 教科書ノート持ち込み不可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
Ａ．導入：コンピュータサイエンスの基礎としての記号論理の位置付け。 Ｂ．集合：記号論理の基礎となる集合論を確認する。 Ｃ．命題論理（その１）：可能世界と命題の真理集合。命題論理式。 Ｄ．命題論理（その２）：統語論と意味論。恒真文と矛盾文。間接推理。 Ｅ．述語論理（その１）：述語づけ。量化子。述語論理式。 Ｆ．述語論理（その２）：統語論と意味論。すべての解釈において真。 Ｇ．日常言語と論理学（その１）：日常言語に見られる論理表現。 Ｈ．日常言語と論理学（その２）：同上表現に対する記号論理による考察。 |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2012/11/20) [1321515]
