- Table View
- List View
Einführung in die Idealistische Dialektik Hegels: Lehr-/Lerntext (Universitätstaschenbücher #2809)
by Jürgen Naeher
Einführung in die klassische und intensionale Logik
by Ulf FriedrichsdorfDas 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.
Einführung in die Logik
by Helen Bohse Sven RosenkranzLogik für Einsteiger. Die kompakte Einführung in die Aussagen- und Prädikatenlogik erklärt leicht verständlich die logischen Regeln, ihre Interpretation und Anwendung. Beweisstrategien und Fehlschlüsse werden anhand einer Fülle von Beispielen transparent gemacht. 14 Übungsblätter und 3 Klausurenvorschläge mit Lösungen überprüfen den Lernerfolg des erarbeiteten Wissens. Maßgeschneidert auf die Logikseminare im Grundstudium und in den BA-Studiengängen.
Einführung in die Mathematische Logik: Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
by Wolfgang RautenbergDieses Lehrbuch enthält über den Stoff einer einsemestrigen Einführungsvorlesung hinaus auch Material für eine Vorlesung über Logik für Informatiker (speziell logisches Programmieren), sowie in begrenztem Maße auch Basismaterial für eine Fortsetzung der Einführung in die Spezialrichtungen Modelltheorie, Rekursionstheorie und Beweistheorie. Für eine gekürzte Einführung in die Mathematische Logik kombiniert mit einer Einführung in die Mengenlehre empfiehlt sich für den logischen Teil der Stoff der ersten drei Kapitel.Unabhängig von Vorlesungskonzepten ist das Buch auch zum Selbststudium geeignet. Für einen Großteil der Übungen gibt es Lösungshinweise. Außer einer gewissen Schulung im mathematischen Schließen sind spezielle Vorkenntnisse nicht erforderlich; lediglich für Teile der Modelltheorie wären algebraische Grundkenntnisse wünschenswert. Die Verzeichnisse (Stichwörter, Symbole, Literatur) sind ausführlich und kommen der selbständigen Erarbeitung des Stoffes sehr entgegen.Das Buch ist inhaltsreich und flüssig geschrieben. Aus der Literatur bekannte Beweise wurden oft erheblich vereinfacht. Auch werden viele interessante Details präsentiert, die in der Lehrbuchliteratur nur schwer zu finden sind. Beispiele: Fragmente der 1. Stufe (etwa der Birkhoffsche Vollständigkeitssatz) und die Solovayschen Vollständigkeitssätze über Selbstreferenz. Die Gödelschen Unvollständigkeitssätze und ihr Umfeld werden besonders ausführlich behandelt. Nur gelegentlich werden weiterführende Betrachtungen angestellt, die mit Verweisen auf entsprechende Literaturstellen abschließen.
Einführung in die Mathematische Logik: Ein Lehrbuch
by Wolfgang RautenbergDieses Lehrbuch enthält über den Stoff einer einsemestrigen Einführungsvorlesung hinaus auch Material für eine Vorlesung über Logik für Informatiker (speziell logisches Programmieren), sowie in begrenztem Maße auch Basismaterial für eine Fortsetzung der Einführung in die Spezialrichtungen Modelltheorie, Rekursionstheorie und Beweistheorie. Für eine gekürzte Einführung in die Mathematische Logik kombiniert mit einer Einführung in die Mengenlehre empfiehlt sich für den logischen Teil der Stoff der ersten drei Kapitel. Unabhängig von Vorlesungskonzepten ist das Buch auch zum Selbststudium geeignet. Für einen Großteil der Übungen gibt es Lösungshinweise. Außer einer gewissen Schulung im mathematischen Schließen sind spezielle Vorkenntnisse nicht erforderlich; lediglich für Teile der Modelltheorie wären algebraische Grundkenntnisse wünschenswert. Die Verzeichnisse (Stichwörter, Symbole, Literatur) sind ausführlich und kommen der selbständigen Erarbeitung des Stoffes sehr entgegen. Das Buch ist inhaltsreich und flüssig geschrieben. Aus der Literatur bekannte Beweise wurden oft erheblich vereinfacht. Auch werden viele interessante Details präsentiert, die in der Lehrbuchliteratur nur schwer zu finden sind. Beispiele: Fragmente der 1. Stufe (etwa der Birkhoffsche Vollständigkeitssatz) und die Solovayschen Vollständigkeitssätze über Selbstreferenz. Die Gödelschen Unvollständigkeitssätze und ihr Umfeld werden besonders ausführlich behandelt. Nur gelegentlich werden weiterführende Betrachtungen angestellt, die mit Verweisen auf entsprechende Literaturstellen abschließen.
Einführung in die Mathematische Logik: Ein Lehrbuch
by Wolfgang RautenbergDieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch für Fachstudenten der Philosophischen Logik. Für diese Neuauflage wurde der Text sachlich und stilistisch vollständig überarbeitet, er enthält verbesserte Beweise und Übungen mit Lösungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhängig von Vorlesungen aber auch zum Selbststudium genutzt werden.
Einführung in die Mengenlehre: Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo (Springer-Lehrbuch)
by Oliver DeiserDas Buch behandelt die Basis-Resultate der Mengenlehre aus der Zeit Cantors und Zermelos, was etwa den Zeitraum von 1870 - 1930 abdeckt. Die Ideen dieser Zeit bilden das Herz der Disziplin und haben das heutige Bild der Mathematik entscheidend mit geprägt.Ziel ist, die zentralen Konzepte und Probleme der Mengenlehre - Mächtigkeiten, Kardinalzahlen, Kontinuumsproblem, Wohlordnungen, transfinite Zahlen und transfinite Rekursion, mengentheoretische Untersuchungen von R - in ihrem Wesen begreifbar zu machen. Eine Axiomatik wird in Übereinstimmung mit der historischen Entwicklung erst dann eingeführt, wenn die Theorie bereits weit gediehen ist und nach einem stabilen Fundament verlangt. Schließlich wird die Axiomatik in einen formalen Rahmen eingebettet, was Resultate über die Grenzen des Gebäudes ermöglicht (wie z.B. die Unabhängigkeit der Kontinuumshypothese). Das Buch wendet sich an Studenten (Lehramt und Diplom) und Dozenten der Mathematik.Jetzt in verbesserter und erweiterter Auflage.
Einführung in die Mengenlehre: Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo (Springer-Lehrbuch)
by Oliver DeiserDas Buch, das nun in dritter, korrigierter Auflage vorliegt, behandelt die Basis-Resultate der Mengenlehre aus der Zeit Cantors und Zermelos, was etwa den Zeitraum von 1870 - 1930 abdeckt. Die Ideen dieser Zeit bilden das Herz der Disziplin und haben das heutige Bild der Mathematik entscheidend mit geprägt. Ziel ist, die zentralen Konzepte und Probleme der Mengenlehre - Mächtigkeiten, Kardinalzahlen, Kontinuumsproblem, Wohlordnungen, transfinite Zahlen und transfinite Rekursion, mengentheoretische Untersuchungen von R - in ihrem Wesen begreifbar zu machen. Eine Axiomatik wird in Übereinstimmung mit der historischen Entwicklung erst dann eingeführt, wenn die Theorie bereits weit gediehen ist und nach einem stabilen Fundament verlangt. Schließlich wird die Axiomatik in einen formalen Rahmen eingebettet, was Resultate über die Grenzen des Gebäudes ermöglicht (wie z.B. die Unabhängigkeit der Kontinuumshypothese). Das Buch wendet sich an Studierende und Dozenten der Mathematik.>
Einführung in die Mengenlehre
by Heinz-Dieter EbbinghausDie Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlagendisziplin, die für alle mathematischen Gebiete ein begriffliches Gerüst bereithält. In dieser Universalität offenbart sich eine große Tragweite des Mengenbegriffs und seiner Axiomatisierung. Die vorliegende Einführung gibt daher nicht nur einen Einblick in die Theorie und belegt deren Bedeutung für die Mathematik, sie behandelt auch Methoden und Ergebnisse, die auf eine möglichst weitgehende Rechtfertigung der mengentheoretischen Axiomsysteme zielen. Geschichtliche und erkenntnistheoretische Betrachtungen runden das Bild ab. Das Buch setzt keine spezifischen mathematischen Kenntnisse voraus. Es richtet sich an alle, die an den Grundlagen der Mathematik interessiert und mit Gedankengängen mathematischer Prägung vertraut sind. Rund 200 Übungsaufgaben mit Lösungshinweisen bieten eine zusätzliche Hilfe, insbesondere dann, wenn man das Buch zur eigenständigen Erarbeitung des dargebotenen Stoffes nutzen möchte. Die Neuauflage ist vollständig durchgesehen und enthält jetzt eine systematische Behandlung der konstruktiblen Hierarchie, die Beweise der relativen Widerspruchsfreiheit des Auswahlaxioms und der Cantorschen Kontinuumshypothese erlaubt.
Einführung in die Methode Branch and Bound (Lecture Notes in Economics and Mathematical Systems #4)
by Franz Weinberg Eidgenössische Technische HochschuleEs gibt eine grosse Menge von betriebswirtschaftlichen Entscheidungsfragen, die sich mit den nunmehr bereits als herkömmlich geltenden Optimierungs methoden des Operations Research nicht behandeln la ssen, sei es beispiels weise, dass die Zielfunktion und au ch einzelne Restriktionen nicht Konvex sind, sei es, dass nur ganzzahlige Lösungen toleriert werden, sei es, dass die von einzelnen Variablen angenommenen Zahlenwerte Einfluss auf die Gültigkeit ganzer Restriktionengruppen nehmen. So wachsen z,B. die Kosten der Lagerhaltung als Sprungfunktion mit der Er richtung jedes zusätzlichen Warenhauses und sie nehmen für jedes bestehende Warenhaus meist konkav mit der Quantität der gelagerten Güter zu. Dieser nicht-konvexe Charakter kann sich in einer Zielfunktion (Kosten-Minimierung) oder in einer Restriktion äussern (Nicht-Ueberschreitung einer Kostenlimite) . Die Anzahl von Warenhäusern ist offenbar eine ganze Zahl, deren Optimum unter Angabe der zugehörigen geographischen Standorte gesucht werden mag. Die Notwendigkeit der Berücksichtigung ortsgebundener Restriktionen für einzelne Warenhäuser (z.B. Provenienzvorschriften betreffend deren eigene Güterversorgung) ist vom Werte der logischen Variablen abhängig, der angibt, ob ein bestimmtes Warenhaus errichtet werden soll oder nicht. Es würde nicht schwer fallen, eine lange Liste von derartigen Problemen au f zuzählen, die alle sehr erhebliche finanzielle Bedeutung für eine Unternehmung annehmen. Diese Probleme haben schon immer bestanden; es ist interessant, dass sie in letzter Zeit immer häufiger genannt werden und der Ruf nach ihrer Lösung mit immer grösserer Dringlichkeit ertönt.
Einführung in die Operative Logik und Mathematik (Grundlehren der mathematischen Wissenschaften #78)
by Paul Lorenzen
Einführung in die operative Logik und Mathematik (Grundlehren der mathematischen Wissenschaften #78)
by Paul Lorenzen
Einführung in die Phänomenologie der Erkenntnis. Vorlesung 1909 (Husserliana: Edmund Husserl – Materialien #7)
by Edmund HusserlDer vorliegende Band enthält den Text der Vorlesung, die Husserl unter dem Titel "Einführung in die Phänomenologie der Erkenntnis" in Göttingen im Sommersemester 1909 gehalten hat. Im ersten Teil dieser Vorlesung setzt Husserl sich mit dem Verhältnis von "allgemeiner Phänomenologie und phänomenologischer Philosophie" auseinander. Nicht nur in diesem Titel, sondern auch in seinem Inhalt enthält dieser Teil eine Vorzeichnung des Gedankengangs der Ideen. Der zweite Teil der Vorlesung ist speziellen Wahrnehmungsanalysen gewidmet, die sich an die entsprechenden Untersuchungen im ersten Teil der Vorlesung von 1904/1905 (Husserliana XXXVIII) und in der Dingvorlesung von 1907 (Husserliana XVI) anschließen und diese fortführen.
Einführung in die Philosophie der Mathematik
by Jörg NeunhäusererWelche Art von Gegenständen untersucht die Mathematik und in welchem Sinne existieren diese Gegenstände? Warum dürfen wir die Aussagen der Mathematik zu unserem Wissen zählen und wie lassen sich diese Aussagen rechtfertigen? Eine Philosophie der Mathematik versucht solche Fragen zu beantworten. In dieser Einführung stellen wir maßgebliche Positionen in der Philosophie der Mathematik vor und formulieren die Essenz dieser Positionen in möglichst einfachen Thesen. Der Leser erfährt, auf welche Philosophen eine Position zurückgeht und in welchem historischen Kontext diese entstand. Ausgehend von Grundintuitionen und wissenschaftlichen Befunden lässt sich für oder gegen eine These in der Philosophie der Mathematik argumentieren. Solche Argumente bilden den zweiten Schwerpunkt dieses Buchs. Das Buch soll den Leser dazu anregen, über die Philosophie der Mathematik nachzudenken und eine eigene Position zu formulieren und für diese zu argumentieren. Die zweite Auflage ist vollständig durchgesehen und um ein Kapitel zum Idealismus ergänzt.
Einführung in die Philosophie der Mathematik
by Jörg NeunhäusererWelche Art von Gegenständen untersucht die Mathematik und in welchem Sinne existieren diese Gegenstände? Warum dürfen wir die Aussagen der Mathematik zu unserem Wissen zählen und wie lassen sich diese Aussagen rechtfertigen? Eine Philosophie der Mathematik versucht solche Fragen zu beantworten. In dieser Einführung stellen wir maßgebliche Positionen in der Philosophie der Mathematik vor und formulieren die Essenz dieser Positionen in möglichst einfachen Thesen. Der Leser erfährt, auf welche Philosophen eine Position zurückgeht und in welchem historischen Kontext diese entstand. Ausgehend von Grundintuitionen und wissenschaftlichen Befunden lässt sich für oder gegen eine These in der Philosophie der Mathematik argumentieren. Solche Argumente bilden den zweiten Schwerpunkt dieses Buchs. Das Buch soll den Leser dazu anregen, über die Philosophie der Mathematik nachzudenken und eine eigene Position zu formulieren und für diese zu argumentieren.
Einführung in die Politische Theologie (essentials)
by Jan Niklas Collet Jan-Hendrik HerbstPolitische Theologie erlebt derzeit ein Revival: Nachdem es eine längere Zeit lang still um die Politische Theologie geworden war, erfreut sie sich – nicht zuletzt angesichts multipler Krisenerscheinungen – aktuell wieder eines wachsenden Interesses. Aber was ist „Politische Theologie“ eigentlich? Die Einführung bietet eine begriffsgeschichtliche Orientierung und systematische Einordnung dieses schillernden Begriffs, eine vertiefende Auseinandersetzung mit den Politischen Theologien des Staatsrechtlers Carl Schmitt und des katholischen Theologen Johann Baptist Metz sowie eine Reflexion ausgewählter gegenwärtiger Diskussionsbeiträge in der deutschsprachigen katholischen Theologie. Das Buch verdeutlicht die ungebrochene Aktualität und Relevanz fundierter wissenschaftlicher und öffentlicher Auseinandersetzungen mit der Politischen Theologie.
Einführung in die politischen Theorien der Gegenwart
by Jürgen Hartmann Bernd MeyerDiese Einführung bietet eine kurze, systematische und leicht verständliche Geschichte und Darstellung der wichtigsten politischen Theorien der Gegenwart.
Einführung in die Religionsphilosophie (Aus Natur und Geisteswelt #225)
by Paul KalweitDieser 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.
Einführung in die symbolische Logik: mit besonderer Berücksichtigung ihrer Anwendungen
by Rudolf Carnap
Einführung in die symbolische Logik: mit besonderer Berücksichtigung ihrer Anwendungen
by Rudolf CarnapIn der Gestalt der symbolischen oder mathematischen Logik oder Logistik hat die Logik seit etwa 100 Jahren eine völlig neue Form an genommen. Die Verwendung von Symbolen ist zwar das auffallendste Merkmal der neuen Logik, aber nicht das wesentlichste. Wichtiger sind die Exaktheit der Formulierung, die große Ausdehnung des Gebietes, ins besondere in der Theorie der Relationen und der Begriffe höherer Stufen, und die vielfältige Anwendungsmöglichkeit der neuen Methoden. In den letzten Jahrzehnten ist daher das Interesse an der symbolischen Logik in weiteren Kreisen wachgeworden, besonders unter Philosophen und Mathematikern, aber auch unter den Fachwissenschaftlern, die an der Analyse der Begriffe ihrer Fachwissenschaften interessiert sind. Ins besondere in den Vereinigten Staaten ist die symbolische Logik heute ein anerkanntes Fachgebiet in Forschung und Unterricht; hier betrachten die meisten Autoren, die über Philosophie der Erkenntnis, Sprachanalyse, Methodenlehre der Wissenschaft, Grundlagen der Mathematik, axioma. tische Methode und ähnliches schreiben, die symbolische Logik als ein unentbehrliches Hilfsmittel. Dieses Buch möchte dazu beitragen, das Interesse an der symbolischen Logik in den deutschsprachigen Ländern zu fördern. Es unterscheidet sich von den übrigen Lehrbüchern, die meist in englischer Sprache erschienen sind, hauptsächlich in folgenden Punkten. Hier werden nicht nur, wie sonst üblich, die elementaren Teile der Theorie dargestellt, sondern auch ausführlich die höheren Gebiete, besonders die Logik der Relationen, die für die Anwendung besonders wichtig sind. Ferner ist der ganze Teil II der Anwendung der symbolischen Logik gewidmet.
Einführung in die symbolische Logik: mit besonderer Berücksichtigung ihrer Anwendungen
by Rudolf Carnap
Einführung in die theoretische Philosophie
by Johannes HübnerWissen, Sprache, Existenz und Geist sind die Kernthemen der theoretischen Philosophie, die in den Disziplinen Erkenntnistheorie, Sprachphilosophie, Metaphysik und Philosophie des Geistes behandelt werden. In vier umfangreichen Kapiteln gibt der Autor eine grundlegende und anschauliche Einführung in die genannten Disziplinen, erklärt die zentralen Fragen, Begriffe und Methoden und diskutiert einschlägige Positionen und Argumente. Im zweifarbigen Layout mit zahlreichen Definitionen, Beispielen, Argumentationsanalysen und Vertiefungen.
Einführung in die Theorie der kognitiven Kommunikation: Wie Sprache, Information, Energie, Internet, Gehirn und Geist zusammenhängen
by Werner RupprechtKognitive Kommunikation dient Menschen und Maschinen zum Wissenserwerb. Der Zuwachs an Wissen besteht dabei in der gewonnenen Information der empfangenen Signale. Maschinensprachen und von Menschen gesprochene natürliche Sprachen unterscheiden sich darin, dass die Signale von Maschinensprachen scharf definierte Bedeutungen haben, während die Bedeutungen von Signalen der natürlichen Sprachen in hohem Maß unscharf sind. Werner Rupprecht legt dar, wie unscharfe Bedeutungen in den Hirnen von Menschen entstehen, und dass paradoxerweise wegen dieser Unschärfen Menschen fähig sind, Erkenntnisse zu gewinnen, die Maschinen nicht gelingen. Er erläutert im Detail Zusammenhänge zwischen informationstheoretischer Entropie, thermodynamischer Entropie und Energie, beschreibt die Sinnesorgane von Menschen, die Verarbeitung von Signalen in neuronalen Netzen und Maschinen, die Entwicklung von Medien, insbesondere des Internets, und diskutiert die Rolle eines immateriellen Geistes.
Einführung in die Wissenschaften: Wissenschaftstypen - Deutungskämpfe - Interdisziplinäre Kooperation (Science Studies)
by Werner KoggePluralistische Wissenschaftstheorie ist kein etabliertes Format. Herkömmliche Darstellungen nehmen meist die Perspektive einer einzelnen Ausprägung von Wissenschaft ein, verbunden mit impliziten Wertungen und unbefragten Präferenzen. So belasten Kämpfe um Deutungshoheit notorisch die kooperative Forschung. Werner Kogge entfaltet demgegenüber einen neuen Ansatz: Er zeichnet nach, wie sich aus mehreren historischen Quellen verschiedene Typen wissenschaftlicher Forschung ausprägten, und wie diese Typen heute praktiziert werden. So entsteht ein Bild unterschiedlicher, aber gleichberechtigter Formen wissenschaftlicher Forschungspraxis, ohne hierarchische Staffelung oder eine evolutionäre Entwicklungslinie. Mit dieser Pluralität kommt auch eine neue Form von Interdisziplinarität in den Blick: strukturell, modular und praxisbezogen.
