Claus peter wirth (37 résultats)

Paperback. Etat : Fair. Hilbert and Bernays' 'Grundlagen der Mathematik' appeared in two volumes in 1934 and 1939, a second edition in 1968 and 1970. It offers a foundation for proof theory and is a major source on David Hilbert's formalist programme, Paul Bernays' philosophy, the epsilon operator, and much more. It has been a profound infl uence on mathematics, logic, and philosophy, and it covers formal ground and philosophical perspectives beyond the scope of Whitehead and Russell's 'Principia Mathematica' and Frege's 'Grundlagen der Arithmetik'. This book is not only essential to any scholar of the history and philosophy of modern mathematics, but it also contains formal research - on the epsilon and iota operators - of contemporary relevance to logicians, mathematicians and computer science. For us, it is one of the most fascinating books ever written. This a bilingual German-English, commented edition of the 'Grundlagen'. It is the fi rst English publication of these texts and shows the facsimile of the German original text on the left-hand side of a double page, and its English translation on the right-hand side. In addition to extensive comments on the history and the interpretation of the text's mathematical and philosophical content, there are also careful annotations regarding the differences between the two German editions (1934/39,1968/1970) of this two volume monograph. …

Etat : New.

Paperback. Etat : New.

Etat : As New. Unread book in perfect condition.

Paperback. Etat : Fair. Hilbert and Bernays' 'Grundlagen der Mathematik' appeared in two volumes in 1934 and 1939, a second edition in 1968 and 1970. It offers a foundation for proof theory and is a major source on David Hilbert's formalist programme, Paul Bernays' philosophy, the epsilon operator, and much more. It has been a profound infl uence on mathematics, logic, and philosophy, and it covers formal ground and philosophical perspectives beyond the scope of Whitehead and Russell's 'Principia Mathematica' and Frege's 'Grundlagen der Arithmetik'. This book is not only essential to any scholar of the history and philosophy of modern mathematics, but it also contains formal research - on the epsilon and iota operators - of contemporary relevance to logicians, mathematicians and computer science. For us, it is one of the most fascinating books ever written. This a bilingual German-English, commented edition of the 'Grundlagen'. It is the fi rst English publication of these texts and shows the facsimile of the German original text on the left-hand side of a double page, and its English translation on the right-hand side. In addition to extensive comments on the history and the interpretation of the text's mathematical and philosophical content, there are also careful annotations regarding the differences between the two German editions (1934/39,1968/1970) of this two volume monograph. …

Etat : New.

PF. Etat : New.

Etat : New. In English.

Etat : New.

Softcover. Etat : Fine. Leichte Verformung / umgeknickte Seiten; Leichte Verschmutzung / Farbtonveränderung.

Hardcover. Etat : Fine. Leichte Gebrauchsspuren; Leichte Verformung / umgeknickte Seiten; Leichte Verschmutzung / Farbtonveränderung. Der unentbehrliche Begleiter für die Planungsphase auf dem Weg zum eigenen Garten! Gartenplanung ist gar nicht so schwer - vorausgesetzt, Sie beachten die Reihenfolge einer sinnvollen Vorgehensweise. Mit diesem Buch erhalten Sie eine kompetente Planungshilfe an die Hand, die die vielfältigsten Fragestellungen noch vor Baubeginn praxisnah erläutert. Es hilft Ihnen bei der Ideen- und Zielfindung für Ihren Traumgarten, begleitet Sie bei den ersten Planungsschritten bis hin zur Kostenschätzung, empfiehlt, was Sie selbst ausführen können und wo die Vergabe an einen Fachbetrieb notwendig ist. Fiktive Planungsvorgaben und deren Abwandlung bieten ein Spektrum vielfältigster Lösungsmodelle für das eigene Gartengrün. - geballtes Planungswissen rund um den Garten - wie man die Kosten im Griff behält - bedient den Trend zur eigenen Gartenplanung.…

Hardcover. Etat : As New. Leichte Kratzer / Abnutzungen / Druckstellen. Traumgärten planen und gestalten - Die bewährte und kompetente Planungshilfe für alle Gartenbesitzer - Für individuelle Gartenplanung von Anfang an - Mit Kostenübersichten Dieser umfassende Ratgeber ist eine kompetente Planungshilfe, die vielfältige Wünsche und Aufgaben noch vor Baubeginn praxisgerecht erläutert. Wege, Sitzplätze und Treppen anlegen, den Vorgarten gestalten, Zäune und Mauern errichten, Hecken pflanzen, Carports oder Stellplätze planen, den Teich anlegen und den Garten effektvoll beleuchten. Die perfekte Unterstützung bei der Ideen- und Zielfindung für den eigenen Garten - von den ersten Planungsschritten bis zur Kostenschätzung.…

Hardcover. Etat : Fine. Leichte Verformung / umgeknickte Seiten; Leichte Verschmutzung / Farbtonveränderung.

Softcover. Etat : Fine. Leichte Gebrauchsspuren.

Etat : Fair. Verschmutzung; Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verschmutzung / Farbtonveränderung; Beilage vorhanden. Nehmen Sie die Gartengestaltung selbst in die Hand! - kompetente Planungshilfe - Schritt für Schritt: planen und entwerfen - mit Kostenübersichten Viele Gartenbesitzer möchten Ihre Gartenideen selbst verwirklichen: Wege und Sitzplätze anlegen, Treppen, Mauern und Zäune errichten, Hecken pflanzen oder den ganzen Vorgarten gestalten, ein Carport bauen oder gar einen Teich anlegen. Dieses Buch zeigt, welche Gestaltungsmöglichkeiten es gibt, worauf man achten muss und mit welchen Kosten zu rechnen ist.…

Etat : As New. Unread book in perfect condition.

Softcover. Etat : Fine. Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verschmutzung / Farbtonveränderung. Das byzantinische Reich, gekennzeichnet durch eine Verbindung aus römischem Staatsgedanken, griechisch-hellenistischer Kultur und Christentum, stellte über tausend Jahre lang einen bedeutenden Machtfaktor im europäisch-asiatischen Raum dar. Grundlegend und kompakt bietet dieser Band eine Einführung in die Geschichte des byzantinischen Reiches von der Zeit Konstantins des Großen bis zur Eroberung Konstantinopels. Peter Wirth zeichnet die Schwerpunkte der politischen Entwicklung sowie der Verwaltungs-, Sozial- und Kulturgeschichte nach und skizziert die wesentlichen Ereignisse der Kirchenhistorie bis zur türkischen Eroberung.…

Etat : Fine. Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verschmutzung / Farbtonveränderung; Beilage vorhanden. Nehmen Sie die Gartengestaltung selbst in die Hand! - kompetente Planungshilfe - Schritt für Schritt: planen und entwerfen - mit Kostenübersichten Viele Gartenbesitzer möchten Ihre Gartenideen selbst verwirklichen: Wege und Sitzplätze anlegen, Treppen, Mauern und Zäune errichten, Hecken pflanzen oder den ganzen Vorgarten gestalten, ein Carport bauen oder gar einen Teich anlegen. Dieses Buch zeigt, welche Gestaltungsmöglichkeiten es gibt, worauf man achten muss und mit welchen Kosten zu rechnen ist.…

Hardcover. Etat : Fine. Leichte Verformung / umgeknickte Seiten; Beilage vorhanden.

Etat : Fine. Leichte Gebrauchsspuren. Stellt detailliert die Planung und Gestaltung von Wegen und Sitzplatzen im Garten vor: Checklisten, Zeichnungen, Berechnungsformeln u.a.; reich illustriert.

Softcover. Etat : Fine. Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Gebrauchsspuren; Leichte Verformung / umgeknickte Seiten.

Etat : As New. Leichte Kratzer / Abnutzungen / Druckstellen. Der Gartenplaner bietet eine Hilfestellung für die korrekte Abfolge einzelner Planungsstufen und lenkt Bauvorhaben so von Anfang an in die richtigen Bahnen. Er gibt eine konkrete Anleitung, angefangen von der Formulierung von Wünschen über die Umsetzung der Idee als Skizze bis hin zum Ausführungsplan, der sowohl für Eigenarbeit als auch zur Vorlage bei einer Fremdfirma eine wichtige Grundlage darstellt. Er bietet einen Kostenvergleich der unterschiedlichen Baumaterialien und Ausführungsvarianten und hilft somit bei der Kostenschätzung des Bauvorhabens.…

Hardcover. Etat : As New. Leichte Kratzer / Abnutzungen / Druckstellen. Nehmen Sie die Gartengestaltung selbst in die Hand! Mit diesem Ratgeber gelingt Ihre Gartenplanung garantiert. Planen und entwerfen Sie Ihren Garten mit Hilfe von Beispielen zur Gartengestaltung, Zeichnungen und Kostenübersichten. Verwirklichen Sie Ihre Gartenideen und Heimwerker-Projekte: Gartenwege, Sitzplätze und Terrassen anlegen, Treppen, Zäune, Gartenmauern und Sichtschutz errichten, den Vorgarten neu gestalten, einen Carport selber bauen oder einen Gartenteich anlegen. Erfahren Sie, wie Sie Ihre Gartenbewässerung optimieren und wie Sie die Gartenbeleuchtung effektvoll anlegen. Dieses Buch zeigt Ihnen, worauf Sie bei der Gartenplanung achten und mit welchen Kosten Sie rechnen müssen.…

Softcover. Etat : neu. 1. Auflage. Forschungsergebnisse zur Informatik, Band 31 260 pages. Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale Methoden bei der Verifikation sicherheitskritischer Algorithmen unverzichtbar sind, ist davon auszugehen, dass mehr oder weniger automatisiertes Beweisen induktiver Theoreme in naher Zukunft wirtschaftliche Bedeutung erlangen wird. Positiv/negativ bedingte Gleichungen sind universell quantifizierte Implikationen erster Stufe mit einer einzelnen Gleichung im Sukzedens und einer Konjunktion von positiven und negativen (d.h. negierten) Gleichungen im Antezedens. Sie eignen sich zur funktionalen Spezifikation erster Stufe und lassen sich in direkter Weise als Programme auffassen. Mit Hilfe eines konstruktorbasierten Ansatzes wird algebraischen Spezifikationen mit positiv/negativ bedingten Gleichungen eine ihnen gemäÃe Semantik gegeben. Des weiteren wird die Reduktion mit positiv/negativ bedingten Regeln in solcher Weise definiert, dass die grundlegenden Ergebnisse für positiv bedingte Termersetzungssysteme ihre Gültigkeit behalten. Es ist von besonderer Wichtigkeit, dass die vorgestellten Begriffe induktiver Gültigkeit gegenüber konsistenter Spezifikationserweiterung ein monotones Verhalten aufweisen. Auf dieser Grundlage wird dann ein Inferenzsystem zum Nachweis verschiedener induktiver Gültigkeiten von Gleichungsklauseln entwickelt. Der konstruktorbasierte Ansatz erweist sich für einen derartigen Induktionsbeweis als gut geeignet, und auch das Auftreten partiell definierter und nichtterminierender Funktionen bereitet keine zusätzlichen Schwierigkeiten.…

Paperback. Etat : New.

Hardcover. Etat : Fine. Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verschmutzung / Farbtonveranderung. Strmy pozemek stavi mnohe majitele a architekty pred obtizny ukol. Rentabilita a ucelnost zalozeni takoveto zahrady jde ruku v ruce s pranim vytvorit zahradu unikatni a jedinecnou. S citem pro danou situaci a s pomoci zkuseneho oka se muzeme dopracovat k takovemu reseni, ktere uspokoji nejen nase osobni pozadavky, ale prizpusobi se i mistnim podminkam. Znalosti jednotlivych materialu a prave tak i dostatecna technicka zrucnost umozni, ze vysledkem naseho snazeni bude zdarile provedeni a vybudovani takove zahrady, jejiz vzhled bude korespondovat s puvodnim navrhem. Publikace prinasi tez informace dulezite pro vyber vhodne vegetace, ktere se bude na svahu dobre darit a take rady tykajici se spravne vysadby a pece o vysazene rostliny. Cetne priklady a nakresy jednotlivych navrhovanych reseni na vybranych stanovistich knihu nejen perfektne doplnuji, ale mohou byt i vyzvou a nametem pro vlastni planovani.…

Hardcover. Etat : As New. Leichte Kratzer / Abnutzungen / Druckstellen. Strmy pozemek stavi mnohe majitele a architekty pred obtizny ukol. Rentabilita a ucelnost zalozeni takoveto zahrady jde ruku v ruce s pranim vytvorit zahradu unikatni a jedinecnou. S citem pro danou situaci a s pomoci zkuseneho oka se muzeme dopracovat k takovemu reseni, ktere uspokoji nejen nase osobni pozadavky, ale prizpusobi se i mistnim podminkam. Znalosti jednotlivych materialu a prave tak i dostatecna technicka zrucnost umozni, ze vysledkem naseho snazeni bude zdarile provedeni a vybudovani takove zahrady, jejiz vzhled bude korespondovat s puvodnim navrhem. Publikace prinasi tez informace dulezite pro vyber vhodne vegetace, ktere se bude na svahu dobre darit a take rady tykajici se spravne vysadby a pece o vysazene rostliny. Cetne priklady a nakresy jednotlivych navrhovanych reseni na vybranych stanovistich knihu nejen perfektne doplnuji, ale mohou byt i vyzvou a nametem pro vlastni planovani.…

PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Hardcover. Etat : As New. Leichte Kratzer / Abnutzungen / Druckstellen. Tato kniha vam pomuze ukazat, jake moznosti pri budovani zahrady mate, na co je treba dat si pozor a s jakymi naklady musite pocitat. Jednotlive zahradni projekty jsou podrobne popsane krok za krokem: operne a ochranne zdi, schody, cesty a uprava terenu, dlazba, mista k posezeni, ploty a zive ploty, predzahradka, pristresky pro auta, pergoly, jezirka, osvetleni a mnoho dalsiho. …

PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.