Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


SSL countable_image.pvs   Interaktion und
PortierbarkeitPVS

 
%------------------------------------------------------------------------------
% image of a countable set is countable
%
%     Author: David Lester, Manchester University
%
%     Version 1.0            2/1/05
%------------------------------------------------------------------------------

countable_image[D,R:TYPE]: THEORY
BEGIN

  f: VAR [D->R]
  S: VAR set[D]

  IMPORTING countability,
            function_image_aux[D,R],
            infinite_image,
            card_function[D,R]

  countable_image: THEOREM is_countable(S) => is_countable(image(f)(S))

END countable_image

97%


¤ 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:  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤

*Bot Zugriff






Wurzel

Bemerkung:

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge