Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Physica Sacra: Wunder, Naturwissenschaft und historischer Schriftsinn zwischen Mittelalter und Früher Neuzeit
Was it a whale or a shark that devoured Jonah? And how were the walls of Jericho brought down? In his wide-ranging study, Physica Sacra, Bernd Roling shows that the natural sciences and biblical exegesis have not always stood in stark opposition to one another. From the high Middle Ages, Bible commentators such as Albertus Magnus and Alonso Tostado made extensive use of the knowledge available in their times about zoology, medicine and astronomy to explain the wonders of revelation and to defend their historical basis. Even with the advent of modern Biblical criticism and in the age of Enlightenment, as is shown here in detail, their arguments were valid enough to refute critics like Spinoza, Isaac de la Peyrère and Voltaire.
Space in Weak Propositional Proof Systems
This book considers logical proof systems from the point of view of their space complexity. After an introduction to propositional proof complexity the author structures the book into three main parts. Part I contains two chapters on resolution, one containing results already known in the literature before this work and one focused on space in resolution, and the author then moves on to polynomial calculus and its space complexity with a focus on the combinatorial technique to prove monomial space lower bounds. The first chapter in Part II addresses the proof complexity and space complexity of the pigeon principles. Then there is an interlude on a new type of game, defined on bipartite graphs, essentially independent from the rest of the book, collecting some results on graph theory. Finally Part III analyzes the size of resolution proofs in connection with the Strong Exponential Time Hypothesis (SETH) in complexity theory. The book is appropriate for researchers in theoretical computer science, in particular computational complexity.
Private Libraries and their Documentation, 1665–1830
The essays in Private Libraries and their Documentation revolve around the users and contents of early modern private book collections, and around the sources used to document and study these collections. They take the reader from large-scale projects on historical book ownership to micro-level research conducted on individual libraries, and from analyses of specific types of primary sources to general typologies and overviews by period and by region. As a result of its comparative approach and active engagement with questions regarding the nature, selection and accessibility of sources, the volume serves as a guide to sources and resources in different regions as well as to state-of the-art methods and interpretational approaches. Publication of this volume in open access was made possible by the Ammodo KNAW Award 2017 for Humanities.
