| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/analysis/ (Apache JAVA IDE Version 28©) Datei vom 28.9.2014 mit Größe 349 B |
|
Quellcode-Bibliothek restriction_continuous.pvsSprache: PVS |
|||||||||||||||
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Restriction of continuous functions % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% restriction_continuous[T1 : TYPE FROM real ] : THEORY BEGIN IMPORTING continuous_functions f : VAR [real -> real] restrict_continuous : LEMMA continuous?(f) IMPLIES continuous?[T1](f) END restriction_continuous
¤ 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.12Bemerkung: (vorverarbeitet am 2026-05-01) ¤*Bot Zugriff |
|
||||||||||||||
2026-05-26