| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/structures/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 168 B |
|
Impressum empty_array_def.pvs Sprache: PVS |
|||||||||
|
empty_array_def[T: TYPE]: THEORY
BEGIN IMPORTING below_arrays empty_array: below_array[0,T] % (LAMBDA (x: below[0]): epsilon! (t:T): true) END empty_array_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.0Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
2026-03-28