Format:
321 S.
,
graph. Darst.
,
23 cm
ISBN:
3827370701
Series Statement:
Pearson Studium
Uniform Title:
The essence of logic 〈dt.〉
Content:
Der Band will die für die theoretische Informatik erforderlichen Grundlagen aus der formalen Logik vermitteln, greift aber deutlich darüber hinaus. Der Autor behandelt nicht nur die Syntax und Semantik der Aussagen- und Prädikatenlogik im Umfang des für Programmstrukturen Nötigen. Er diskutiert ausführlich darüber hinausgehende Aspekte, fügt historische Rückblenden an und lässt sich auf reizvolle Randgebiete ein, etwa die Theorie des natürlichen Schließens von Gentzen. Anschauliche und motivierende Beispiele gehen jeweils der strengen Formalisierung voraus. Eine Fülle von Aufgaben durchsetzt den Text; sie dienen der Selbstkontrolle, vermitteln aber auch zusätzliche Einsichten. Lösungen findet man teils im Anhang, teils im Internet. Der ohne Vorkenntnisse verständliche, mit Engagement und Einfühlungsvermögen verfasste Band kann für das Studium an Hoch- und Fachhochschulen, aber auch bereits an Schulen sehr empfohlen werden. (2 S)
Note:
Aus dem Engl. übers
,
Literaturverz. S. 317 - 318
Language:
German
Subjects:
Computer Science
Keywords:
Mathematische Logik
;
Mathematische Logik
;
Mathematische Logik
;
Lehrbuch
;
Aufgabensammlung
;
Lehrbuch
;
Aufgabensammlung
;
Aufgabensammlung
;
Lehrbuch