Custom cover image
Custom cover image

Logik im Klartext / John Kelly

By: 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
Uniform titles:
  • The essence of logic <dt.>
Contained works:
  • Kelly, John, 1940-1995. The essence of logic <dt.>
Subject(s): Genre/Form: DDC classification:
  • 005.131
  • 27 28
RVK: RVK: ST 125
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
Holdings
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

Powered by Koha