計算理論(けいさんりろん、Theory Of Computation)または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算(Computation)とは、数学的に表現できる、あらゆる種類の情報処理のこと。
設計
せっけい
(1)機械類の製作や建築・土木工事に際して, 仕上がりの形や構造を図面などによって表すこと。
「家屋を和風に~する」「今度の~なら決して高い予算じゃ御座いませんよ/酒中日記(独歩)」
(2)人生や生活の計画を立てること。
「生活~」
計算木論理
計算木論理(けいさんきろんり、Computational Tree Logic、CTL)は、分岐時相論理の一種である。その時間モデルでは未来は決定されておらず木構造のように分岐している。未来の複数の経路のうちの1つが実際に現実の経路となる。 ϕ ::= F | T | p | ( ¬ ϕ ) | (
Lee commented
Lee commented
Lee commented
yuhui liao commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented