Tag: Schlie

Free Download Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen By Professor Dr. Jürgen Avenhaus (auth.)
1995 | 251 Pages | ISBN: 3540585591 | PDF | 10 MB
Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einführung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollständigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren, und 4. prinzipielle Entscheidbarkeit grundlegender Eigenschaften.Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche, übersichtliche Darstellung abgerundet.

Free Download Wahrscheinlichkeitsrechnung und schließende Statistik: Praxisorientierte Einführung Mit Aufgaben und Lösungen By Prof. Dr. Günther Bourier (auth.)
2013 | 382 Pages | ISBN: 3658014466 | PDF | 63 MB
Dieses einführende Lehrbuch zeigt den gesamten Weg von der elementaren Ermittlung von Wahrscheinlichkeiten bis hin zur Erstellung theoretischer Wahrscheinlichkeitsverteilungen. Es erklärt außerdem detailliert den Ablauf des statistischen Schließens, von der Stichprobenauswahl über die Stichprobenauswertung bis hin zur Parameterschätzung und Hypothesenprüfung. Im Vordergrund stehen die Anwendung und praktische Umsetzung statistischer Methoden. Der Autor legt besonderen Wert auf eine anschauliche, verständliche und nachvollziehbare Beschreibung. Zu diesem Zweck werden alle Methoden in klar strukturierter Form Schritt für Schritt und detailliert dargestellt. Übungsaufgaben und Kontrollfragen zu allen Kapiteln vertiefen den Stoff. Für alle rechnerisch zu lösenden Aufgaben ist eine ausführliche Lösung angegeben.

Free Download Wach- & Schließgesellschaft Deutschland: Sicherheitsmentalitäten in der Spätmoderne By Daniela Klimke (auth.)
2008 | 265 Pages | ISBN: 3531158287 | PDF | 2 MB
Das Buch behandelt ein stark diskutiertes Thema der Gegenwart: die Sicherheitsbedürfnisse, Schutzpraktiken, Opfererlebnisse und kriminalpolitischen Forderungen der Bevölkerung. Die Politik der Inneren Sicherheit beruft sich auf die Kriminalitätsfurcht der Bürger und erweitert ihren Verantwortungsbereich mit dem Ziel, sich an der Sicherheitsherstellung zu beteiligen. Die empirische Analyse der spätmodernen Sicherheitsmentalitäten zeigt, dass sich dieser Vorgang nur zögerlich in der Lebenswelt der Subjekte reflektiert. Der Umbau zur Marktgesellschaft schafft jedoch nutzbare Einfallstore für eine verschärfte Sicherheitspolitik.