「computability logic」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

The topics involving relations between computability and other areas of logic and mathematics are reverse mathematics and ... 例文帳に追加

計算可能性とその他の領域の論理および数学との関係を含むトピックとしては、逆数学や...があり、... - コンピューター用語辞典

FSAs are used in computability theory and in some practical applications such as regular expressions and digital logic design. 例文帳に追加

有限状態オートマトン(FSA)は,計算可能性理論,および正則表現やディジタル論理設計などいくつかの実際的な適用に使われる． - コンピューター用語辞典