Remote sensing for resources development and environmental management: Remote sensing for resources development and environmental management

damen, m. c. j.

Bibliographic data

Multivolume work

Persistent identifier:: 856342815

Title:: Remote sensing for resources development and environmental management

Sub title:: proceedings of the 7th international Symposium, Enschede, 25 - 29 August 1986

Year of publication:: 1986

Place of publication:: Rotterdam; Boston

Publisher of the original:: A. A. Balkema

Identifier (digital):: 856342815

Language:: English

Additional Notes:: Volume 1-3 erschienen von 1986-1988

Editor:: Damen, M. C. J.

Document type:: Multivolume work

Volume

Persistent identifier:: 856641294

Title:: Remote sensing for resources development and environmental management

Sub title:: proceedings of the 7th international Symposium, Enschede, 25 - 29 August 1986

Scope:: IX Seiten, Seiten 551-956

Year of publication:: 1986

Place of publication:: Rotterdam; Boston

Publisher of the original:: A,. A. Balkema

Identifier (digital):: 856641294

Illustration:: Illustrationen, Diagramme

Signature of the source:: ZS 312(26,7,2)

Language:: English

Usage licence:: Attribution 4.0 International (CC BY 4.0)

Editor:: Damen, M. C. J.

Editor:: International Society for Photogrammetry and Remote Sensing, Commission of Photographic and Remote Sensing Data

Publisher of the digital copy:: Technische Informationsbibliothek Hannover

Place of publication of the digital copy:: Hannover

Year of publication of the original:: 2016

Document type:: Volume

Collection:: Earth sciences

Chapter

Title:: 6 Hydrology: Surface water, oceanography, coastal zone, ice and snow. Chairman: K. A. Ulbricht, Co-chairman: Mikio Takagi, Liaison: R. Spanhoff

Write comment:: Wegen zu enger Bindung kommt es teilweise im Original zu Textverlust.

Document type:: Multivolume work

Structure type:: Chapter

Chapter

Title:: Rainlog and preslog: Novel tools for in-situ measurements. D. de Hoop

Document type:: Multivolume work

Structure type:: Chapter

Subsumtion. G23 Es ist dann in der That das Formelsystem des Algorithmus A kleiner, nur ein Teil (m. a. W. „echter Teil“) des Formelsystems des Algo rithmus B. Allerdings ist auch die umgekehrte Schreibweise berechtigt und wird im „Aussagenkalkul“ vorgezogen — vergl. Bd. 2 § 28 — im Hinblick darauf, dass die Zeit, während welcher (resp. die Klasse der Gelegenheiten bei welchen) die von einer andern B einseitig bedingte Aussage A als wahr anzuerkennen ist, nur ein Teil sein wird der Zeit (resp. etc.) während welcher die Aussage A gilt: Wenn (wann, solange, sooft) B gilt, gilt auch A aber nicht umge kehrt; A kann auch gelten ohne B. Ebenso ist nun auch hier die Gesamtheit der Fälle in welchen (die Klasse der Funktionen, für welche) der Algorithmus B erfüllt wird, nur ein Teil von derjenigen, für welche es der Algorithmus A ist. Unter diesem Gesichtspunkt müsste man eigentlich die Schreibung: ß) -bC^ zur Darstellung des vorausgesetzten Sachverhalts wählen. Wenn demnach das Zeichen der Unterordnung genau dem Zeichen < entsprechend verwendet werden soll, so hat man doch für ein- unddieselbe Beziehung a 'priori unter zwei Schreibweisen die Wahl, nämlich einer extensiven a), bei der mehr auf die räumliche (Flächen-)Ausbreitung der — etwa geschrieben gedachten — Sätze oder Formelsysteme gesehen, und einer intensiven /3), bei welcher mehr auf ihre zeitliche Ausdehnung, ihre Gültigkeitsdauer, das Augenmerk gerichtet wird, oder — sofern man von einer solchen nicht sprechen mag — auf die Klasse der Gelegenheiten, wo sie Anwendung finden, hier also die Fälle des Erfülltseins oder die Klasse der Lösungen der Funktionalgleichungen. Durch die Bevorzugung der extensiven vor der intensiven Schreibung unterscheidet sich der hier vorzutragende Kalkül schon in der Anlage von dem später vorzutragenden Aussagenkalkul. Ich würde mich unter Umständen wol auch der zweiten Schreibweise anschliessen, muss aber hier der ersteren den Vorzug geben. Folgt nicht nur A aus B, sondern auch B aus A, so sind die Formelsysteme der Algorithmen A und B identisch dieselben, und schreiben wir: A — B oder B — A. Denn da wir nur mit Algorithmen zu thun haben wollen, so ist das Formelsystem A ergänzt zu denken durch Zuziehung aller seiner Konsequenzen, zu denen nach der Voraussetzung auch B gehört, und umgekehrt, d. h. beide sind eines. Um lediglich auszudrücken, dass A aus B folgt, während un bekannt ist oder unentschieden, offen gelassen werden soll, ob auch umgekehrt B aus A folge, werden wir schreiben: A =<= B desgl. B =}= A,

Access restriction

Copyright

fullscreen: Remote sensing for resources development and environmental management (Volume 2)

Multivolume work

Volume

Chapter

Chapter

Table of contents

Cite and reuse

Volume

Chapter

Image

Image fragment

Citation links

Citation recommendation