Informatique mathématique : une photographie en 2022

L Informatique Mathématique (IM) regroupe des thématiques relevant a priori de tous les domaines de l informatique, pourvu que la démarche de recherche ou le point de vue adoptés soient mathématisables . Cet ouvrage réunit les cours proposés à l édition 2022 de l École des Jeunes Chercheuses et Cher...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
Auteurs principaux: Bournez, Olivier, Chetrite, Raphaël, 1981- (Auteur), Fijalkow, Nathanaël, 19..- (Auteur), Formenti, Enrico, 1968- (Auteur), Kaufmann, Emilie, 1987- (Auteur), Mattei, Pierre-Alexandre, 1989- (Auteur), Ollinger, Nicolas, 19..- (Auteur), Patras, Frédéric, 1967- (Auteur), Rifford, Ludovic, 1974- (Auteur), Romashchenko, Andrei Evgenjevich, 1975- (Auteur), Villata, Serena (Auteur)
מחברים אחרים: Martin, Bruno, 19..-...., professeur d'informatique (Directeur de la publication), Riva, Sara, 1995- (Directeur de la publication)
פורמט: Livre papier
שפה:Français
יצא לאור: [Paris] : CNRS Edition DL 2022.
נושאים:
הערה: Autres contributeurs : Enrico Formenti, Emilie Kaufmann, Pierre-Alexandre Mattei, Nicolas Ollinger, Frédéric Patras, Ludovic Rifford, Andrei Romashchenko, Serena Villata
Autres localisations: Voir dans le Sudoc
LEADER 02599nam a22003737a 4500
001 937111
008 220720s2022 xxe ||| |||| 00| 0 fre d
009 PPN263649180
020 |a 9782271144584 (br.) :  |c 22 EUR 
024 |a 9782271144584 
041 0 |a fre 
100 1 |a Bournez, Olivier. 
245 1 0 |a Informatique mathématique :  |b une photographie en 2022   |c Olivier Bournez, Raphaël Chetrite, Nathanaël Fijalkow,... [et al.] ; Bruno Martin, Sara Riva (éd.). 
260 |a [Paris] :  |b CNRS Edition,  |c DL 2022. 
300 |a 1 volume (VIII-295 p. ) :  |b ill. ;  |c 24 cm. 
500 |a Autres contributeurs : Enrico Formenti, Emilie Kaufmann, Pierre-Alexandre Mattei, Nicolas Ollinger, Frédéric Patras, Ludovic Rifford, Andrei Romashchenko, Serena Villata 
504 |a Bibliographie p. 287-292 
520 |a L Informatique Mathématique (IM) regroupe des thématiques relevant a priori de tous les domaines de l informatique, pourvu que la démarche de recherche ou le point de vue adoptés soient mathématisables . Cet ouvrage réunit les cours proposés à l édition 2022 de l École des Jeunes Chercheuses et Chercheurs en Informatique Mathématique (EJ- CIM), organisée à Nice du 7 au 11 juin 2022 dans le cadre du Groupe de recherche en Informatique Mathématique (GdR IM) du CNRS. Cinq thèmes sont présentés par onze spécialistes du domaine, à la fois du point de vue du mathématicien et du point de vue de l informaticien : l intelligence artificielle, la théorie des jeux, les systèmes dynamiques, le calcul analogique et numérique et l aléatoire. Présentant de manière équilibrée différentes thématiques du domaine IM, cet ouvrage propose une photographie de l Informatique Mathématique aujourd hui 
650 |a Logique symbolique et mathématique 
650 |a Logique informatique 
650 |a Actes de congrès 
700 1 |a Chetrite, Raphaël,  |d 1981-  |4 aut 
700 1 |a Fijalkow, Nathanaël,  |d 19..-  |4 aut 
700 1 |a Formenti, Enrico,  |d 1968-  |4 aut 
700 1 |a Kaufmann, Emilie,  |d 1987-  |4 aut 
700 1 |a Mattei, Pierre-Alexandre,  |d 1989-  |4 aut 
700 1 |a Ollinger, Nicolas,  |d 19..-  |4 aut 
700 1 |a Patras, Frédéric,  |d 1967-  |4 aut 
700 1 |a Rifford, Ludovic,  |d 1974-  |4 aut 
700 1 |a Romashchenko, Andrei Evgenjevich,  |d 1975-  |4 aut 
700 1 |a Villata, Serena.  |4 aut 
700 1 |a Martin, Bruno,  |d 19..-....,  |c professeur d'informatique.  |4 pbd 
700 1 |a Riva, Sara,  |d 1995-  |4 pbd 
997 |0 937111  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/BU Sciences, Technologies, STAPS/  |z Orléans, BU Sciences, Technologies, STAPS, 004.015 INF