products/Sources/formale Sprachen/PVS/measure_integration/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: reSounds.~ddp   Sprache: PVS

rahmenlose Ansicht.rtf DruckansichtIsabelle {Isabelle[458] Abap[885] [0]}zum Wurzelverzeichnis wechseln

{\rtf1\ansi\deff0\adeflang1025
{\fonttbl{\f0\froman\fprq2\fcharset0 Times New Roman;}{\f1\froman\fprq2\fcharset0 Times New Roman;}{\f2\froman\fprq2\fcharset0 Times New Roman;}{\f3\froman\fprq2\fcharset161 Times New Roman Greek;}{\f4\froman\fprq2\fcharset1 Times New Roman;}{\f5\fnil\fprq0\fcharset0 Tahoma;}}
{\colortbl;\red0\green0\blue0;\red128\green128\blue128;}
{\stylesheet{\s1\cf0{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang1031\snext1 Standard;}
{\s2\sa120\rtlch\afs24\lang255\ltrch\dbch\afs24\langfe255\loch\fs24\lang1031\sbasedon1\snext2 Textk\'f6rper;}
{\s3\cf0{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\rtlch\af5\afs24\lang255\ltrch\dbch\af0\afs24\langfe255\loch\f0\fs24\lang1031\sbasedon2\snext3 Liste;}
{\s4\sb120\sa120\rtlch\af5\afs20\lang255\ai\ltrch\dbch\afs20\langfe255\ai\loch\fs20\lang1031\i\sbasedon1\snext4 Beschriftung;}
{\s5\rtlch\af5\afs24\lang255\ltrch\dbch\afs24\langfe255\loch\fs24\lang1031\sbasedon1\snext5 Verzeichnis;}
}
{\info{\comment StarWriter}{\vern6450}}\deftab709
{\*\pgdsctbl
{\pgdsc0\pgdscuse195\pgwsxn12240\pghsxn15840\marglsxn1800\margrsxn1800\margtsxn1440\margbsxn1440\pgdscnxt0 Standard;}}
{\*\pgdscno0}\paperh15840\paperw12240\margl1800\margr1800\margt1440\margb1440\sectd\sbknone\pgwsxn12240\pghsxn15840\marglsxn1800\margrsxn1800\margtsxn1440\margbsxn1440\ftnbj\ftnstart1\ftnrstcont\ftnnar\aenddoc\aftnrstcont\aftnstart1\aftnnrlc
\pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057{\f4 \u8721 ?\u8721 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Delta={\f3 \u923 ?}}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Element={\f3 \u949 ?}}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Lambda={\f3 \u955 ?}}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Vel={\f3 \u957 ?}}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Summe=\u8721 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Compose=\u9675 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Pi=\u8719 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Omega={\f3 \u937 ?}}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Root=\u8730 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 LessEqual=\u8804 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 GreaterEqual=\u8805 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Verum=\u9524 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Falsum=\u9516 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Identity=\u8801 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Unequal=\u8800 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Aproximately=\u8776 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang2057 {\loch\f0\fs24\lang2057\i0\b0 Intersection=\u8745 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang1031 {\loch\f0\fs24\lang1031\i0\b0 Integral=\u8747 ?}
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang1031 {\loch\f0\fs24\lang1031\i0\b0 Proposition=\u9500 ? }
\par \pard\plain \ltrpar\s1\cf1{\*\hyphen2\hyphlead2\hyphtrail2\hyphmax0}\ql\rtlch\af0\afs24\lang255\ltrch\dbch\af0\afs24\langfe1031\loch\f0\fs24\lang1031 {\loch\f0\fs24\lang1031\i0\b0 Consequence=\u9508 ?}
\par }

[ Verzeichnis aufwärts0.293unsichere Verbindung  ]