This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics.
Wie ist ein Ring definiert, wann kann man Grenzprozesse vertauschen, was sind lineare Ordnungen und wozu benötigt man das Zornsche Lemma in der Linearen Algebra?
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.
Soft computing encompasses various computational methodologies, which, unlike conventional algorithms, are tolerant of imprecision, uncertainty, and partial truth.
Die wichtigsten mathematischen Formeln und Begriffe aus dem Gebiet Analysis für Studierende der Ingenieurwissenschaften und verwandter Richtungen werden präsentiert.
Dieses Lehrbuch wendet sich an Leser ohne Studienvorkenntnisse, gibt eine elementare Einführung in die Diskrete Mathematik und die Welt des mathematischen Denkens und führt den Leser auf ein solides Hochschulniveau.
Marieke Roskam entwickelt und erprobt ein Unterrichtskonzept zur Ausbildung eines „Prä-algebraischen Struktursinnes“, welches das erforderliche abstrakte Denken für die Algebra in der Mittelstufe anregen kann.
Wer glaubt, dass sich Rechnen auf trockene Formeln und Zahlen beschränkt, wird mit „Aspekte des Unendlichen – Eine kleine Erzählung für Nichtmathematiker“ sein blaues Wunder erleben.
Carsten Rösnick legt seiner Arbeit die Frage nach der algorithmischen Komplexität der approximativen Berechnung von Operatoren aus Geometrie, Topologie und Analysis zugrunde.
Achim Mees untersucht Fragen zur Robustheit von Konfidenzbereichen und statistischen Tests, wobei der Fokus auf Konfidenzbereichen und Tests für den Erwartungswert unabhängiger identisch verteilter Beobachtungsgrößen liegt.
Dieses Buch wendet sich an Leser ohne Studienvorkenntnisse, gibt eine elementare Einführung in die Diskrete Mathematik und die Welt des mathematischen Denkens und führt den Leser auf ein solides Hochschulniveau.
Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie für wissenschaftliche Bibliotheken, akademische Institutionen und Firmen sowie interessierte Individualkunden in Forschung und Lehre gedacht.
In diesem Buch nimmt der britische Mathe-Guru seine Leser mit auf eine Reise durch das Reich der Zahlen – reelle, rationale, irrationale, komplexe; ganz, ganz kleine und unendlich große, Fraktale, Logarithmen, Hochzahlen, Primzahlen, Kusszahlen und viele mehr.
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.
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.
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.
Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden.
Die zentrale Aufgabe einer zukunftsorientierten Computerlinguistik ist die Entwicklung kognitiver Maschinen, mit denen Menschen in ihrer jeweiligen Sprache frei reden können.
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.
