| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/analysis/ (PVS Prover Version 6.0.9©) Datei vom 28.9.2014 mit Größe 407 B |
|
Quellcode-Bibliothek metric_spaces_def.pvs Sprache: PVS |
|||||||||||||||
|
metric_spaces_def[T:TYPE+,d:[T,T->nnreal]]: THEORY BEGIN S: VAR set[T] space_zero?(S) :bool = FORALL (x,y:(S)): d(x,y) = 0 IFF x = y space_symmetric?(S):bool = FORALL (x,y:(S)): d(x,y) = d(y,x) space_triangle?(S) :bool = FORALL (x,y,z:(S)): d(x,z) <= d(x,y) + d(y,z) metric_space?(S):bool = space_zero?(S) AND space_symmetric?(S) AND space_triangle?(S) END metric_spaces_def
¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.11Bemerkung: (vorverarbeitet am 2026-09-29) ¤*Bot Zugriff |
|
||||||||||||||
2026-10-10