kalkulus
C1
مجاری
calculus
اسم
C1
TECHNICAL
1
calculus
C2
الگوی کاربرد:
ítéletkalkulus; predikátumkalkulus
هنوز نمونههای دوزبانهای در دسترس نیست.
معنی
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.
دستور زبان
هنوز جزئیات دستوری در دسترس نیست.
عبارتها
هنوز عبارتی به این مدخل مرتبط نشده است.