|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Improper_Integral.thy
Sprache: Cobol
rahmenlose Ansicht
Druckansicht
|
282A20205469746C653A202020202020
484F4C2F416E616C797369732F496D70
726F7065725F496E74656772616C2E74
68790A20202020417574686F723A204C
43205061756C736F6E2028706F727465
642066726F6D20484F4C204C69676874
290A2A290A0A73656374696F6E205C3C
6F70656E3E436F6E74696E7569747920
6F662074686520696E646566696E6974
6520696E74656772616C3B20696D7072
6F70657220696E74656772616C207468
656F72656D5C3C636C6F73653E0A0A74
68656F72792022496D70726F7065725F
496E74656772616C220A2020696D706F
727473204571756976616C656E63655F
4C656265736775655F48656E73746F63
6B5F496E746567726174696F6E0A6265
67696E0A0A73756273656374696F6E20
5C3C6F70656E3E45717569696E746567
726162696C6974795C3C636C6F73653E
0A0A746578745C3C6F70656E3E546865
20646566696E6974696F6E2068657265
206F6E6C79207265616C6C79206D616B
65732073656E736520666F7220616E20
656C656D656E74617279207365742E0A
20202020205765206A75737420757365
20636F6D7061637420696E7465727661
6C7320696E206170706C69636174696F
6E732062656C6F772E5C3C636C6F7365
3E0A0A646566696E6974696F6E5C3C5E
6D61726B65723E5C3C6F70656E3E7461
6720696D706F7274616E745C3C636C6F
73653E2065717569696E746567726162
6C655F6F6E2028696E66697872202265
717569696E7465677261626C65275F6F
6E22203436290A202077686572652022
462065717569696E7465677261626C65
5F6F6E2049205C3C65717569763E0A20
2020202020202020285C3C666F72616C
6C3E66205C3C696E3E20462E20662069
6E7465677261626C655F6F6E20492920
5C3C616E643E0A202020202020202020
285C3C666F72616C6C3E65203E20302E
205C3C6578697374733E5C3C67616D6D
613E2E206761756765205C3C67616D6D
613E205C3C616E643E0A202020202020
2020202020202020202020202020285C
3C666F72616C6C3E66205C3C443E2E20
66205C3C696E3E2046205C3C616E643E
205C3C443E207461676765645F646976
6973696F6E5F6F662049205C3C616E64
3E205C3C67616D6D613E2066696E6520
5C3C443E0A2020202020202020202020
2020202020202020202020202020205C
3C6C6F6E6772696768746172726F773E
206E6F726D2028285C3C53756D3E2878
2C4B29205C3C696E3E205C3C443E2E20
636F6E74656E74204B202A5C3C5E7375
623E522066207829202D20696E746567
72616C2049206629203C20652929220A
0A6C656D6D612065717569696E746567
7261626C655F6F6E5F696E7465677261
626C653A0A2020202020225C3C6C6272
616B6B3E462065717569696E74656772
61626C655F6F6E20493B2066205C3C69
6E3E20465C3C726272616B6B3E205C3C
4C6F6E6772696768746172726F773E20
6620696E7465677261626C655F6F6E20
49220A20207573696E67206571756969
6E7465677261626C655F6F6E5F646566
206279206D657469730A0A6C656D6D61
2065717569696E7465677261626C655F
6F6E5F73696E67205B73696D705D3A0A
2020202020227B667D2065717569696E
7465677261626C655F6F6E2063626F78
20612062205C3C6C6F6E676C65667472
696768746172726F773E206620696E74
65677261626C655F6F6E2063626F7820
612062220A20206279202873696D7020
6164643A2065717569696E7465677261
626C655F6F6E5F646566206861735F69
6E74656772616C5F696E74656772616C
206861735F696E74656772616C20696E
7465677261626C655F6F6E5F64656629
0A0A6C656D6D612065717569696E7465
677261626C655F6F6E5F737562736574
3A20225C3C6C6272616B6B3E46206571
7569696E7465677261626C655F6F6E20
493B2047205C3C73756273657465713E
20465C3C726272616B6B3E205C3C4C6F
6E6772696768746172726F773E204720
65717569696E7465677261626C655F6F
6E2049220A2020756E666F6C64696E67
2065717569696E7465677261626C655F
6F6E5F6465662042616C6C5F6465660A
2020627920286572756C6520636F6E6A
5F666F727761726420696D705F666F72
7761726420616C6C5F666F7277617264
2065785F666F7277617264207C20626C
617374292B0A0A6C656D6D6120657175
69696E7465677261626C655F6F6E5F55
6E3A0A2020617373756D657320224620
65717569696E7465677261626C655F6F
6E2049222022472065717569696E7465
677261626C655F6F6E2049220A202073
686F777320222846205C3C756E696F6E
3E2047292065717569696E7465677261
626C655F6F6E2049220A2020756E666F
6C64696E672065717569696E74656772
61626C655F6F6E5F6465660A70726F6F
662028696E74726F20636F6E6A492069
6D704920616C6C49290A202073686F77
20225C3C666F72616C6C3E665C3C696E
3E46205C3C756E696F6E3E20472E2066
20696E7465677261626C655F6F6E2049
220A202020207573696E67206173736D
7320756E666F6C64696E672065717569
696E7465677261626C655F6F6E5F6465
6620627920626C6173740A202073686F
7720225C3C6578697374733E5C3C6761
6D6D613E2E206761756765205C3C6761
6D6D613E205C3C616E643E0A20202020
2020202020202020285C3C666F72616C
6C3E66205C3C443E2E2066205C3C696E
3E2046205C3C756E696F6E3E2047205C
3C616E643E0A20202020202020202020
2020202020202020205C3C443E207461
676765645F6469766973696F6E5F6F66
2049205C3C616E643E205C3C67616D6D
613E2066696E65205C3C443E205C3C6C
6F6E6772696768746172726F773E0A20
20202020202020202020202020202020
20206E6F726D2028285C3C53756D3E28
782C4B29205C3C696E3E205C3C443E2E
20636F6E74656E74204B202A5C3C5E73
75623E522066207829202D20696E7465
6772616C2049206629203C205C3C6570
73696C6F6E3E29220A20202020202020
2020696620225C3C657073696C6F6E3E
203E20302220666F72205C3C65707369
6C6F6E3E0A202070726F6F66202D0A20
2020206F627461696E205C3C67616D6D
613E3120776865726520226761756765
205C3C67616D6D613E31220A20202020
2020616E64205C3C67616D6D613E313A
20225C3C416E643E66205C3C443E2E20
66205C3C696E3E2046205C3C616E643E
205C3C443E207461676765645F646976
6973696F6E5F6F662049205C3C616E64
3E205C3C67616D6D613E312066696E65
205C3C443E0A20202020202020202020
202020202020202020205C3C4C6F6E67
72696768746172726F773E206E6F726D
2028285C3C53756D3E28782C4B29205C
3C696E3E205C3C443E2E20636F6E7465
6E74204B202A5C3C5E7375623E522066
207829202D20696E74656772616C2049
206629203C205C3C657073696C6F6E3E
220A2020202020207573696E67206173
736D73205C3C6F70656E3E5C3C657073
696C6F6E3E203E20305C3C636C6F7365
3E20756E666F6C64696E672065717569
696E7465677261626C655F6F6E5F6465
66206279206175746F0A202020206F62
7461696E205C3C67616D6D613E322077
686572652020226761756765205C3C67
616D6D613E32220A202020202020616E
64205C3C67616D6D613E323A20225C3C
416E643E66205C3C443E2E2066205C3C
696E3E2047205C3C616E643E205C3C44
3E207461676765645F6469766973696F
6E5F6F662049205C3C616E643E205C3C
67616D6D613E322066696E65205C3C44
3E0A2020202020202020202020202020
2020202020205C3C4C6F6E6772696768
746172726F773E206E6F726D2028285C
3C53756D3E28782C4B29205C3C696E3E
205C3C443E2E20636F6E74656E74204B
202A5C3C5E7375623E52206620782920
2D20696E74656772616C204920662920
3C205C3C657073696C6F6E3E220A2020
202020207573696E67206173736D7320
5C3C6F70656E3E5C3C657073696C6F6E
3E203E20305C3C636C6F73653E20756E
666F6C64696E672065717569696E7465
677261626C655F6F6E5F646566206279
206175746F0A20202020686176652022
676175676520285C3C6C616D6264613E
782E205C3C67616D6D613E312078205C
3C696E7465723E205C3C67616D6D613E
32207829220A2020202020207573696E
67205C3C6F70656E3E6761756765205C
3C67616D6D613E315C3C636C6F73653E
205C3C6F70656E3E6761756765205C3C
67616D6D613E325C3C636C6F73653E20
627920626C6173740A202020206D6F72
656F766572206861766520225C3C666F
72616C6C3E66205C3C443E2E2066205C
3C696E3E2046205C3C756E696F6E3E20
47205C3C616E643E205C3C443E207461
676765645F6469766973696F6E5F6F66
2049205C3C616E643E20285C3C6C616D
6264613E782E205C3C67616D6D613E31
2078205C3C696E7465723E205C3C6761
6D6D613E322078292066696E65205C3C
443E205C3C6C6F6E6772696768746172
726F773E0A202020202020202020206E
6F726D2028285C3C53756D3E28782C4B
29205C3C696E3E205C3C443E2E20636F
6E74656E74204B202A5C3C5E7375623E
522066207829202D20696E7465677261
6C2049206629203C205C3C657073696C
6F6E3E220A2020202020207573696E67
205C3C67616D6D613E31205C3C67616D
6D613E3220627920286175746F207369
6D703A2066696E655F496E74290A2020
2020756C74696D6174656C792073686F
77203F7468657369730A202020202020
62792028696E74726F2065784920636F
6E6A492920617373756D7074696F6E2B
0A20207165640A7165640A0A0A6C656D
6D612065717569696E7465677261626C
655F6F6E5F696E736572743A0A202061
7373756D657320226620696E74656772
61626C655F6F6E2063626F7820612062
222022462065717569696E7465677261
626C655F6F6E2063626F782061206222
0A202073686F7773202228696E736572
7420662046292065717569696E746567
7261626C655F6F6E2063626F78206120
62220A2020627920286D657469732061
73736D732065717569696E7465677261
626C655F6F6E5F556E2065717569696E
7465677261626C655F6F6E5F73696E67
20696E736572745F69735F556E290A0A
0A6C656D6D612065717569696E746567
7261626C655F636D756C3A0A20206173
73756D657320463A2022462065717569
696E7465677261626C655F6F6E204922
0A202073686F77732022285C3C556E69
6F6E3E63205C3C696E3E207B2D6B2E2E
6B7D2E205C3C556E696F6E3E66205C3C
696E3E20462E207B285C3C6C616D6264
613E782E2063202A5C3C5E7375623E52
20662078297D292065717569696E7465
677261626C655F6F6E2049220A202075
6E666F6C64696E672065717569696E74
65677261626C655F6F6E5F6465660A20
2070726F6F662028696E74726F20636F
6E6A4920696D704920616C6C49206261
6C6C49290A202073686F772022662069
6E7465677261626C655F6F6E2049220A
202020206966202266205C3C696E3E20
285C3C556E696F6E3E635C3C696E3E7B
2D206B2E2E6B7D2E205C3C556E696F6E
3E665C3C696E3E462E207B5C3C6C616D
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
