mathematical logic
/ˌmæθəˈmætɪkəl ˈlɒdʒɪk/Traduction: Branche des mathématiques et de la logique qui étudie les systèmes formels, le raisonnement déductif et les fondements des mathématiques à l'aide de méthodes symboliques rigoureuses.
phrase
/ˌmæθəˈmætɪkəl ˈlɒdʒɪk/
Подраздел математики и логики, изучающий формальные системы, дедуктивные рассуждения и основания математики с использованием строгих символических методов.
Rama de la matemática y la lógica que estudia los sistemas formales, el razonamiento deductivo y los fundamentos de la matemática mediante métodos simbólicos rigurosos.
Branche des mathématiques et de la logique qui étudie les systèmes formels, le raisonnement déductif et les fondements des mathématiques à l'aide de méthodes symboliques rigoureuses.
Teilgebiet der Mathematik und der Logik, das formale Systeme, deduktives Schließen und die Grundlagen der Mathematik mit strengen symbolischen Methoden untersucht.
Ramo da matemática e da lógica que estuda sistemas formais, raciocínio dedutivo e os fundamentos da matemática por meio de métodos simbólicos rigorosos.
数学与逻辑学的一个分支，研究形式系统、演绎推理以及数学基础，使用严格的符号化方法。
فرع من الرياضيات والمنطق يدرس النظم الصورية والاستدلال الاستنباطي وأسس الرياضيات باستخدام طرائق رمزية صارمة.
A subfield of mathematics and logic that studies formal systems, deductive reasoning, and the foundations of mathematics using rigorous symbolic methods.
Formal study of reasoningC1formal
A subfield of mathematics exploring the application of formal logic to mathematics, including the study of formal systems, proofs, and computability.
Формальное изучение рассужденийlógica matemáticalogique mathématiqueFormales Studium des SchließensEstudo formal do raciocínio数学逻辑الدراسة الصورية للاستدلال- Mathematical logic is essential for understanding the foundations of computer science.
- The course covers propositional and predicate calculus in mathematical logic.
- Gödel's incompleteness theorems are landmark results in mathematical logic.