Zeitgenössische Logik und Datenverarbeitung

Bewertung:   (5,0 von 5)

Zeitgenössische Logik und Datenverarbeitung (Adrian Rezus)

Leserbewertungen

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

Originaltitel:

Contemporary Logic and Computing

Inhalt des Buches:

Der vorliegende Band geht auf einen Buchvorschlag zurück, der vor etwa zwei Jahren bei College Publications in London eingereicht wurde. Der Hauptgedanke war, das Zusammenspiel zwischen der zeitgenössischen Arbeit in der Logik und der Mainstream-Mathematik zu illustrieren.

Die Aufteilung des Bandes in zwei Abschnitte - Themen der „Logik“ und Themen der „Informatik“ - ist mehr oder weniger konventionell. Einige Beiträge konzentrieren sich auf historische und technische Details, um den Einfluss der Arbeit einiger herausragender Mathematiker und Philosophen auf die zeitgenössische Forschung in Logik und Informatik zu verdeutlichen. Einige andere Beiträge, ebenfalls mit historischem Bezug, sollten punktuelle Forschungsmethoden und spezifische Konzepte oder Themen aufzeigen, wie z. B. Entscheidbarkeit, Berechenbarkeit, Zufälligkeit und rechnerische oder deskriptive Komplexität. Im Allgemeinen waren die Beiträge als spezifische Ergebnisübersichten gedacht.

Andere Bände - die später in derselben Reihe erscheinen werden - werden hoffentlich Aspekte der zeitgenössischen Logiklandschaft beschreiben, die hier nicht dargestellt wurden.

Das Buch richtet sich an Studenten der mathematischen Logik, der Grundlagen der Mathematik und der Informatik sowie an Philosophen, Mathematiker und möglicherweise auch an andere Wissenschaftler, die sich für die jüngste Forschung im Bereich Logik und Informatik interessieren.

Weitere Daten des Buches:

ISBN:9781848903401
Autor:
Verlag:
Sprache:Englisch
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Witness Theory: Anmerkungen zu λ-Kalkül und Logik - Witness Theory: Notes on λ-calculus and...
Dieses Buch befasst sich mit der mathematischen...
Witness Theory: Anmerkungen zu λ-Kalkül und Logik - Witness Theory: Notes on λ-calculus and Logic
Zeitgenössische Logik und Datenverarbeitung - Contemporary Logic and Computing
Der vorliegende Band geht auf einen Buchvorschlag zurück, der vor etwa...
Zeitgenössische Logik und Datenverarbeitung - Contemporary Logic and Computing

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)