[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む71 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
216(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/24(月)16:59 ID:dnjTnHb1(13/16) AAS
こんなのが検索ヒットしたね（＾＾
外部ﾘﾝｸ[html]:www.nippyo.co.jp
スマリヤン数理論理学講義 下巻
不完全性定理の先へ 発刊年月 2018.09
内容紹介
機知に富む多くの著作で知られるスマリヤンの最後の著作。下巻には再帰的関数論、コンビネータ論理など進んだ話題を収める。
目次
省16
217(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/06/24(月)17:00 ID:dnjTnHb1(14/16) AAS
>>216
つづき
外部ﾘﾝｸ:ja.wikipedia.org
コンビネータ論理(Combinatory Logic、組み合わせ論理)は、モイセイ・シェインフィンケリ（ロシア語版、英語版）: Moses Ilyich Schonfinkel）とハスケル・カリー（英: Haskell Brooks Curry）によって、記号論理での変数[要曖昧さ回避]を消去するために導入された記法である。
最近では、計算機科学において計算の理論的モデルで利用されてきている。また、関数型プログラミング言語の理論（意味論など）や実装にも応用がある。
コンビネータ論理は、コンビネータまたは引数のみからなる関数適用によって結果が定義されている高階関数、コンビネータに基づいている。
数学におけるコンビネータ論理
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s