Lieferung vor Weihnachten: Noch 3 Tage, 6 Stunden
Bookbot

Wolfgang Schreiner

    Concrete Abstractions
    Thinking Programs
    Biographien bedeutender Physiker
    Göttliches Spiel
    • Eine gerichtete Entwicklung hin zu besserer Funktion erfolgt stets durch Selektion nach Änderungen, niemals zuvor. Dieser Selektionsprozess ist für Individuen untrennbar mit Leid verbunden, was die Vorstellung eines gütigen Gottes, der eine derart grausame Methode zur Schöpfung nutzt, in Frage stellt. Zu Beginn wird das Verhältnis zwischen Naturwissenschaft und christlichem Glauben anhand von Diskussionspunkten analysiert, die große öffentliche Aufmerksamkeit erhalten haben. Die ersten fünf Kapitel des ersten Teils behandeln Konzepte der Naturwissenschaften, insbesondere Molekularbiologie, Genetik und Evolutionstheorie, um eine gemeinsame Basis mit LeserInnen der Geisteswissenschaften herzustellen. Im theologischen Teil wird versucht, Erkenntnisse der Molekularbiologie auf theologische Inhalte zu übertragen. Diese neuen Sichtweisen orientieren sich am Wortlaut der Heiligen Schrift und bieten frische Perspektiven auf Erbsünde, Schuld, die Rolle Jesu, sein Opfer und die Erlösung. Die Vorteile einer evolutionären Sichtweise der Theologie werden anhand von Widersprüchen, die bisher bestanden, aufgezeigt. Ein Abschnitt beleuchtet mögliche Zusammenhänge zwischen Schöpfung, Evolution, Intelligenz und Design. Fakten aus der Molekularbiologie werden sowohl evolutionär als auch teleologisch dargestellt. Schließlich wird die Weiterentwicklung theologischer Konzepte als Evolutionsprozess betrachtet und mit Paradigmenwechseln in den Naturw

      Göttliches Spiel
    • Thinking Programs

      Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

      • 672 Seiten
      • 24 Lesestunden

      Focusing on essential principles for software development, this book provides insights aimed at computer scientists, software engineers, and programmers. It emphasizes clarity in programming practices, guiding readers through foundational concepts that enhance code quality and efficiency. The content is designed to improve understanding and application of these principles in real-world scenarios, making it a valuable resource for both novice and experienced developers seeking to refine their skills.

      Thinking Programs
    • Concrete Abstractions

      Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

      • 284 Seiten
      • 10 Lesestunden

      The book focuses on formal modeling of mathematical domains, particularly in discrete mathematics, logic, algebra, and computer science, using a first-order logic-based language. It introduces RISCAL, a mathematical model checker that enables automatic validation of formulas and algorithms. Readers can engage with the content through specification files compatible with the freely available RISCAL software, enhancing their understanding of mathematical theorems and algorithmic correctness while providing practical tools for analysis.

      Concrete Abstractions