formális kalkulus
C2
مجاری
calculus
اسم
C2
TECHNICAL
2
calculus
C2
هنوز نمونههای دوزبانهای در دسترس نیست.
معنی
formal symbolic system in logic
موضوعها
logic
|mathematics
|formal_systems
|symbols
|proofs
|science
|education
تعریف
A formal system of symbols and rules used to represent and manipulate logical or mathematical expressions.
دستور زبان
هنوز جزئیات دستوری در دسترس نیست.
عبارتها
هنوز عبارتی به این مدخل مرتبط نشده است.