現代基礎数学 コンピュータと数学 ｜朝倉書店

プログラミング初心者でも独学できる，コンピュータの原理を数学的に理解するための教科書。〔内容〕簡単なプログラムによる計算の表現／初等関数とNプログラム／原始帰納的関数と帰納的関数／万能関数と再帰定理／他 目次 1. 簡単なプログラムによる計算の表現 1.1 Nプログラム 1.2 whileプログラム 1.3 Nプログラムとwhileプログラムの表現力 1.4 whileプログラムの第一標準形定理 2. 初等関数とNプログラム 2.1 再帰的定義 2.2 初等関数と初等述語 2.3 初等関数とNプログラム 2.4 自然数列のコード化 2.5 whileプログラムの第二標準形定理 2.6 反復関数と最小解関数 3. 原始再帰的関数と再帰的関数 3.1 原始再帰法と原始再帰的関数 3.2 初等関数と原始再帰的関数 3.3 再帰的関数とNプログラム 3.4 クリーネの標準形定理とその応用 4. 万

[u_wot_m8]

λ式以外の部分かな