計算機科学入門
第０回 はじめに
第１回 情報モデル１：集合と論理
- 論理
- 集合
第２回 情報モデル２：関係と多変数述語
- 関係
- 多変数述語
第３回 情報モデル３：グラフの基本的な概念
- グラフ
- オイラー路、ハミルトン路、平面グラフ
第４回 グラフと隣接行列
- 隣接行列
- 応用
第５回 有限オートマトンと正規表現
- 有限オートマトン
- 正規表現
第６回 コンピュータの原理
- コンピュータの機能と構成
- コンピュータ内のデータ
第７回 計算のモデルと原理的計算可能性
- 計算のモデル：チューリング機械
- 計算不可能な問題：停止問題
第８回 現実的計算可能性
- P≠NP問題
- 公開鍵暗号
テキストの使用法
ブラウザはFireFoxかGoogleChromeを使って下さい
矢印キー(→、←)、または[Next]、[Previous]ボタンでページをめくります
右上のボタンから、奇数ページにジャンプできます
１ページ目に戻ると、うまく表示されないことがあります。そのときは再読み込みして下さい
テキスト内容は、適宜更新されます。常に最新のものを利用して下さい。
2015年10月
放送大学客員教授、一橋大学名誉教授
山 崎 秀 記