| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/extended_nnreal/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 661 B |
|
Quellcode-Bibliothek top.pvs Sprache: PVS |
|||||||||
|
%-------------------------------------------------------------------------
% top file for Extended nnreals % % Author: David Lester, Manchester University % % Version 1.0 20/08/07 Initial (DRL) %------------------------------------------------------------------------- top: THEORY BEGIN IMPORTING code_product, % A coding for diagonalizing a sequence double_index, % double and single indexing for sequences double_nn_sequence, % Convergence properties of doubly indexed % sequences of nnreals extended_nnreal % The extended non-negative reals. END top ¤ 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.10Bemerkung: (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28