You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Formal Concept Analysis is a field of applied mathematics based on the mathematization of concept and conceptual hierarchy. It thereby activates mathematical thinking for conceptual data analysis and knowledge processing. The underlying notion of "concept" evolved early in the philosophical theory of concepts and still has effects today. In mathematics it played a special role during the emergence of mathematical logic in the 19th century. Subsequently, however, it had virtually no impact on mathematical thinking. It was not until 1979 that the topic was revisited and treated more thoroughly. Since then, Formal Concept Analysis has fully emerged, sparking a multitude of publications for whic...
An up to date and comprehensive overview of the philosophy and neuroscience movement. At the heart of the movement is the conviction that basic questions about human cognition can be answered only by a philosophically sophisticated grasp of neuroscience's insights into the processing of information by the human brain.
These 34 papers cover topics ranging from various problems on varieties and other classes of algebras including categorical aspects and duality theory to the structure of finite algebras and clones on finite (or infinite) sets.As well as survey articles by invited speakers, the papers contain full proofs of new results not published elsewhere. The volume ends with a list of problems.
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit www.springer.com. For more information about IFIP, please visit www.ifip.org.
This unique monograph building bridges among a number of different areas of mathematics such as algebra, topology, and category theory. The author uses various tools to develop new applications of classical concepts. Detailed proofs are given for all major theorems, about half of which are completely new. Sheaves of Algebras over Boolean Spaces will take readers on a journey through sheaf theory, an important part of universal algebra. This excellent reference text is suitable for graduate students, researchers, and those who wish to learn about sheaves of algebras.
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field. Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only related to his scientific activity, but also from his personal life. It reflects Pigozzi's contribution to the rise and development of areas such as abstract algebraic logic (AAL), universal algebra and computer science, and introduces new scientific results. Some of the papers also present chronologically ordered facts relating to the development of the disciplines he contributed to, especially abstract algebraic logic. The book offers valuable source material for historians of science, especially those interested in history of mathematics and logic.
French Books III & IV complete a comprehensive bibliographical survey of all books published in France in the first age of print. It lists over 40,000 editions printed in France in languages other than French during the fifteenth and sixteenth centuries together with bibliographical references, an introduction and indexes. It draws on the analysis of over 3,000 collections situated in libraries throughout the world. French Books will be an invaluable research tool for all students and scholars interested in the history, culture and literature of France, as well as historians of the early modern book world. For vols. I & II please go to French Vernacular Books.
None