You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume contains the proceedings of the AMS-ASL Special Session on Model Theoretic Methods in Finite Combinatorics, held January 5-8, 2009, in Washington, DC. Over the last 20 years, various new connections between model theory and finite combinatorics emerged. The best known of these are in the area of 0-1 laws, but in recent years other very promising interactions between model theory and combinatorics have been developed in areas such as extremal combinatorics and graph limits, graph polynomials, homomorphism functions and related counting functions, and discrete algorithms, touching the boundaries of computer science and statistical physics. This volume highlights some of the main results, techniques, and research directions of the area. Topics covered in this volume include recent developments on 0-1 laws and their variations, counting functions defined by homomorphisms and graph polynomials and their relation to logic, recurrences and spectra, the logical complexity of graphs, algorithmic meta theorems based on logic, universal and homogeneous structures, and logical aspects of Ramsey theory.
This book is a timely survey of much of the algebra developed during the last several centuries including its applications to algebraic geometry and its potential use in geometric modeling. The present volume makes an ideal textbook for an abstract algebra course, while the forthcoming sequel. Lectures on Algebra II, will serve as a textbook for a linear algebra course. The author's fondness for algebraic geometry shows up in both volumes, and his recent preoccupation with the applications of group theory to the calculation of Galois groups is evident in the second volume which contains more local rings and more algebraic geometry. Both books are based on the author's lectures at Purdue University over the last few years.
This book, first published in 1991, offers an integrative approach to the study of formal models in the social and behavioural sciences. The theory presented here unifies both the representation of the social environment and the equilibrium concept. The theory requires that all alternatives that are available to the players be specified in an explicit and detailed manner, and this specification is defined as a social 'situation'. A situation, therefore, not only consists of the alternatives currently available to the players, but also includes the set of opportunities that might be induced by the players from their current environment. The theory requires that all recommended alternatives be both internally and externally stable; the recommendation cannot be self-defeating and, at the same time, should account for alternatives that were not recommended. In addition to unifying the representation and the solution concept, the theory also extends the social environments accommodated by current game theory.
The increasing complexity of telecommunication networks requires us to develop adequate mathematical models. We must find their characteristics, optimize them subject to chosen criteria, and develop the corresponding control algorithms. Multidimensional queueing models are used to design and optimize modern and next-generation networks (NGN). The central problem of the related mathematical theory is to apply multidimensional and large-size queueing models to improve efficiency. In this book new methods are successively developed and applied to solve related problems. The book is recommended for researchers engaged with the mathematical theory of telecommunications traffic.
Detailed review of optimization from first principles, supported by rigorous math and computer science explanations and various learning aids Supported by rigorous math and computer science foundations, Combinatorial and Algorithmic Mathematics: From Foundation to Optimization provides a from-scratch understanding to the field of optimization, discussing 70 algorithms with roughly 220 illustrative examples, 160 nontrivial end-of-chapter exercises with complete solutions to ensure readers can apply appropriate theories, principles, and concepts when required, and Matlab codes that solve some specific problems. This book helps readers to develop mathematical maturity, including skills such as ...
The problem of classifying the finite-dimensional simple Lie algebras over fields of characteristic p > 0 is a long-standing one. Work on this question during the last 45 years has been directed by the Kostrikin–Shafarevich Conjecture of 1966, which states that over an algebraically closed field of characteristic p > 5 a finite-dimensional restricted simple Lie algebra is classical or of Cartan type. This conjecture was proved for p > 7 by Block and Wilson in 1988. The generalization of the Kostrikin–Shafarevich Conjecture for the general case of not necessarily restricted Lie algebras and p > 7 was announced in 1991 by Strade and Wilson and eventually proved by Strade in 1998. The final...
Reprint of the original, first published in 1873.
Table of contents