Vielwertige Logik: Eine mathematische und rechnerische Einführung. Zweite Auflage

Bewertung:   (5,0 von 5)

Vielwertige Logik: Eine mathematische und rechnerische Einführung. Zweite Auflage (M. Augusto Luis)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.

Originaltitel:

Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition

Inhalt des Buches:

Vielwertige Logiken sind Logiken, die mehr als die beiden klassischen Wahrheitswerte, nämlich wahr und falsch, haben.

Tatsächlich können sie drei bis unendlich viele Wahrheitswerte haben. Diese Eigenschaft bietet zusammen mit der Wahrheitsfunktionalität einen leistungsfähigen Formalismus für Schlussfolgerungen in Situationen, in denen die klassische Logik - ebenso wie andere nicht-klassische Logiken - nicht weiterhilft. Ursprünglich philosophisch motiviert, erwiesen sich diese Logiken bald als relevant für eine Vielzahl von Anwendungen, die von der Schalttheorie bis zur kognitiven Modellierung reichen, und sie sind heute gefragter denn je, da man erkannt hat, dass Inkonsistenz und Vagheit in Wissensbasen und Informationsprozessen nicht nur unvermeidlich und akzeptabel, sondern vielleicht sogar willkommen sind.

Die wichtigsten modernen Anwendungen der (beliebigen) Logik sind im digitalen Computer zu finden, und wir benötigen daher das praktische Wissen, wie man Entscheidungen (d. h. Schlussfolgerungen) in vielwertigen Logiken computerisiert - was auch bedeutet, dass sie automatisiert werden -. Dies wiederum erfordert eine mathematische Grundlage für diese Logiken. Dieses Buch bietet sowohl diese mathematische Grundlage als auch dieses praktische Wissen in einem strengen, aber dennoch zugänglichen Text, während es gleichzeitig diese Logiken in den Kontext des Erfüllbarkeitsproblems und der automatisierten Deduktion einordnet.

Der Haupttext wird durch eine große Auswahl an Übungen ergänzt, ein Plus für den Leser, der nicht nur etwas über die vielwertigen Logiken lernen, sondern auch etwas mit ihnen machen möchte.

Die vorliegende zweite Auflage verbessert die erste durch korrigierte Ergänzungen und Errata, eine einheitlichere Notation, hinzugefügte Schlüsselkonzepte wie "fuzzy set" und "free for", bessere Abbildungen und einen völlig neu gestalteten, umfassenderen Index.

Weitere Daten des Buches:

ISBN:9781848902503
Autor:
Verlag:
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Vielwertige Logik: Eine mathematische und rechnerische Einführung. Zweite Auflage - Many-Valued...
Vielwertige Logiken sind Logiken, die mehr als die...
Vielwertige Logik: Eine mathematische und rechnerische Einführung. Zweite Auflage - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Sprachen, Maschinen und klassisches Rechnen - Languages, Machines, and Classical...
Languages, machines, and classical computation ist ein neues...
Sprachen, Maschinen und klassisches Rechnen - Languages, Machines, and Classical Computation
Computergestützte Logik: Band 1: Klassisches Deduktives Rechnen mit klassischer Logik. Zweite...
Obwohl eine Reihe neuerer technologischer...
Computergestützte Logik: Band 1: Klassisches Deduktives Rechnen mit klassischer Logik. Zweite Auflage - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Logische Folgerungen: Theorie und Anwendungen: Eine Einführung. 2. Auflage - Logical Consequences:...
Die Theorie der logischen Konsequenz ist von...
Logische Folgerungen: Theorie und Anwendungen: Eine Einführung. 2. Auflage - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Formale Logik: Klassische Probleme und Beweise - Formal Logic: Classical Problems and...
In der Logik geht es zweifellos um Beweise, aber...
Formale Logik: Klassische Probleme und Beweise - Formal Logic: Classical Problems and Proofs

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)