|
gptkb:Euclidean_space_(where_the_metric_is_positive-definite)
|
R^n
|
|
gptkb:Job-shop_scheduling
|
J||Cmax
|
|
gptkb:Job-shop_scheduling
|
J||Lmax
|
|
gptkb:mathematical_optimization
|
max
|
|
gptkb:First-Order_Logic
|
=
|
|
gptkb:mathematical_optimization
|
argmax
|
|
gptkb:Job-shop_scheduling
|
J||ΣCj
|
|
gptkb:First-Order_Logic
|
∨ (or)
|
|
gptkb:mathematical_optimization
|
min
|
|
gptkb:First-Order_Logic
|
¬ (not)
|
|
gptkb:First-Order_Logic
|
∃ (there exists)
|
|
gptkb:First-Order_Logic
|
→ (implies)
|
|
gptkb:Job-shop_scheduling
|
J||ΣTj
|
|
gptkb:First-Order_Logic
|
∀ (for all)
|
|
gptkb:mathematical_optimization
|
argmin
|
|
gptkb:First-Order_Logic
|
∧ (and)
|
|
gptkb:Event-B
|
gptkb:mathematical_concept
|