admin

岩波講座 情報科学6 1985年2月発行 　オートマトンやチューリング機械の数学的な扱いがわかりました。計算機を抽象化したモデルを作り数学的に扱い易いようにしてアルゴリズムを含めて証明を行い理論を展開する。他にも応用がで … 続きを読む

岩波講座 情報科学12 1984年10月発行 　数学的な本だと思ったら、算法とはアルゴリズムの和訳だったとは知りませんでした。FORTRANを使ってアルゴリズムが説明されています。

岩波講座 情報科学15 　殆ど知っている内容でした。ただ、商用計算機の黎明期に非ノイマン型もあったのは驚きでした。

岩波講座　情報科学13 $$M(X,Q,Z,\delta,\omega)$$ $$X : 入力集合$$ $$Q : 状態集合$$ $$Z : 出力集合$$ $$\delta : 状態遷移関数$$ $$\omega : 出 … 続きを読む

岩波講座 情報科学17 1981年発行 $$C=\{x \in GF(2)^n \mid Hx^T=0\}$$ $$Hx^T=0$$をパリティチェック方程式という。 パリティチェックは知っていました。 ITの基礎には離散 … 続きを読む