Modelle sind allgegenwärtig: man begegnet ihnen in Technik, Kunst und Wissenschaft. In diesem Buch erklärt Bernd Mahr, was Modelle sind, wie sie funktionieren und was sie leisten. Eine Person, die ein Maler porträtiert, ein maßstabsgerecht verkleinertes Auto, das im Windkanal getestet wird, ein Satz ...
Modelle sind allgegenwärtig: man begegnet ihnen in Technik, Kunst und Wissenschaft. In diesem Buch erklärt Bernd Mahr, was Modelle sind, wie sie funktionieren und was sie leisten. Eine Person, die ein Maler porträtiert, ein maßstabsgerecht verkleinertes Auto, das im Windkanal getestet wird, ein Satz ...
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker ...
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker ...
Inhalt: Kalenderblätter zu historischen Ereignissen, Aufsätze verschiedener Autoren zu Themen der Mühlhäuser Stadtgeschichte und Region des Unstrut-Hainich-Kreises, Naturkunde, Berichte und Bemerkungen sowie Buch-Rezensionen.
Kalenderblätter
Michael Fiegle: Der Europäische Frauenschuh - Über die Orchidee des Jahres 2010 im Unstrut-Hainich-Kreis, S. 5
Ralf Weise: Der Kormoran – Vogel des Jahres 2010, S. 8
Michael Meißner: Meister Joachim – zum 400. Todestag des Komponisten Joachim von Burck, S. 10
Peter Bühner: Vor 100 Jahren ...
Kultur diesmal nicht als Text! Gewinnen wir einen neuen Blick auf die Kulturgeschichte, wenn wir eine Kultur nicht bloß in der Perspektive ihrer Sprache, Texte, Werke und Monumente betrachten, sondern ihre Kulturtechniken untersuchen? ‚Kulturtechniken’ hier verstanden als jene alltäglichen Praktiken, ...
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker ...