Strings and linear topologies.- Metrizable topological vector spaces.- Projective limits of topological vector spaces.- Inductive limits of topological vector spaces.- Topological direct sums, strict inductive limits.- Barrelled topological vector spaces.- The Banach-steinhaus theorem.- Barrelled spaces and the closed graph theorem.- Barrelled spaces and the open mapping theorem.- Completeness and the closed graph theorem.- Bornological spaces.- Spaces of continuous linear mappings and their completion.- Quasibarrelled spaces.- Boundedly summing spaces.- Locally topological spaces.- Spaces with an absorbing sequence.- ?-locally topological spaces.- (DF)-spaces and spaces with a fundamental sequence of compact sets.- Some examples and counter examples.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Zustand: Good. Volume 639. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,300grams, ISBN:3540086625. Artikel-Nr. 5781955
Anzahl: 1 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9783540086628_new
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Strings and linear topologies.- Metrizable topological vector spaces.- Projective limits of topological vector spaces.- Inductive limits of topological vector spaces.- Topological direct sums, strict inductive limits.- Barrelled topological vector spaces.- The Banach-steinhaus theorem.- Barrelled spaces and the closed graph theorem.- Barrelled spaces and the open mapping theorem.- Completeness and the closed graph theorem.- Bornological spaces.- Spaces of continuous linear mappings and their completion.- Quasibarrelled spaces.- Boundedly summing spaces.- Locally topological spaces.- Spaces with an absorbing sequence.- -locally topological spaces.- (DF)-spaces and spaces with a fundamental sequence of compact sets.- Some examples and counter examples. Artikel-Nr. 9783540086628
Anzahl: 1 verfügbar
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau. Artikel-Nr. 4324722/202
Anzahl: 1 verfügbar