| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/reals/ (PVS Prover Version 6.0.9©) Datei vom 28.9.2014 mit Größe 594 B |
|
Quelle real_fun_orders.pvsSprache: PVS |
|||||||||||||||
|
%------------------------------------------------------------------------------ % Orders defined on functions [T->real] % % Author: David Lester, Manchester University % % Version 1.0 14/06/09 Initial Version %------------------------------------------------------------------------------ real_fun_orders[T:TYPE]: THEORY BEGIN x: VAR T f1,f2: VAR [T->real] ; <=(f1,f2): bool = FORALL x: f1(x) <= f2(x); <(f1,f2): bool = FORALL x: f1(x) < f2(x); >(f1,f2): bool = FORALL x: f1(x) > f2(x); >=(f1,f2): bool = FORALL x: f1(x) >= f2(x); END real_fun_orders
¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet am 2026-06-15) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09