01370nas 22003973a 450 99619861670331620240413013847.0(CKB)1000000000321980(CONSER)cn2007801602(EXLCZ)99100000000032198020070320b20062007 -b- bfreBilan de responsabilité sociale au profit de la collectivité[Montréal] Loto-Québec[2006]-20071 online resourceTitre pris sur la couv.Print version: Bilan de responsabilité sociale au profit de la collectivité. (DLC)cn2007801602 (OCoLC)1083328438 1911-3706 Au profit de la collectivitéAspect économiquerasuqamJeu de hasardrasuqamJoueur compulsifrasuqamLoterierasuqamResponsabilité sociale de l'entrepriserasuqamQuébec (Province)rasuqamAspect économique.Jeu de hasard.Joueur compulsif.Loterie.Responsabilité sociale de l'entreprise.336.1cci1icclaccJOURNAL996198616703316exl_impl conversionBilan de responsabilité sociale au profit de la collectivité2191230UNISA03699oam 2200613zu 450 991048288570332120240724212510.03-662-21676-0(CKB)1000000000751035(SSID)ssj0000508723(PQKBManifestationID)12183167(PQKBTitleCode)TC0000508723(PQKBWorkID)10562778(PQKB)11207601(MiAaPQ)EBC3099502(Au-PeEL)EBL3099502(CaPaEBR)ebr10974403(OCoLC)934997347(BIP)47313338(EXLCZ)99100000000075103520160829d1997 uy engurcnu||||||||txtccrBounded variable logics and counting : a study in finite models1st ed.[Place of publication not identified]Springer19971 online resource (190 pages)Lecture notes in logic Bounded variable logics and countingBibliographic Level Mode of Issuance: Monograph3-540-62037-0 Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index.Viewed as a branch of model theory, finite model theory is concerned with finite structures and their properties under logical, combinatorial, algorithmic and complexity theoretic aspects. The connection of classical concerns of logic and model theory with issues in complexity theory has contributed very much to the development of finite model theory into a field with its own specific flavour. I like to think of this monograph as a study which - with a partic­ ular theme of its own - exemplifies and reflects some central ideas and lines of research in finite model theory. The particular theme is that of bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and corresponding fragments of PTIME. The re­ lations with PTIME exhibit that fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory and, more specifically, of the research programme of descriptive complexity. Among the main particular topics and techniques I would emphasize: - the importance of games as a fundamental tool from classical logic; their use in the analysis of finite structures also with respect to algorithmic and complexity theoretic concerns is amply illustrated. - the role of cardinality phenomena, which clearly are amongst the most fundamental guidelines in the analysis of finite structures.Lecture Notes in LogicBOUNDED VARIABLE LOGICS AND COUNTINGModel theoryComputational complexityMathematicsHILCCPhysical Sciences & MathematicsHILCCMathematical TheoryHILCCModel theory.Computational complexity.MathematicsPhysical Sciences & MathematicsMathematical Theory511.3/3Otto Martin1225992PQKBBOOK9910482885703321Bounded variable logics and counting : a study in finite models2846465UNINA