1 準備2 有限オートマトン3 文脈自由言語4 帰納的関数5 Turing機関による関数の計算6 帰納的に可算な集合と決定問題7 計算量理論の基本概念8 NP完全性とPSPACE完全性9 計算量理論の
有川 節夫
第1部 行列と行列式の性質(行列n元連立1次方程式階数と連立1次方程式行列式)第2部 固有値と対角化(ベクトルの1次独立および部分空間の基底と次元固有値と固有ベクトル行列の対角化対角化可能の条件)第3
秋山 献之
幾つかのモデル方程式定式化と変換における数学的概念変換計算(基本的アルゴリズム新しい試み)付録(境界適合法における楕円型方程式の算出ファジィ理論についての定義と用語モデル方程式を解くプログラム)
高橋 亮一
1 ベクトル2 行列3 行列式4 線形変換と線形写像5 固有値と固有ベクトル6 ベクトル空間7 付録
高遠 節夫