Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: top.pvs Sprache: PVS

Original von: PVS^©

%------------------------------------------------------------------------------
% Top file for sums over sets
%
%  MODIFICATIONS:
%
%     Author: David Lester, Manchester University 12/12/07
%
%------------------------------------------------------------------------------
top: THEORY

BEGIN

  IMPORTING
    absconv_series_aux,      % properties of absolutely convergent series
    finite_enumeration,      % enumerate a finite set
    denumerable_enumeration, % enumerate a countably infinite set
    sigma_bijection,         % re-ordering of finite sums
    sigma_bijection_nat,     % re-ordering of finite sums

    countable_convergence,   % convergence properties for countable sums
    sigma_countable,         % countable sums
    convergence_set,         % convergence properties for uncountable sums
    sigma_set                % sums of uncountable sets

END top

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

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.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.