Kategoria BISAC: Mathematics >> Discrete Mathematics

Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory. With plenty of exercises, this book presents classical notions of mathematical logic, such as decidability, completeness and incompleteness, as well as new ideas brought by complexity theory such as NP-completeness, randomness and approximations, providing a better understanding for efficient algorithmic solutions to problems.

Divided into three parts, it covers:

- Model Theory and Recursive Functions - introducing...

A q-clan with q a power of 2 is equivalent to a certain generalized quadrangle with a family of subquadrangles each associated with an oval in the Desarguesian plane of order 2. It is also equivalent to a flock of a quadratic cone, and hence to a line-spread of 3-dimensional projective space and thus to a translation plane, and more. These geometric objects are tied together by the so-called Fundamental Theorem of q-Clan Geometry. The book gives a complete proof of this theorem, followed by a detailed study of the known examples. The collineation groups of the associated generalized...

The terminology covers all the major branches from elementary to advanced subjects: arithmetic, algebra, geometry, set theory, discrete mathematics, logic, Boolean algebra, linear algebra, matrix algebra,...

This book constitutes the refereed proceedings of the 9th European Conference on Artificial Life, ECAL 2007, held in Lisbon, Portugal. The 125 revised full papers cover morphogenesis and development, robotics and autonomous agents, evolutionary computation and theory, cellular automata, models of biological systems and their applications, ant colony and swarm systems, evolution of communication, simulation of social interactions, self-replication, artificial chemistry.

The primary objective of this essential text is to emphasize the deep relations existing between the semiring and dioid structures with graphs and their combinatorial properties. It does so at the same time as demonstrating the modeling and problem-solving flexibility of these structures. In addition the book provides an extensive overview of the mathematical properties employed by "nonclassical" algebraic structures which either extend usual algebra or form a new branch of it.

An ideal text for researchers and professionals alike, this book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers are presented together with nine revised short papers and three invited lectures. All of these were carefully selected during two rounds of reviewing and improvement from a total of 79 submissions.

This book constitutes the refereed proceedings of the Second International Workshop on Algorithms and Computation, WALCOM 2008, held in Dhaka, Bangladesh, in February 2008.

The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 57 submissions. The papers feature original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings and graph algorithms, parallel and distributed algorithms, string algorithms, computational geometry, graphs in bioinformatics and computational biology. The papers...

The book constitutes the refereed proceedings of the 4th International Conference on Distributed Computing in Sensor Systems, DCOSS 2008, held on Santorini Island, Greece, in June 2008.

The 29 revised full papers and 12 revised short papers presented were carefully reviewed and selected from 116 submissions. The papers propose a multitude of novel algorithmic design and analysis techniques, systematic approaches and application development methodologies for distributed sensor networking. The papers cover aspects including energy management, communication, coverage and tracking, time...

Stochastic geometry deals with models for random geometric structures. Its early beginnings are found in playful geometric probability questions, and it has vigorously developed during recent decades, when an increasing number of real-world applications in various sciences required solid mathematical foundations. Integral geometry studies geometric mean values with respect to invariant measures and is, therefore, the appropriate tool for the investigation of random geometric structures that exhibit invariance under translations or motions. Stochastic and Integral Geometry provides the...

Das Gebiet des Zahlens von Gitterpunkten in Polytopen," auch Ehrhart-Theorie genannt, bietet verschiedene Verbindungen zu elementarer endlicher Fourier-Analysis, Erzeugendenfunktionen, dem Munzenproblem von Frobenius, Raumwinkeln, magischen Quadraten, Dedekind-Summen, algorithmischer Geometrie und mehr. Die Autoren haben mit dem Buch einen roten Faden geknupft, der diese Verbindungen aufzeigt und so die grundlegenden und dennoch tiefgehenden Ideen aus diskreter Geometrie, Kombinatorik und Zahlentheorie anschaulich verbindet.

Mit 250 Aufgaben und offenen Problemen fuhlt sich der...