matematická logika

IPA（発音記号）

名詞

女性形

数学的論理。数学の一分野で、形式体系における推論の構造・妥当性・証明可能性などを研究する領域。 / 特に、命題論理、述語論理、証明論、モデル理論、再帰理論などを含む理論体系。

英語の意味

mathematical logic

Na přednášce o počítačové vědě jsme se seznámili s matematická logika, která je základem moderního algoritmického myšlení.

コンピューターサイエンスの講義で、現代のアルゴリズム的思考の基礎となる数学的論理を学びました。

In a computer science lecture, we were introduced to mathematical logic, which forms the foundation of modern algorithmic thinking.