Angebote zu "Beweis" (38 Treffer)

Design Patterns für mathematische Beweise
29,99 € *
ggf. zzgl. Versand

Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion. Damit gibt es Antworten auf Fragen wie Was genau ist eigentlich ein Widerspruchsbeweis? Oder eine Widerlegung? Und wie hängen sie miteinander zusammen? Die Autoren versuchen, derartige fragen zu erörtern, indem sie verbreitete Beweismuster und anhand von allgemein verständlichen Beispielen aus dem Alltag, der Mathematik und der Informatik zu verdeutlichen.

Anbieter: buecher.de
Stand: 20.08.2019
Zum Angebot
Mathematik für Informatiker
34,99 € *
ggf. zzgl. Versand

Dieses Buch enthält in einem Band den Mathematik-Stoff, der für das Informatik-Studium in anwendungsorientierten Bachelor-Studiengängen benötigt wird. Der Inhalt entspringt der langjährigen Lehrerfahrung des Autors. Das heißt: - Sie finden immer wieder Anwendungen aus der Informatik. - Sie lernen nicht nur mathematische Methoden, es werden auch die Denkweisen der Mathematik vermittelt, die eine Grundlage zum Verständnis der Informatik bilden. - Beweise werden dann geführt, wenn Sie daraus etwas lernen können, nicht um des Beweisens willen. Mathematik ist für viele Studierende zunächst ein notwendiges Übel. Das Buch zeigt durch ausführliche Motivation, durch viele Beispiele, durch das ständige Aufzeigen von Querbezügen zwischen Mathematik und Informatik, dass Mathematik nicht nur nützlich ist, sondern interessant sein kann und manchmal auch Spaß macht.

Anbieter: buecher.de
Stand: 20.08.2019
Zum Angebot
Logik für Informatiker
20,00 € *
ggf. zzgl. Versand

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet.Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.

Anbieter: buecher.de
Stand: 20.08.2019
Zum Angebot
Theoretische Informatik
34,99 € *
ggf. zzgl. Versand

Das Lehrbuch führt in verständlicher Sprache in die theoretische Informatik ein. Es umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und gibt einen Überblick zur Komplexitätstheorie. Das Buch eignet sich insbesondere für Einsteiger: Alle Beweise sind im Detail ausgeführt. Für Dozenten ist das Buch ebenfalls interessant, da auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium.

Anbieter: buecher.de
Stand: 20.08.2019
Zum Angebot
Präzises Denken für Informatiker
27,99 € *
ggf. zzgl. Versand

Das Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik. Es bildet die Vorstufe für das Verständnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da das logische Denken in der Informatik auf den gleichen Regeln und Techniken basiert wie in der Mathematik. Der Autor führt umfassend in die Aussagenlogik ein und erklärt unter anderem die Bedeutungen von logischer Äquivalenz, Implikation und Induktion für diesen Fachbereich. Darüber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium benötigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des präzisen Denkens erwerben die Studenten die Fähigkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begründen. Viele praxisnahe Aufgaben und Lösungshinweise innerhalb der Kapitel erleichtern die Überprüfung und Vertiefung des Lernstoffs. Der Autor richtet sich vornehmlich an Bachelorstudenten der ersten Semester. Sie finden in diesem Werk eine optimale Vorbereitung auf die Logik-Seminare ihres Informatikstudiums. Die vermittelten Kompetenzen verbessern dabei nicht nur das Verständnis im Informatik-Studium, sondern sind ebenso für das spätere Berufsleben von großer Bedeutung. Darüber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in die Welt der Informatik und Mathematik und lernen, dass die Fähigkeit zu präzisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann.

Anbieter: buecher.de
Stand: 20.08.2019
Zum Angebot
Graphen- und Netzwerkoptimierung
25,00 € *
ggf. zzgl. Versand

´´Alle Wege führen nach Rom!´´ Aber welcher ist der beste - wie findet mein Navi den Weg überhaupt? Und was ist mit einer Rundreise durch Europas Hauptstädte? Diese Fragen bilden nur einen kleinen Teilaspekt der Themen dieses Buches. Anhand vieler Praxissituationen werden die Begriffe der Graphentheorie und Netzwerkoptimierung eingeführt und die aufgeworfenen Probleme anschließend mit Hilfe von Algorithmen gelöst. Das Buch richtet sich an Studierende der Mathematik und Informatik in den ersten Semestern sowie an interessierte Praktiker. Es enthält eine Vielzahl an Anwendungsbeispielen sowie wichtige in der Praxis relevanten Algorithmen mit dem Beweis ihrer Optimalität. Spezielle mathematische Vorkenntnisse sind nicht erforderlich: Sämtliche Begriffe und Methoden werden auf verständliche Weise eingeführt. Das so erworbene Wissen kann anhand zahlreicher Übungsaufgaben und deren Lösungen vertieft und überprüft werden.

Anbieter: buecher.de
Stand: 20.08.2019
Zum Angebot
Konkrete Analysis
32,99 € *
ggf. zzgl. Versand

Dieses Lehrbuch führt den Leser in konkrete Techniken und Begriffe der Analysis ein, mit deren Hilfe sich komplexe quantitative Zusammenhänge vereinfachen und verstehen lassen. Es richtet sich in erster Linie an Studierende der Informatik, ist aber auch für Studierende der Mathematik und Physik mit Interesse an diskreten Strukturen eine willkommene ergänzende Einführung in so grundlegende analytische Werkzeuge wie Abschätzung, Approximation und Asymptotik. Besonderheiten der Darstellung sind (a) die Betonung von Ideenbildung und Argumentationshierarchien (von der Graphik zum Beweis), (b) der Einsatz von Computeralgebra-Systemen für rein kalkulatorische Aufgaben, (c) das wiederholte Aufgreifen von Beispielen mit verfeinerten Techniken und veränderten Blickwinkeln und (d) die Motivation anhand von Problemen aus der Informatik. Das Buch wird von einer hyperverlinkten PDF-Version begleitet, die Verweise auf Begriffserklärungen, biografische Daten und weiterführendes Material enthält.

Anbieter: buecher.de
Stand: 20.08.2019
Zum Angebot