Tag: Rechnen

Reduktionssysteme Rechnen und Schließen in gleichungsdefinierten Strukturen


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.

(more…)

Grundkurs Mathematik Vom Rechnen zu Algebra und Trigonometrie


Free Download Grundkurs Mathematik: Vom Rechnen zu Algebra und Trigonometrie (BR Telekolleg) von Ferdinand Weber
Deutsch | 3. Juli 2020 | ISBN: 3534272927 | True EPUB/PDF | 204 Seiten | 11.2/20.6 MB
Dieses Lehrbuch ist optimal für alle, die bereits in Vergessenheit geratenen Schulstoff nochmals wiederholen, auffrischen und/oder vertiefen möchten. Es werden so gut wie alle wichtigen Grundlagen der Mathematik behandelt, eine Übersicht über den Stoff gewährleistet, Übungsaufgaben zu den jeweiligen Themengebieten gestellt, sowie Lösungen angegeben, damit der eigene Wissensstand jederzeit getestet werden kann. Des Weiteren wird auf Fehlerquellen und Stolperfallen hingewiesen, was nochmals eine Sicherheit für alle Übenden bietet. Dieses Lehrbuch bietet die optimale Unterstützung für alle die regelmäßig strukturiert Wiederholen und Üben möchten.

(more…)