Die Grundlagen der Mathematik

Die Grundlagen der Mathematik von Hilbert,  David
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
Aktualisiert: 2019-05-28
> findR *

Berechenbarkeit

Berechenbarkeit von Felscher,  Walter
Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch für die Informatik von höchster Bedeutung ist. Lebendig und didaktisch klar wird das Studium der berechenbaren Funktionen auf dem Programmbegriff aufgebaut. Dabei sind die Induktion als Beweisprinzip und die Rekursion als Konstruktionsprinzip die beiden grundlegenden Werkzeuge für den Umgang mit Zahlen und Funktionen. Obwohl über eine gewisse Vertrautheit mit der mathematischen Argumentationsweise hinaus keine inhaltlichen Kenntnisse aus der Mathematik oder der Informatik vorausgesetzt werden, findet auch der Kenner eine durch viele neuartige Details angereicherte und an neuesten Ergebnissen orientierte Darstellung.
Aktualisiert: 2019-05-28
> findR *

Die Mathematische Methode

Die Mathematische Methode von Hölder,  Otto
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
Aktualisiert: 2019-05-28
> findR *

Elementare Aussagenlogik

Elementare Aussagenlogik von Bauer,  Friedrich L., Wirsing,  Martin
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa für Ingenieure oder Physiker, sondern auch ein anderes Menü, als es sich an unseren Universitäten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebürgert hat. Neben den unentbehrlichen Einführungsvorlesungen in Mathematik sind für die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage für die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Büchern über Logik ist dieses für den Anfänger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher außerhalb der Aussagenlogik liegende Gegenstände wie die Schaltlogik systematisch einbezogen worden, wo immer es möglich war: von dem für die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen über die Resolventenmethode, die den Anschluß an die Prädikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Übungsaufgaben greifen häufig Gedanken auf, die im Text nur nebenbei erwähnt sind, und stellen Querbezüge her. Die Lösungshinweise am Ende des Buches bieten manche Überraschungen.
Aktualisiert: 2019-05-28
> findR *

Analysis 2

Analysis 2 von Forster,  Otto
Der vorliegende Band stellt den zweiten Teil eines Analysis-Kurses für Studenten der Mathematik und Physik dar. Das erste Kapitel befaßt sich mit der Differentialrechnung von Funktionen mehrerer reeller Veränderlichen. Nach einer Einführung in die topalogischen Grundbegriffe werden Kurven im IRn, partielle Ableitungen, totale Differenzierbarkeit, Taylorsche Formel, Maxima und Minima, implizite Funktionen und parameterabhängige Integrale behandelt. Das zweite Kapitel gibt eine kurze Einführung in die Theorie der gewöhnlichen Differentialgleichungen. Nach dem Beweis des allgemeinen Existenz- und Eindeutigkeitssatzes und der Besprechung der Methode der Trennung der Variablen wird besonders auf die Theorie der linearen Differentialgleichungen eingegangen. Wie im ersten Band wurde versucht, allzu große Abstraktionen zu vermeiden und die allgemeine Theorie durch viele konkrete Beispiele zu erläutern, insbesondere solche, die für die Physik relevant sind. Bei der Bemessung des Stoffumfangs wurde berücksichtigt, daß die Analysis 2 meist in einem Sommersemester gelesen wird, in dem weniger Zeit zur Verfugung steht als in einem Wintersemester. Wegen der Kürze des Sommersemesters ist nach meiner Meinung eine befriedigende Behandlung der mehrdimensionalen Integration im 2. Semester nicht möglich, die besser dem 3. Semester vorbehalten bleibt. Dies Buch ist entstanden aus der Ausarbeitung einer Vorlesung, die ich im Sommer semester 1971 an der Universität Regensburg gehalten habe. Die damalige Vor lesungs-Ausarbeitung wurde von Herrn R. Schimpl angefertigt, dem ich hierfür meinen Dank sage.
Aktualisiert: 2019-05-28
> findR *
MEHR ANZEIGEN

Bücher zum Thema Beweis

Sie suchen ein Buch über Beweis? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema Beweis. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema Beweis im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zum Thema Beweis einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.

Beweis - Große Auswahl Bücher bei Buch findr

Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum Thema Beweis, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:

Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Unter Beweis und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.