科学技術と共に歩む

1.　記号論理と集合
1.1　情報工学における記号論理と集合の役割
1.2　命題と述語
1.3　写像
　　1.3.1　写像の同一性
　　1.3.2　全射・単射・全単射
　　1.3.3　合成写像，逆写像など
　　1.3.4　部分写像
1.4　真理関数
　　1.4.1　￢，∧，∨，⇒，⇔の定義
　　1.4.2　真理関数の基本的性質
　　1.4.3　真理関数の標準形
　　1.4.4　真理関数における基本的演算
1.5　命題関数
　　1.5.1　∀，∃の定義
　　1.5.2　∀，∃の基本的性質
　　1.5.3　冠頭標準形
1.6　記号論理
　　1.6.1　記号論理の方法による概念の記述と理論の展開
　　1.6.2　命題論理と述語論理
　　1.6.3　論理の公理化
　　1.6.4　いろいろな論理体系について
1.7　集合
　　1.7.1　集合概念
　　1.7.2　集合上の演算とそれによって定義される集合
　　1.7.3　類別と同値関係
　　1.7.4　有限集合と無限集合
　　1.7.5　順序集合
演習問題
2.　代数系
2.1　情報工学に現れる代数系
2.2　代数的構造とその諸例
　　2.2.1　“数”における加法と乗法の性質
　　2.2.2　演算の性質の抽象化
　　2.2.3　同型と準同型
　　2.2.4　半群
　　2.2.5　群
　　2.2.6　環
　　2.2.7　体
　　2.2.8　線型空間
2.3　ガロア体
　　2.3.1　ガロア体の標数と素体Zp
　　2.3.2　GF〔Pn〕の例
　　2.3.3　ガロア体と符号系
2.4　束とブール代数
　　2.4.1　束
　　2.4.2　ブール代数
　　2.4.3　ブール代数BoとBo上のブール関数
2.5　圏（カテゴリ）と関手
　　2.5.1　圏
　　2.5.2　関手
　　2.5.3　自然変換
演習問題
3.　形式的体系とモデル
3.1　情報工学における形式的体系とその解釈
3.2　形式的体系
　　3.2.1　形式的体系を記述する言語
　　3.2.2　■の公理系A
　　3.2.3　論理の公理系
　　3.2.4　証明可能な論理式
3.3　形式的に計算可能な関数
　　3.3.1　Gの形式的言語■G
　　3.3.2　Gにおける演繹
　　3.3.3　Gで定義される自然数上の関数
　　3.3.4　諸例
3.4　形式的体系の算術化
3.5　形式的体系のモデル
　　3.5.1　形式的体系の解釈とモデル
　　3.5.2　プログラムとその解釈
演習問題
4.　計算論
4.1　計算論の対象
4.2　アルゴリズム
4.3　原始帰納的関数と帰納的関数
　　4.3.1　関数におけるアルゴリズムの記述
　　4.3.2　帰納的関数と原始帰納的関数
　　4.3.3　帰納的述語と原始帰納的述語
　　4.3.4　諸例および基本的性質
　　4.3.5　グルツェゴルスチクの階層
　　4.3.6　帰納的手続き，原始帰納的手続き
4.4　抽象的計算機械
　　4.4.1　抽象的計算機械■
　　4.4.2　■で計算可能な関数
　　4.4.3　計算機械■の算術化
4.5　T述語とその性質
　　4.5.1　T述語
　　4.5.2　帰納的加算集合
　　4.5.3　クリーニの階層
4.6　決定問題
4.7　計算の複雑さの分類
　　4.7.1　アルゴリズムの良否と，それに関わる諸因子
　　4.7.2　ループ階層
　　4.7.3　“実際に計算できる関数”についての考察
演習問題
5.　組合せ数学
5.1　情報工学と組合せ数学
5.2　配置の個数を数えあげる基本的方法
5.3　グラフ理論やスイッチング理論における組合せ数学
演習問題
演習問題解答
索引