| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/analysis/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 349 B |
|
Quelle restriction_continuous.pvs Sprache: 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 ¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28