Filter by
Flexibility Principles in Boolean Semantics: The Interpretation of Coordinati…
An investigation of the logical flexibility principles needed for a formal semantic account of coordination, plurality, and scope in natural language.Since the early work of Montague, Boolean semantics and its subfield of generalized quantifier theory have become the model-theoretic foundation for the study of meaning in natural languages. This book uses this framework to develop a new semantic…
- Edition
- -
- ISBN/ISSN
- 9780262286374
- Collation
- 1 online resource (x, 297 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Communication Complexity: A New Approach to Circuit Depth
Communication Complexity describes a new intuitive model for studying circuit networks that captures the essence of circuit depth. Although the complexity of boolean functions has been studied for almost 4 decades, the main problems the inability to show a separation of any two classes, or to obtain nontrivial lower bounds remain unsolved. The communication complexity approach provides clues as…
- Edition
- -
- ISBN/ISSN
- 9780262256490
- Collation
- 1 online resource (68 pages).
- Series Title
- -
- Call Number
- -
Number Theory: An Introduction via the Density of Primes
Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbers. This unique approach offers both a firm background in the standard material of number theory, as well as an overview of the entire discipline. All of the essential topics are covered, such as the fundamental theorem of arithmetic, theory of co…
- Edition
- 2
- ISBN/ISSN
- 978-3-319-43873-3
- Collation
- XIII, 413
- Series Title
- -
- Call Number
- -
Dynamics of complex autonomous Boolean networks
This thesis focuses on the dynamics of autonomous Boolean networks, on the basis of Boolean logic functions in continuous time without external clocking. These networks are realized with integrated circuits on an electronic chip as a field programmable gate array (FPGA) with roughly 100,000 logic gates, offering an extremely flexible model system. It allows fast and cheap design cycles and larg…
- Edition
- -
- ISBN/ISSN
- 9783319135786
- Collation
- -
- Series Title
- -
- Call Number
- 512.23
Iterative Solution of Large Sparse Systems of Equations
In the second edition of this classic monograph, complete with four new chapters and updated references, readers will now have access to content describing and analysing classical and modern methods with emphasis on the algebraic structure of linear iteration, which is usually ignored in other literature. The necessary amount of work increases dramatically with the size of systems, so one ha…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28483-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Methods of Solving Nonstandard Problems
This book, written by an accomplished female mathematician, is the second to explore nonstandard mathematical problems – those that are not directly solved by standard mathematical methods but instead rely on insight and the synthesis of a variety of mathematical ideas. It promotes mental activity as well as greater mathematical skills, and is an ideal resource for successful preparation fo…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-19886-6
- Collation
- XXI, 327
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography