Similar to EDVACに関する報告書の第一草稿
述語論理
Predicate logic数学基礎論
Foundations of mathematicsスーダン関数
Sudan function漸化式
Recurrence relation▲1 trends相互再帰
Mutual recursion竹内関数
Tak (function)チャイティンの定数
Chaitin's constantチャーチ=チューリングのテーゼ
Church–Turing thesisチューリング完全
Turing completeness▲1 trends停止性問題
Halting problemノモグラム
Nomogramハイパーコンピュータ
Hypercomputationビザンチン将軍問題
Byzantine faultビジービーバー
Busy beaver非同期セル・オートマトン
Asynchronous cellular automaton不動点コンビネータ
Fixed-point combinator前向き連鎖
Forward chainingマルコフアルゴリズム
Markov algorithmΜ再帰関数
General recursive function文字列書き換え系
Semi-Thue system領域理論
Domain theoryワンのタイル
Wang tileWikipedia:井戸端/subj/Template:仮リンクに関連する提案
Portal:イギリス/執筆・加筆依頼
紀元前13世紀
13th century BC第3師団 (イギリス軍)
3rd (United Kingdom) Division第6師団 (イギリス軍)
6th (United Kingdom) Division第30艦隊兵站支援飛行隊 (アメリカ海軍)
VRC-30