Formale Methoden und kleine Systeme / XTheorie der Informatik (PDF)
Lernen, leben und arbeiten in formalen Umgebungen
Dieses Buch von Dirk Siefkes zeigt wieder einmal mehr, daß die Beschäftigung mit den logischen und systematischen Grundlagen der Theoriebildung in der Informatik das Verständnis vertiefen und gleichzeitig Freude machen kann. Siefkes Plädoyer für eine kluge...
sofort als Download lieferbar
eBook (pdf)
38.66 €
19 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formale Methoden und kleine Systeme / XTheorie der Informatik (PDF)“
Dieses Buch von Dirk Siefkes zeigt wieder einmal mehr, daß die Beschäftigung mit den logischen und systematischen Grundlagen der Theoriebildung in der Informatik das Verständnis vertiefen und gleichzeitig Freude machen kann. Siefkes Plädoyer für eine kluge Verwendung "kleiner Systeme" wie auch für eine "Wende zur Phantasie" belegen, daß auch eingefleischte "Praktiker" unter den Informatikern folgenreiche Anregungen von einem weitblickenden Theoretiker erwarten können. Die einzelnen Kapitel des Buches bilden jeweils selbständige Einheiten, die je nach dem persönlichen Interesse des Lesers in beliebige Reihenfolge gelesen werden können. Am Ende entsteht so ein Ganzes, das die Arbeit und das Lernen mit "formalisierten Umgebungen" in vielfacher Hinsicht transparent werden läßt.
Autoren-Porträt von Dirk Siefkes
Professor Dr. Dirk Siefkes lehrt an der TU Berlin am Fachbereich Informatik. Er ist Autor des bei Vieweg 1990 erschienenen Lehrbuches "Formalisieren und Beweisen - Logik für Informatiker".
Bibliographische Angaben
- Autor: Dirk Siefkes
- 2013, 1993, 190 Seiten, Deutsch
- Verlag: Vieweg+Teubner Verlag
- ISBN-10: 3322849236
- ISBN-13: 9783322849236
- Erscheinungsdatum: 08.03.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 26 MB
- Ohne Kopierschutz
- Vorlesefunktion
Kommentar zu "Formale Methoden und kleine Systeme / XTheorie der Informatik"
0 Gebrauchte Artikel zu „Formale Methoden und kleine Systeme / XTheorie der Informatik“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formale Methoden und kleine Systeme / XTheorie der Informatik".
Kommentar verfassen