Benutzerdefiniertes Cover
Logik im Klartext / John Kelly
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Originalsprache: Englisch Reihen: Pearson StudiumVerlag: München [u.a.] : Pearson Education, 2003Beschreibung: 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
Inhalte:
Zusammenfassung: 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
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Exemplarnummer | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Freihandbestand Präsenznutzung | Bibliothek Campus Süd | inf 1.4 | Lesesaal Wirtschaftswissenschaften und Informatik (LSW) | 2003 A 2520 | ;h | Nicht ausleihbar | 48529879090 | |
| Lehrbuchsammlung | Bibliothek Campus Süd | inf 1.4 | Lehrbuchsammlung | 2003 A 2520 | ;i | Verfügbar | 48529915090 | |
| Lehrbuchsammlung | Bibliothek Campus Süd | inf 1.4 | Lehrbuchsammlung | 2003 A 2520 | ;b | Verfügbar | 48572232090 | |
| Lehrbuchsammlung | Bibliothek Campus Süd | inf 1.4 | Lehrbuchsammlung | 2003 A 2520 | ;d | Verfügbar | 48572152090 | |
| Freihandbestand ausleihbar | Fachbibliothek DHBW Karlsruhe | inf 1.4 | Bibliothek / frei aufgestellt | 2003 A 2520 | ;l | Verfügbar | 52190230090 |
Anzahl Vormerkungen: 0