Logik im Klartext / John Kelly
Resource type: Ressourcentyp: BuchBookLanguage: German Original language: English Series: Pearson StudiumPublisher: München [u.a.] : Pearson Education, 2003Description: 321 S. : graph. Darst. ; 23 cmISBN:- 3827370701
- The essence of logic <dt.>
- Kelly, John, 1940-1995. The essence of logic <dt.>
- 005.131
- 27 28
Contents:
Summary: 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)Call number: Grundsignatur: 2003 A 2520PPN: PPN: 363014853
Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|---|
Lehrbuchsammlung | Bibliothek Campus Süd | inf 1.4 | Lehrbuchsammlung | 2003 A 2520 | ;b | Available | 48572232090 | |||
Lehrbuchsammlung | Bibliothek Campus Süd | inf 1.4 | Lehrbuchsammlung | 2003 A 2520 | ;d | Available | 48572152090 | |||
Freihandbestand Präsenznutzung | Bibliothek Campus Süd | inf 1.4 | Lesesaal Wirtschaftswissenschaften und Informatik (LSW) | 2003 A 2520 | ;h | Not for loan | 48529879090 | |||
Lehrbuchsammlung | Bibliothek Campus Süd | inf 1.4 | Lehrbuchsammlung | 2003 A 2520 | ;i | Available | 48529915090 | |||
Freihandbestand ausleihbar | Fachbibliothek DHBW Karlsruhe | inf 1.4 | Bibliothek / frei aufgestellt | 2003 A 2520 | ;l | Available | 52190230090 |
Total holds: 0