This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. The book is written in such a way that the respect...
Search Result :
Mathematics - Books, Journals, Series ... - Springer
Mathematics | Mathematics - Books, Journals, Series, Textbooks, Reference Works, Electronic Media from Springer
Mathematics | Mathematics - Books, Journals, Series, Textbooks, Reference Works, Electronic Media from Springer
Course Descriptions - New York University
Prerequisites: Elements of linear algebra and the theory of rings and fields. The objects of study in algebraic geometry are systems ...
Prerequisites: Elements of linear algebra and the theory of rings and fields. The objects of study in algebraic geometry are systems ...
Group (mathematics) - Wikipedia, the free encyclopedia
Subgroup; Normal subgroup; Quotient group; direct product; Group homomorphisms; kernel; image; direct sum; wreath product; simple; finite; infinite; continuous ...
Subgroup; Normal subgroup; Quotient group; direct product; Group homomorphisms; kernel; image; direct sum; wreath product; simple; finite; infinite; continuous ...
Philosophy of Mathematics (Stanford Encyclopedia of ...
1. Philosophy of Mathematics, Logic, and the Foundations of Mathematics. On the one hand, philosophy of mathematics is concerned with problems that are ...
1. Philosophy of Mathematics, Logic, and the Foundations of Mathematics. On the one hand, philosophy of mathematics is concerned with problems that are ...
Set theory - Wikipedia, the free encyclopedia
Set theory is the branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be collected into a set ...
Set theory is the branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be collected into a set ...
Probability and Statistics Resources
The purpose of this page is to provide resources in the rapidly growing area of computational statistics and probability for decision making under uncertainties.
The purpose of this page is to provide resources in the rapidly growing area of computational statistics and probability for decision making under uncertainties.
Quantum Field Theory (Stanford Encyclopedia of Philosophy)
Quantum Field Theory (QFT) is the mathematical and conceptual framework for contemporary elementary particle physics. In a rather informal sense QFT is the ...
Quantum Field Theory (QFT) is the mathematical and conceptual framework for contemporary elementary particle physics. In a rather informal sense QFT is the ...
Earliest Known Uses of Some of the Words of Mathematics (E)
Earliest Known Uses of Some of the Words of Mathematics (E) Last revision: Sept. 9, 2013
Earliest Known Uses of Some of the Words of Mathematics (E) Last revision: Sept. 9, 2013
Дискретная математика -
Издательство Springer, 2014, -304 pp. Classical information processing consists of the main tasks gaining knowledge, storage, transmission, and hiding data.
Издательство Springer, 2014, -304 pp. Classical information processing consists of the main tasks gaining knowledge, storage, transmission, and hiding data.
Функциональный анализ -
Springer, 2001. - 152 pages. This book presents the basic tools of modern analysis within the context of the fundamental problem of operator theory: to calculate ...
Springer, 2001. - 152 pages. This book presents the basic tools of modern analysis within the context of the fundamental problem of operator theory: to calculate ...
Download link for Finite Model Theory (Springer Monographs in Mathematics) by Heinz-Dieter Ebbinghaus, Jörg Flum :
Aucun commentaire:
Enregistrer un commentaire