|
|
|
|
| LEADER |
00000cam a2200000Mu 4500 |
| 001 |
EBOOKCENTRAL_ocn990583781 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr |n||||||||| |
| 008 |
151005s2011 riu o 000 0 eng d |
| 040 |
|
|
|a LIP
|b eng
|c LIP
|d OCLCO
|d OCLCF
|d COO
|d OTZ
|d UIU
|d EBLCP
|d AU@
|d OCLCQ
|d OCLCA
|d OCLCQ
|d UIU
|d OCLCO
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 774059221
|a 922980761
|a 1058425767
|
| 020 |
|
|
|a 0821849433
|
| 020 |
|
|
|a 9780821849439
|
| 020 |
|
|
|a 9780821882375
|
| 020 |
|
|
|a 0821882376
|
| 020 |
|
|
|a 9780821883228
|
| 020 |
|
|
|a 0821883224
|
| 029 |
1 |
|
|a AU@
|b 000062343446
|
| 029 |
1 |
|
|a AU@
|b 000069467102
|
| 035 |
|
|
|a (OCoLC)990583781
|z (OCoLC)774059221
|z (OCoLC)922980761
|z (OCoLC)1058425767
|
| 050 |
|
4 |
|a QA9.7
|b .M583 2011eb
|
| 082 |
0 |
4 |
|a 519.2
|
| 084 |
|
|
|a 03-02
|a 03-06
|a 05-02
|a 05-06
|a 68-02
|a 68-06
|2 msc
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Grohe, Martin.
|
| 245 |
1 |
0 |
|a Model Theoretic Methods in Finite Combinatorics
|h [electronic resource].
|
| 246 |
3 |
|
|a Contemporary Mathematics
|
| 246 |
3 |
|
|a Contemporary Mathematics, Volume 558
|
| 246 |
3 |
|
|a Model theoretic methods in finite combinatorics: AMS-ASL special session, January 5-8, 2009 Washington, DC
|
| 260 |
|
|
|a Providence :
|b American Mathematical Society,
|c 2011.
|
| 300 |
|
|
|a 1 online resource (529 p.)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Contemporary Mathematics ;
|v v.558
|
| 500 |
|
|
|a Description based upon print version of record.
|
| 505 |
0 |
|
|a ""Contents""; ""Preface""; ""Application of Logic to Combinatorial Sequences and Their Recurrence Relations""; ""Part 1. Introduction and Synopsis""; ""1. Sequences of integers and their combinatorial interpretations""; ""2. Linear recurrences""; ""3. Logical formalisms""; ""4. Finiteness conditions""; ""5. Logical interpretations of integer sequences""; ""Part 2. Guiding Examples""; ""6. The classical recurrence relations""; ""7. Functions, permutations and partitions""; ""8. Trees and forests""; ""9. Graph properties""; ""10. Latin squares""; ""Part 3. C-Finite and Holonomic Sequences""
|
| 505 |
8 |
|
|a ""11. C-Finite sequences""""12. Holonomic sequences""; ""Part 4. Modular Recurrence Relations""; ""13. DU-index and Specker index""; ""14. The rÃ?le of logic""; ""15. Structures of bounded degree""; ""16. Structures of unbounded degree""; ""References""; ""Spectra and Systems of Equations""; ""Compton's Method for Proving Logical Limit Laws""; ""Logical Complexity of Graphs: A Survey""; ""1. Introduction""; ""1.1. Basic notions and examples""; ""1.2. Variations of logic""; ""1.3. Outline of the survey""; ""1.4. Other structures""; ""2. Preliminaries""; ""2.1. Notation: Arithmetic and graphs""
|
| 505 |
8 |
|
|a ""2.2. A length-depth relation""""2.3. Distinguishability vs. definability""; ""3. Ehrenfeucht games""; ""4. The Weisfeiler-Lehman algorithm""; ""5. Worst case bounds""; ""5.1. Classes of graphs""; ""5.2. General case""; ""6. Average case bounds""; ""Methods for Algorithmic Meta Theorems""; ""On Counting Generalized Colorings""; ""1. Introduction""; ""2. Prelude: two typical graph polynomials""; ""3. Counting generalized colorings""; ""4. SOL-polynomials and subset expansion""; ""5. Standard vs FF vs Newton SOL-polynomials""; ""6. Equivalence of counting Ï?-colorings and SOL-polynomials""
|
| 505 |
8 |
|
|a ""7. MSOL-polynomials""""8. Enter categoricity""; ""9. Conclusions""; ""References""; ""Counting Homomorphisms and Partition Functions""; ""Some Examples of Universal and Generic Partial Orders""; ""Two Problems on Homogeneous Structures, Revisited""; ""On Symmetric Indivisibility of Countable Structures""; ""Partitions and Permutation Groups""; ""(Un)countable and (Non)effective Versions of Ramsey's Theorem""; ""Reducts of Ramsey Structures""; ""1. Introduction""; ""2. Reducts""; ""3. Ramsey Classes""; ""4. Topological Dynamics""; ""5. Minimal Functions""; ""6. Decidability of Definability""
|
| 505 |
8 |
|
|a ""7. Interpretability""""8. Complexity of Constraint Satisfaction""; ""9. Concluding Remarks and Further Directions""; ""References""
|
| 546 |
|
|
|a English.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Finite model theory
|v Congresses.
|
| 650 |
|
0 |
|a Combinatorial probabilities
|v Congresses.
|
| 650 |
|
4 |
|a Combinatorial probabilities -- Congresses.
|
| 650 |
|
4 |
|a Finite model theory -- Congresses.
|
| 650 |
|
6 |
|a Théorie des modèles finis
|v Congrès.
|
| 650 |
|
6 |
|a Probabilités combinatoires
|v Congrès.
|
| 650 |
|
7 |
|a Combinatorial probabilities
|2 fast
|
| 650 |
|
7 |
|a Finite model theory
|2 fast
|
| 650 |
|
7 |
|a Mathematical logic and foundations
|x Research exposition (monographs, survey articles)
|2 msc
|
| 650 |
|
7 |
|a Mathematical logic and foundations
|x Proceedings, conferences, collections, etc.
|2 msc
|
| 650 |
|
7 |
|a Combinatorics
|x Research exposition (monographs, survey articles)
|2 msc
|
| 650 |
|
7 |
|a Combinatorics
|x Proceedings, conferences, collections, etc.
|2 msc
|
| 650 |
|
7 |
|a Computer science
|x Research exposition (monographs, survey articles)
|2 msc
|
| 650 |
|
7 |
|a Computer science
|x Proceedings, conferences, collections, etc.
|2 msc
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 700 |
1 |
|
|a Makowsky, Johann A.
|
| 710 |
2 |
|
|a Association for Symbolic Logic,
|e Content Provider.
|
| 710 |
2 |
|
|a American Mathematical Society,
|e Content Provider.
|
| 711 |
2 |
|
|a AMS-ASL Joint Special Session on Model Theoretic Methods in Finite Combinatorics.
|
| 776 |
0 |
8 |
|i Print version:
|a Grohe, Martin.
|t Model Theoretic Methods in Finite Combinatorics.
|d Providence : American Mathematical Society, ©2011
|z 9780821849439
|
| 830 |
|
0 |
|a Contemporary Mathematics.
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3113159
|z Texto completo
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3113159
|
| 994 |
|
|
|a 92
|b IZTAP
|
