m

F Nous contacter

0

Documents  03C13 | enregistrements trouvés : 10

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xi; 341 p.
ISBN 978-0-521-71820-2

London mathematical society lecture note series , 0379

Localisation : Collection 1er étage

logique # modèle fini # modèle algorithmique # théorie des modèles

03-06 ; 03C07 ; 03C13 ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8405-0073-1

SMS , 0021

Localisation : Salle de manutention

grammaire à deux variables # grammaire à trois variables # grammaire à une variable # logique du premier ordre # modèle généralisé # modèle relativisé # modèle standard # relation d'égalité non-standard # relativisation # système déductif # système logique avec nombre fini de symboles # univers relativisé

03B10 ; 03B22 ; 03C13 ; 03Cxx ; 03D05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Combinatorics

The theory of graph (and structure) convergence gained recently a substantial attention. Various notions of convergence were proposed, adapted to different contexts, including Lovasz et al. theory of dense graph limits based on the notion of left convergence and Benjamini-Schramm theory of bounded degree graph limits based on the notion of local convergence. The latter approach can be extended into a notion of local convergence for graphs (stronger than left convegence) as follows: A sequence of graphs is local convergent if, for every local first-order formula, the probability that the formula is satisfied for a random (uniform independent) assignment of the free variables converge as n grows to infinity. In this talk, we show that the local convergence of a sequence of graphs allows to decompose the graphs in the sequence in a coherent way, into concentration clusters (intuitively corresponding to the limit non-zero measure connected components), a residual cluster, and a negligible set. Also, we mention that if we consider a stronger notion of local-global convergence extending Bollobas and Riordan notion of local-global convergence for graphs with bounded degree, we can further refine our decomposition by exhibiting the expander-like parts.

graphs - structural limit - graph limit - asymptotic connectivity
The theory of graph (and structure) convergence gained recently a substantial attention. Various notions of convergence were proposed, adapted to different contexts, including Lovasz et al. theory of dense graph limits based on the notion of left convergence and Benjamini-Schramm theory of bounded degree graph limits based on the notion of local convergence. The latter approach can be extended into a notion of local convergence for graphs ...

03C13 ; 03C98 ; 05Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 223 p.
ISBN 978-86-80593-57-9

Zbornik radova , 0018

Localisation : Ouvrage RdC (LOGI)

théorie de la démonstration # logique probabiliste de premier ordre # clone et hyperclone # commutation et conception logique # système de preuve interactive

18-01 ; 03F07 ; 18A15 ; 03F05 ; 18D10 ; 03B48 ; 03B60 ; 03B70 ; 03B35 ; 68T37 ; 68T15 ; 68T30 ; 03-02 ; 03B40 ; 03B47 ; 68N18 ; 03F52 ; 08-02 ; 08A40 ; 03C13 ; 15-02 ; 43A32 ; 94B05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xxiii; 457 p.
ISBN 978-3-642-27874-7

Algorithms and combinatorics , 0028

Localisation : Ouvrage RdC (NESE)

analyse combinatoire # matrice éparse # complexité de calcul # densité # sparsité # arbre enraciné # mineur # théorie des graphes # homomorphisme # théorie des modèles # logique du premier ordre

05-02 ; 05C05 ; 05C10 ; 05C15 ; 05C42 ; 05C60 ; 05C62 ; 05C65 ; 05C75 ; 05C78 ; 05C83 ; 05C85 ; 05C90 ; 03C13 ; 68R10 ; 90C35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 193 p.
ISBN 978-0-691-11331-9

Annals of mathematics studies , 0152

Localisation : Ouvrage RdC (CHER)

groupe de permutation # structure finie # théorie des modèles # géométrie finie # théorie des groupes # enveloppe # stabilité # géométrie de Lie

03Cxx ; 03C13 ; 03C35 ; 03C45 ; 03C50 ; 03C60 ; 20B27

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 159 p.
ISBN 978-0-8218-3707-8

Memoirs of the american mathematical society , 0828

Localisation : Collection 1er étage

structure algébrique ordonnée # théorie des modèles # variété algébrique # classification # énumération d'algèbre finie # variété finie # spectre libre

08A05 ; 03C13 ; 03C45 ; 05A16 ; 08B20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 168 p.
ISBN 978-3-540-41654-8

Algorithms and combinatorics , 0022

Localisation : Ouvrage RdC (SPEN)

graphe # logique # graphe aléatoire # logique de premier ordre # structure finie # théorie des modèles # structure dénombrable # loi du zéro-un # structure discrète

05C80 ; 03-02 ; 03B10 ; 03C13 ; 03C15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 289 p.
ISBN 978-0-8218-2666-9

Mathematical surveys and monographs , 0086

Localisation : Collection 1er étage

logique # théorie du modèle # théorie des nombres # structure finie # fonction génératrice # théorème limite # série génératrice # combinatoire # énumération asymptotique # théorème taubérien # énumération combinatoire # énumératiopn de graphe # série de puissance # théorie analytique des partitions # système de nombres multiplicatif # système de nombre additif

03C13 ; 05A15 ; 05A16 ; 05C30 ; 11M41 ; 11M45 ; 11N45 ; 11N80 ; 11P82 ; 11U09

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 482 p.
ISBN 978-3-540-57073-8

Perspectives in mathematical logic

Localisation : Ouvrage RdC (BORG)

classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # théorie monadique du second ordre classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # ...

03-02 ; 03B10 ; 03B25 ; 03C13 ; 03D15

... Lire [+]

Z