SSL card_power_set.pvs
Interaktion und PortierbarkeitPVS
%------------------------------------------------------------------------- % % The cardinality of a set is always less than the cardinality of its % power set. % % For PVS version 3.2. November 4, 2004 % --------------------------------------------------------------------- % Author: Jerry James (jamesj@acm.org), University of Kansas % % EXPORTS % ------- % sets_aux: card_comp_set[set[T],T], card_comp_set[T,set[T]], % card_comp_set_props[T,set[T]], card_power_set[T] % %-------------------------------------------------------------------------
card_power_set[T: TYPE]: THEORY BEGIN
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.8Angebot
(Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-09-28)
¤
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 und die Messung sind noch experimentell.
