Friedrichsdorf ulf (25 risultati)

Taschenbuch. Condizione: Gut. VI, 103 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Einbandkanten sind leicht bestoßen. Sprache: Deutsch Gewicht in Gramm: 140. …

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New. In English.

Paperback. Condizione: new. Paperback. Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzufuehren. Die hier naeher betrachteten intensionalen Systeme haengen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natuerlicher Sprachen betreffen. Die hier naeher betrachteten intensionalen Systeme haengen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natuerlicher Sprachen betreffen. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condizione: New. 1985. Paperback. . . . . .

Taschenbuch. Condizione: Neu. Neuware -Das vorliegende Blichlein ist aus Vorlesungen hervorgegangen, die wir abwechselnd an der Universitat Konstanz hielten und noch immer halten. Die Absicht dieser Vor lesung ist es, Mathematikstudenten mittlerer Semester einen Einblick in die Mengen lehre zu vermitteln, der ihnen gleichzeitig die flir die Mathematik wichtigsten mengen theoretischen Begriffe und Satze an die Hand gibt. Diese Vorlesung halten wir gewohnlich zweistlindig im Sommersemester. Hieraus resultiert die Anzahl der Kapitel - jede Woche wird ein Kapitel besprochen. Wir setzen dabei eine gewisse Vertrautheit des Studenten im naiven Umgang mit Mengen aus den ersten Semestern voraus. Auch flihren wir bei Anwendungen der Mengenlehre nicht aile Beweise detailliert aus, sondern begnligen uns oft mit der Angabe der wich tigsten Schritte. Dies gilt zum Beispiel flir den Autbau des Zahlsystems, speziell flir die Kapitel4 und 5. Urn in Kapitel 10 neben einfachen Anwendungen des Auswahl axioms auch tieferliegende bringen zu konnen, sind wirt dort gezwungen, Vertraut heit mit den Begriffen und Satzen der jeweiligen Theorie vorauszusetzen. Grundsatz lich lassen sich jedoch aile in Beweisen bestehenden Lucken routinemallig schliellen. Der von uns gewahlte Zugang zur Mengenlehre ist axiomatisch, vermeidet jedoch moglichst eine zu formale Darstellung. Wir versuchen, der mathematischen Praxis so nahe wie moglich zu bleiben, ohne dadurch allerdings eine mOgliche Formalisierbar keit aus den Augen zu verlieren. Dber die Durchflihrung einer solchen Formalisierung (nach von Neumann, Godel, Bernays) berichten wir im Epilog. 103 pp. Deutsch.…

Condizione: New. pp. 116.

Paperback. Condizione: Brand New. 1992 edition. 354 pages. German language. 8.98x6.38x0.87 inches. In Stock.

Condizione: New. 1985. Paperback. . . . . . Books ship from the US and Ireland.

Gr.8°, VI, 354 S., Bl. Verlagsanzeigen, kartoniert. Lang: deutsch 544 g. Kanten berieben, sechs Blätter mit Eckknicken, sonst gut erhalten.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natürlicher Sprachen betreffen.…

Paperback. Condizione: new. Paperback. Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzufuehren. Die hier naeher betrachteten intensionalen Systeme haengen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natuerlicher Sprachen betreffen. Die hier naeher betrachteten intensionalen Systeme haengen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natuerlicher Sprachen betreffen. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Condizione: New. pp. viii + 354.

Paperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Condizione: New. Print on Demand pp. 116 20:B&W 5 x 8 in or 203 x 127 mm Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 116.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natürlicher Sprachen betreffen. 354 pp. Deutsch.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Inhalt: Mengen und Klassen - Relationen und Funktionen - Natuerliche Zahlen - Ganze und rationale Zahlen - Reelle und komplexe Zahlen - Wahlordnungen - Ordinalzahlen - Ordinalarithmetik und von Neumannsche Stufen - Das Auswahlaxiom - Anwendungen des Auswahl.…

Condizione: New. Print on Demand pp. viii + 354.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultaet fuer Mathematik der Universitaet Konstanz, 7750 Konstanz.Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und .…

Condizione: New. PRINT ON DEMAND pp. viii + 354.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natürlicher Sprachen betreffen.Vieweg+Teubner Verlag, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 368 pp. Deutsch.…

Taschenbuch. Condizione: Neu. Einführung in die klassische und intensionale Logik | Ulf Friedrichsdorf | Taschenbuch | viii | Deutsch | 1992 | Vieweg & Teubner | EAN 9783528064891 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …