Keywords: منطق ریاضی; Mathematical logic; Disjunctive problem; Convex cover; Set closure; Cut strengthening
مقالات ISI منطق ریاضی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق ریاضی; Mathematical logic; Concurrency theory; Games
Formal modelling of organisational goals based on performance indicators
Keywords: منطق ریاضی; Goals; Performance indicators; Organisation modelling; Formal modelling; Performance evaluation; Mathematical logic; Enterprise architectures; Formal verification
Modeling of process parameter selection with mathematical logic for process planning
Keywords: منطق ریاضی; Process planning; Process parameter selection; Process inference mechanism; Mathematical logic; Computer aided process planning (CAPP)
Pedagogical second-order λλ-calculus
Keywords: منطق ریاضی; Typed λλ-calculus; Natural deduction; Mathematical logic; Negationless mathematics; Constructive mathematics
MATHEMATICAL LOGIC IN THE MODELING OF CONTROL SYSTEMS
Keywords: منطق ریاضی; Optimal control problem; mathematical programming; conditional piece-wise functions; mathematical logic; surface street signal system