Domain kunsttheorie.de kaufen?
Wir ziehen mit dem Projekt
kunsttheorie.de um.
Sind Sie am Kauf der Domain
kunsttheorie.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain kunsttheorie.de kaufen?
Stiebitz:Brooks Theorem, Fachbücher von Michael Stiebitz
Das Buch "Brooks' Theorem" von Michael Stiebitz bietet eine umfassende Analyse eines der bekanntesten und grundlegendsten Theoreme der Graphentheorie, das erstmals 1941 formuliert wurde. Es behandelt die Entwicklung und die weitreichenden Auswirkungen von Brooks' Theorem auf die Graphentheorie und beleuchtet sowohl frühe als auch aktuelle Ergebnisse. Die Leserinnen und Leser erhalten einen klaren Zugang zu den verschiedenen Beweisen, Erweiterungen und verwandten Ergebnissen, die in Fachzeitschriften, Tagungsberichten und Dissertationen verstreut sind. Jedes Kapitel schliesst mit Anmerkungen zur Geschichte, Kommentaren und weiteren Ergebnissen ab, was das Buch zu einer wertvollen Referenz für alle macht, die sich intensiver mit der Graphfärbungstheorie auseinandersetzen möchten. Zudem eignet sich das Buch für Graduierte und enthält Übungen, die das Verständnis vertiefen.
181,89 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Stiebitz-Brooks-Theorem-Fachbücher
Top-Angebote
Produkte zum Begriff Stiebitz-Brooks-Theorem-Fachbücher:
-
Automated Theorem Proving, Fachbücher von Monty NewbornDas Fachbuch "Automated Theorem Proving" von Monty Newborn bietet eine umfassende Einführung in die automatisierte Beweisführung, ein zentrales Thema in der Informatik und Mathematik. In einer Zeit, in der Computer mit beeindruckender Geschwindigkeit und Effizienz arbeiten, wird die Fähigkeit, Theoreme zu beweisen und logische Schlussfolgerungen zu ziehen, immer wichtiger. Dieses Buch behandelt die Funktionsweise von zwei spezifischen Theorem-Proving-Programmen, THEO und HERBY, und bietet sowohl theoretische als auch praktische Einblicke in deren Anwendung. Die ersten Kapitel führen in die Grundlagen der automatisierten Beweisführung ein, einschliesslich der verwendeten Sprache, der Prädikatenlogik und der Inferenzregeln. Darüber hinaus wird ein drittes Programm, COMPILE, vorgestellt, das eine wichtige Rolle bei der Umwandlung von Prädikaten in Klauselform spielt. Die nachfolgenden Kapitel vertiefen sich in die theoretischen Grundlagen der semantischen Baumbeweisführung und der Resolutionsrefutationsbeweisführung, die von HERBY und THEO durchgeführt werden. Dieses Buch ist eine wertvolle Ressource für Studierende und Fachleute, die sich mit den Herausforderungen und Möglichkeiten der automatisierten Theorembeweisführung auseinandersetzen möchten.128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Hoffmann:Gödel's Incompleteness Theorem, Fachbücher von Dirk W. HoffmannDas Buch "Gödel's Incompleteness Theorem" von Dirk W. Hoffmann bietet eine umfassende Analyse von Kurt Gödels bahnbrechendem Artikel aus dem Jahr 1931, der die mathematische Welt revolutionierte. In diesem Werk werden die beiden Incompleteness-Theoreme detailliert untersucht, die die Beziehung zwischen Wahrheit und Beweisbarkeit in der Mathematik grundlegend in Frage stellen. Hoffmann geht über eine blosse Kommentierung des Originals hinaus und bietet eine tiefgehende Erklärung der komplexen Argumentationslinien, die Gödel in seiner Arbeit verwendet hat. Das Buch ist nicht nur eine Analyse der Theoreme, sondern auch eine historische Reise, die den Leser in die mathematischen Krisen des frühen 20. Jahrhunderts eintauchen lässt. Es beleuchtet die Entwicklung der Typentheorie und der axiomatischen Mengenlehre sowie die Auseinandersetzungen zwischen verschiedenen mathematischen Strömungen. Durch zahlreiche Beispiele und Erklärungen wird das Verständnis von Gödels Werk erleichtert, was es zu einer wertvollen Ressource für Studierende und Interessierte der Mathematik macht.58,84 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Gleason's Theorem and Its Applications, Fachbücher von Anatolij Dvurecenskij
"Gleason's Theorem and Its Applications" bietet eine umfassende Untersuchung der Wechselwirkungen zwischen Mathematik und Physik, insbesondere im Kontext der Quantenmechanik. Der Autor Anatolij Dvurecenskij beleuchtet die mathematischen Grundlagen, die der Quantenmechanik und der Wahrscheinlichkeitstheorie zugrunde liegen. Die Arbeit thematisiert die historische Entwicklung und die bedeutenden Theorien, die in den 1930er Jahren entstanden sind, und zeigt auf, wie Gleasons Theorem als Eckpfeiler der axiomatischen Quantenmechanik fungiert. Mit 325 Seiten bietet das Buch eine detaillierte Analyse und zahlreiche Anwendungen, die sowohl für Studierende als auch für Fachleute von Interesse sind. Es ist in englischer Sprache verfasst und richtet sich an Leser mit einem Hintergrund in Mathematik und Naturwissenschaften.
139,09 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ribenboim:Fermat s Last Theorem for Ama, Fachbücher von Paulo Ribenboim
Das Buch "Fermat's Last Theorem for Amateurs" von Paulo Ribenboim bietet eine zugängliche Einführung in die faszinierende Geschichte und die mathematischen Konzepte hinter Fermats letztem Satz. Über dreihundert Jahre lang haben Mathematiker, von renommierten Wissenschaftler*innen bis hin zu talentierten Amateuren, versucht, diesen berühmten Satz zu beweisen. Ribenboim erläutert die Entwicklung der notwendigen Theorien, darunter elliptische Kurven, modulare Formen und Galois-Darstellungen, die letztendlich zur Lösung des Problems führten. Das Buch richtet sich an eine breite Leserschaft, einschliesslich Amateuren, Lehrenden und Mathematiker*innen, die an der Thematik interessiert sind. Es verwendet überwiegend elementare Methoden und bietet eine detaillierte, selbstständige Präsentation, die das Verständnis erleichtert. Die Lektüre ist so gestaltet, dass sie auch für Leser*innen ohne tiefgehende mathematische Vorkenntnisse ansprechend ist und die Neugier auf die mathematischen Herausforderungen weckt, die über Fermats Problem hinausgehen.
60,98 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Stiebitz-Brooks-Theorem-Fachbücher:
-
Stiebitz:Brooks Theorem, Fachbücher von Michael StiebitzDas Buch "Brooks' Theorem" von Michael Stiebitz bietet eine umfassende Analyse eines der bekanntesten und grundlegendsten Theoreme der Graphentheorie, das erstmals 1941 formuliert wurde. Es behandelt die Entwicklung und die weitreichenden Auswirkungen von Brooks' Theorem auf die Graphentheorie und beleuchtet sowohl frühe als auch aktuelle Ergebnisse. Die Leserinnen und Leser erhalten einen klaren Zugang zu den verschiedenen Beweisen, Erweiterungen und verwandten Ergebnissen, die in Fachzeitschriften, Tagungsberichten und Dissertationen verstreut sind. Jedes Kapitel schliesst mit Anmerkungen zur Geschichte, Kommentaren und weiteren Ergebnissen ab, was das Buch zu einer wertvollen Referenz für alle macht, die sich intensiver mit der Graphfärbungstheorie auseinandersetzen möchten. Zudem eignet sich das Buch für Graduierte und enthält Übungen, die das Verständnis vertiefen.181,89 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Automated Theorem Proving, Fachbücher von Monty NewbornDas Fachbuch "Automated Theorem Proving" von Monty Newborn bietet eine umfassende Einführung in die automatisierte Beweisführung, ein zentrales Thema in der Informatik und Mathematik. In einer Zeit, in der Computer mit beeindruckender Geschwindigkeit und Effizienz arbeiten, wird die Fähigkeit, Theoreme zu beweisen und logische Schlussfolgerungen zu ziehen, immer wichtiger. Dieses Buch behandelt die Funktionsweise von zwei spezifischen Theorem-Proving-Programmen, THEO und HERBY, und bietet sowohl theoretische als auch praktische Einblicke in deren Anwendung. Die ersten Kapitel führen in die Grundlagen der automatisierten Beweisführung ein, einschliesslich der verwendeten Sprache, der Prädikatenlogik und der Inferenzregeln. Darüber hinaus wird ein drittes Programm, COMPILE, vorgestellt, das eine wichtige Rolle bei der Umwandlung von Prädikaten in Klauselform spielt. Die nachfolgenden Kapitel vertiefen sich in die theoretischen Grundlagen der semantischen Baumbeweisführung und der Resolutionsrefutationsbeweisführung, die von HERBY und THEO durchgeführt werden. Dieses Buch ist eine wertvolle Ressource für Studierende und Fachleute, die sich mit den Herausforderungen und Möglichkeiten der automatisierten Theorembeweisführung auseinandersetzen möchten.128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Stiebitz-Brooks-Theorem-Fachbücher
-
Hoffmann:Gödel's Incompleteness Theorem, Fachbücher von Dirk W. HoffmannDas Buch "Gödel's Incompleteness Theorem" von Dirk W. Hoffmann bietet eine umfassende Analyse von Kurt Gödels bahnbrechendem Artikel aus dem Jahr 1931, der die mathematische Welt revolutionierte. In diesem Werk werden die beiden Incompleteness-Theoreme detailliert untersucht, die die Beziehung zwischen Wahrheit und Beweisbarkeit in der Mathematik grundlegend in Frage stellen. Hoffmann geht über eine blosse Kommentierung des Originals hinaus und bietet eine tiefgehende Erklärung der komplexen Argumentationslinien, die Gödel in seiner Arbeit verwendet hat. Das Buch ist nicht nur eine Analyse der Theoreme, sondern auch eine historische Reise, die den Leser in die mathematischen Krisen des frühen 20. Jahrhunderts eintauchen lässt. Es beleuchtet die Entwicklung der Typentheorie und der axiomatischen Mengenlehre sowie die Auseinandersetzungen zwischen verschiedenen mathematischen Strömungen. Durch zahlreiche Beispiele und Erklärungen wird das Verständnis von Gödels Werk erleichtert, was es zu einer wertvollen Ressource für Studierende und Interessierte der Mathematik macht.58,84 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Gleason's Theorem and Its Applications, Fachbücher von Anatolij Dvurecenskij"Gleason's Theorem and Its Applications" bietet eine umfassende Untersuchung der Wechselwirkungen zwischen Mathematik und Physik, insbesondere im Kontext der Quantenmechanik. Der Autor Anatolij Dvurecenskij beleuchtet die mathematischen Grundlagen, die der Quantenmechanik und der Wahrscheinlichkeitstheorie zugrunde liegen. Die Arbeit thematisiert die historische Entwicklung und die bedeutenden Theorien, die in den 1930er Jahren entstanden sind, und zeigt auf, wie Gleasons Theorem als Eckpfeiler der axiomatischen Quantenmechanik fungiert. Mit 325 Seiten bietet das Buch eine detaillierte Analyse und zahlreiche Anwendungen, die sowohl für Studierende als auch für Fachleute von Interesse sind. Es ist in englischer Sprache verfasst und richtet sich an Leser mit einem Hintergrund in Mathematik und Naturwissenschaften.139,09 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Ribenboim:Fermat s Last Theorem for Ama, Fachbücher von Paulo RibenboimDas Buch "Fermat's Last Theorem for Amateurs" von Paulo Ribenboim bietet eine zugängliche Einführung in die faszinierende Geschichte und die mathematischen Konzepte hinter Fermats letztem Satz. Über dreihundert Jahre lang haben Mathematiker, von renommierten Wissenschaftler*innen bis hin zu talentierten Amateuren, versucht, diesen berühmten Satz zu beweisen. Ribenboim erläutert die Entwicklung der notwendigen Theorien, darunter elliptische Kurven, modulare Formen und Galois-Darstellungen, die letztendlich zur Lösung des Problems führten. Das Buch richtet sich an eine breite Leserschaft, einschliesslich Amateuren, Lehrenden und Mathematiker*innen, die an der Thematik interessiert sind. Es verwendet überwiegend elementare Methoden und bietet eine detaillierte, selbstständige Präsentation, die das Verständnis erleichtert. Die Lektüre ist so gestaltet, dass sie auch für Leser*innen ohne tiefgehende mathematische Vorkenntnisse ansprechend ist und die Neugier auf die mathematischen Herausforderungen weckt, die über Fermats Problem hinausgehen.60,98 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.