products/sources/formale Sprachen/PVS/orders image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: conditional.prf   Sprache: PVS

Original von: PVS©

%-------------------------------------------------------------------------
%
%  Infinite numeric types.
%
%  For PVS version 3.2.  March 3, 2005
%  ---------------------------------------------------------------------
%      Author: Jerry James ([email protected]), University of Kansas
%
%  EXPORTS
%  -------
%  orders: numbers_infinite
%
%-------------------------------------------------------------------------
numbers_infinite: THEORY
 BEGIN

  nat_infinite: LEMMA NOT is_finite_type[nat]

  int_infinite: LEMMA NOT is_finite_type[int]

  rat_infinite: LEMMA NOT is_finite_type[rat]

  real_infinite: LEMMA NOT is_finite_type[real]

 END numbers_infinite

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ¤





Kontakt
Drucken
Kontakt
sprechenden Kalenders

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff