内容説明
本書は情報科学のための数学的基礎を与える教科書であるとともに,理論計算機科学の入門書でもある。計算機科学はよくいわれているように境界領域の科学である。コンピュータを(うまく)利用するための科学であり、より効果的に使わせるための科学である。
目次
集合、関係、束
組合せ解析
代数系1群、半群
グラフ
形式言語の認識装置
自然数の体系と帰納的関数
代数系2環、体
数論
決定問題と計算可能性
本書は情報科学のための数学的基礎を与える教科書であるとともに,理論計算機科学の入門書でもある。計算機科学はよくいわれているように境界領域の科学である。コンピュータを(うまく)利用するための科学であり、より効果的に使わせるための科学である。
集合、関係、束
組合せ解析
代数系1群、半群
グラフ
形式言語の認識装置
自然数の体系と帰納的関数
代数系2環、体
数論
決定問題と計算可能性