Software-Qualität

Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren? Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen. Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik, hin zu den Grenzen der Mathematik. Das Buch enthält zahlreiche zweifarbige Abbildungen und mehr als 70 Aufgaben (mit Lösungen auf der Website zum Buch). Für die zweite Auflage wurde das Kapitel 'Beweistheorie' thematisch um das Diagonalisierungslemma, den Satz von Tarski, das Berry-Paradoxon sowie den Satz von Löb erweitert.

Verknüpfung von Theorie und Praxis! - Für Bachelor-Studierende geeignet- Zahlreiche Übungsaufgaben und Beispiele- Enge Verknüpfung von Theorie und Praxis- Ideal zum Selbststudium- Anwendungsorientierte und didaktische Aufbereitung des Lernstoffs- Mit Zusatzmaterial zum DownloadDieses Lehrbuch bietet Bachelor-Studierenden der Fachrichtungen Informatik, Elektrotechnik, Informationstechnik und verwandter Studiengänge eine praxisnahe Einführung in die technische Informatik.Inhaltlich richtet es sich dabei nach den typischen Lehrinhalten, die im Grundstudium an Hochschulen und Universitäten vermittelt werden. Durch den anwendungsorientierten und didaktischen Aufbau des Buches kann es sowohl vorlesungsbegleitend als auch zum Selbststudium eingesetzt werden.Neben dem Grundlagenwissen aus den Gebieten der Halbleitertechnik, der Zahlendarstellung und der booleschen Algebra vermittelt das Buch die Entwurfsprinzipien kombinatorischer und sequenzieller Hardware -Komponenten bis hin zur Beschreibung moderner Prozessor- und Speicherarchitekturen. Es spannt dabei den Bogen von den mathematischen Grundlagen digitaler Schaltelemente bis zu ausgefeilten Hardware-Optimierungen moderner Hochleistungscomputer.Zahlreiche Übungen und Beispiele ergänzen und veranschaulichen die Inhalte.Die 7. Auflage wurde komplett durchgesehen und aktualisiert.Aus dem Inhalt//Grundlagen der technischen Informatik/Halbleitertechnik/Zahlendarstellung und Codes/BoolescheAlgebra/Schaltnetze/Schaltwerke/Mikroprozessortechnik/Rechnerstrukturen

Lesebändchen