Dieser Titel aus dem De Gruyter-Verlagsarchiv ist digitalisiert worden, um ihn der wissenschaftlichen Forschung zugänglich zu machen. Da der Titel erstmals im Nationalsozialismus publiziert wurde, ist er in besonderem Maße in seinem historischen Kontext zu betrachten. Mehr erfahren Sie.

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion. (...) This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handbook aims to capture the full breadth and depth of SAT and to bring together significant progress and advances in automated solving. Topics covered span practical and theoretical research on SAT and its applications and include search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a broad sense, so as well as propositional satisfiability, there are chapters covering the domain of quantified Boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT). An extensive bibliography completes each chapter. This second edition of the handbook will be of interest to researchers, graduate students, final-year undergraduates, and practitioners using or contributing to SAT, and will provide both an inspiration and a rich resource for their work. Edmund Clarke, 2007 ACM Turing Award Recipient: "SAT solving is a key technology for 21st century computer science." Donald Knuth, 1974 ACM Turing Award Recipient: "SAT is evidently a killer app, because it is key to the solution of so many other problems." Stephen Cook, 1982 ACM Turing Award Recipient: "The SAT problem is at the core of arguably the most fundamental question in computer science: What makes a problem hard?". (shrink)

Bei Nietzsches Texten handelt es sich häufig um Reaktionen auf seine breitgestreuten Lektüren. Sein Lesen ist zugleich ein Schreiben, und es verläuft ebenso selektiv und assoziativ wie aneignend: So werden unter Nietzsches Hand etwa Lesefrüchte aus naturwissenschaftlichen Lexika ästhetischen Überlegungen einverleibt oder ethno-anthropologische Fachbücher im Kontext philosophiegeschichtlicher Einordnungsversuche zitiert. Die Interpretation von Nietzsches Schriften ist daher stets auf eine philologisch-differenzierte Quellenarbeit angewiesen, die zugleich auch philosophisch-hermeneutischen Ansprüchen genügt. Nur so findet die spezifische Gemengelage aus Eigenem und Fremdem in Nietzsches Texten (...) ebenso adäquate Berücksichtigung wie die Vielzahl der handschriftlichen Lesespuren in den bis heute erhaltenen Büchern aus seiner persönlichen Bibliothek. In einer Reihe von Überblicksdarstellungen und exemplarischen Fallstudien unternimmt es der Band, Nietzsche im Spiegel seiner Lektüren als äußerst produktiven wie kreativen Leser zu charakterisieren, dessen Voraussetzungsreichtum nicht überschätzt werden kann. (shrink)

Appeal to standard set theory in minimalist syntax is shown to be in conflict with the goal of analyzing dependency formation, a.k.a. movement, as involving genuine constituent copies. The underlying tension is due to extensionality, which—other things being equal—favors a perspective on dependencies in terms of multidominance. The above argument is developed against the backdrop of a recent exposition of minimalist syntax :229–261, 2019), which can be seen as exemplary. The resulting critical assessment should be taken as removing obstacles on (...) the way toward proper minimalist foundations for syntactic theory. (shrink)

Bd. 1. Absicht -Gemeinwohl -- Bd. 2. Gerechtigkeit-Praxis -- Bd. 3. Quantität-Zweifel.

English summary: The investigations in this book are on the problem of the relationship between politics and the economy as objects of the political theory and the economic theory. Both theories are part of the Herrschaftswissen as defined by Max Scheler. They are based on a general theory of action. This theory as well as the political and the economic theory which is developed from the theory of action is understood as a system of categories which contains the laws of (...) the fields concerned. Central categories are the categories of power and domination. The political and economic theory are conceived of as the basis of rational action in politics and in the economy. German description: Welche Beziehungen bestehen zwischen Politik und Wirtschaft als Gegenstanden der politischen und der okonomischen Theorie? Hans Albert widmet sich in seinen Untersuchungen dieser Frage. Er bestimmt sowohl die Politik als auch die Wirtschaft als Teile des Herrschaftswissens im Sinne Max Schelers. Sie werden aus einer allgemeinen Theorie des menschlichen Handelns entwickelt, die anthropologisch begrundet wird. Diese wird ebenso wie die aus ihr hervorgehenden Theorien der Politik und der Wirtschaft in ein System von Kategorien gebracht, welche die Gesetzlichkeiten der betreffenden Bereiche enthalten. Zentrale Kategorien sind die der Macht und der Herrschaft. Die politische und die okonomische Theorie werden als Grundlage rationalen Handelns in beiden Bereichen aufgefasst. (shrink)

This volume is about the positive, ambivalent, null and negative effects in various historical periods by various religious denominations within Christianity, Islam and Hinduism on the attitudes towards human rights of the first, second and third generation.