Documents disponibles écrits par cet auteur

Elements de mathematiques discretes / Louis Frécon

Public ISBD Titre : Elements de mathematiques discretes Type de document : texte imprimé Auteurs : Louis Frécon, Auteur Editeur : Lausanne : PPUR Année de publication : 2002 Collection : Collection des sciences appliquées de l'INSA de Lyon Sous-collection : Informatique Importance : XIV-378 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-479-3 Note générale : La couv. porte en plus : "2e cycle".-bibliogr. Index Langues : Français (fre) Mots-clés : Mathématique  analyse  algèbre Groupes  théorie  Logique  mathématique Graphes  théorie Boole  algèbre Informatique  --  Mathématiques Index. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé : Indissociables du monde des ordinateurs et indispensables à tout processus de modélisation informatique,les mathématiques discrètes fédèrent diverses,disciplines tell que l'algèbre. Note de contenu : Sommaire: *Fondements *Mémento de logique *Ensembles et éléments Relations binaires *Fonctions *Relations binaires internes *Fonctions, calculabilité, récurrence *Notion de complexité *Graphes *Des points et des flèches *Chemins et circuits *Fermetures transitives *Arbres et connexité *Graphes multipartis *Algèbre *Opérateurs et algèbres *Monoïdes et groupes *Dioïdes *Algèbre de Boole *Algèbre de Kleene et automates à états finis *Indications sur les exercices et problèmes Elements de mathematiques discretes [texte imprimé] / Louis Frécon, Auteur . - PPUR, 2002 . - XIV-378 p. : ill. ; 24 cm. - (Collection des sciences appliquées de l'INSA de Lyon. Informatique) . ISBN : 978-2-88074-479-3 La couv. porte en plus : "2e cycle".-bibliogr. Index Langues : Français (fre) Mots-clés : Mathématique  analyse  algèbre Groupes  théorie  Logique  mathématique Graphes  théorie Boole  algèbre Informatique  --  Mathématiques Index. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé : Indissociables du monde des ordinateurs et indispensables à tout processus de modélisation informatique,les mathématiques discrètes fédèrent diverses,disciplines tell que l'algèbre. Note de contenu : Sommaire: *Fondements *Mémento de logique *Ensembles et éléments Relations binaires *Fonctions *Relations binaires internes *Fonctions, calculabilité, récurrence *Notion de complexité *Graphes *Des points et des flèches *Chemins et circuits *Fermetures transitives *Arbres et connexité *Graphes multipartis *Algèbre *Opérateurs et algèbres *Monoïdes et groupes *Dioïdes *Algèbre de Boole *Algèbre de Kleene et automates à états finis *Indications sur les exercices et problèmes

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
046291	519.6 FRE	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état
047013	519.6 FRE	Papier	Bibliothèque Centrale	Mathématiques	Disponible
047595	519.6 FRE	Papier	Bibliothèque Centrale	Mathématiques	Disponible

Manuel d'intelligence artificielle / Louis Frécon

Public ISBD Titre : Manuel d'intelligence artificielle Type de document : texte imprimé Auteurs : Louis Frécon, Auteur ; Kazar, Okba, Auteur Editeur : Lausanne : PPUR Année de publication : 2009 Collection : METIS Lyon Tech Importance : XVIII-757 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-819-7 Note générale : Bibliographie en fin de chapitres. Index Langues : Français (fre) Mots-clés : Intelligence  artificielle  --  Guides,  manuels,  etc. Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Robotique, vie artificielle, réalité virtuelle, traitement des langues naturelles… derrière toutes ces applications se cache un même univers, l'intelligence artificielle, et un même objectif, la recherche de moyens susceptibles de doter les systèmes informatiques de capacités intellectuelles comparables à celles des êtres humains. C'est afin de procurer aux étudiants un support d'enseignement clair et pédagogique que les auteurs ont conçu ce manuel. Illustré de nombreux exemples programmés, il expose les bases indispensables de l'intelligence artificielle au travers de 5 démarches clairement identifiées : fonctionnelle, illustrée par le langage Scheme, qui établit la possibilité d'une informatique qualitative ou symbolique, par opposition à l'informatique numérique ; logique, illustrée par la programmation en Prolog, avec un même formalisme pour les connaissances primaires, les connaissances déductibles, ou le savoir-faire et débouchant sur les systèmes experts ; objet, qui assure la gestion de masses de connaissances par l'exploitation de classifications ; grammaticale, qui traite des rapports entre forme et abstraction, et ouvre sur le traitement des langues naturelles comme sur la modélisation de certains systèmes dynamiques et enfin acteurs/agents, qui concerne une approche distribuée des activités intelligentes, combinant délégation, coopérations, compétitions et négociations. Public Original par le juste équilibre atteint entre théorie et pratique, cet ouvrage constitue aussi une excellente référence pour tous les praticiens et étudiants en intelligence artificielle. Note de contenu : * Avant-propos * Plan de l'ouvrage * Introduction * Approche algorithmique * Énumération et complexité * Espace d'Etat et métaphore du Labyrinthe * Méthodes de réduction * Réseaux sémantiques * Notions d'apprentissage * Éléments pratiques : scheme * Bases du langage Scheme * Premières applications * Vers l'IA en Scheme * Approche logique * Approche logique classique * Calcul des propositions * Logique des prédicats * Programmation logique * Éléments de Prolog * Compléments de programmation logique * Logiques non-standards * Extensions algébriques * Logiques multivaluées * Logiques floues * Extensions indifférentielles * Logiques non-monotones ou révisables * Logiques modales * Logiques d'ordre supérieur * Systèmes à base de connaissances * Introduction aux systèmes-experts * Systèmes experts : développement * Ingénierie et gestion des connaissances * Approche grammaticale * Formalismes grammaticaux * Formalismes objet * Langages à classes * E-systèmes multi-agents * Les acteurs * Agents et systèmes multi-agents * Les systèmes multi-agents * Méta connaissances * Métaconnaissances réactives et pro-actives * Quelques grandes réalisations * Traitement des langues naturelles * Autres Systèmes intelligents spécialisés * Au-delà de l'IA * Le projet robotique * Vie artificielle * Conclusion Manuel d'intelligence artificielle [texte imprimé] / Louis Frécon, Auteur ; Kazar, Okba, Auteur . - PPUR, 2009 . - XVIII-757 p. : ill. ; 24 cm. - (METIS Lyon Tech) . ISBN : 978-2-88074-819-7 Bibliographie en fin de chapitres. Index Langues : Français (fre) Mots-clés : Intelligence  artificielle  --  Guides,  manuels,  etc. Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Robotique, vie artificielle, réalité virtuelle, traitement des langues naturelles… derrière toutes ces applications se cache un même univers, l'intelligence artificielle, et un même objectif, la recherche de moyens susceptibles de doter les systèmes informatiques de capacités intellectuelles comparables à celles des êtres humains. C'est afin de procurer aux étudiants un support d'enseignement clair et pédagogique que les auteurs ont conçu ce manuel. Illustré de nombreux exemples programmés, il expose les bases indispensables de l'intelligence artificielle au travers de 5 démarches clairement identifiées : fonctionnelle, illustrée par le langage Scheme, qui établit la possibilité d'une informatique qualitative ou symbolique, par opposition à l'informatique numérique ; logique, illustrée par la programmation en Prolog, avec un même formalisme pour les connaissances primaires, les connaissances déductibles, ou le savoir-faire et débouchant sur les systèmes experts ; objet, qui assure la gestion de masses de connaissances par l'exploitation de classifications ; grammaticale, qui traite des rapports entre forme et abstraction, et ouvre sur le traitement des langues naturelles comme sur la modélisation de certains systèmes dynamiques et enfin acteurs/agents, qui concerne une approche distribuée des activités intelligentes, combinant délégation, coopérations, compétitions et négociations. Public Original par le juste équilibre atteint entre théorie et pratique, cet ouvrage constitue aussi une excellente référence pour tous les praticiens et étudiants en intelligence artificielle. Note de contenu : * Avant-propos * Plan de l'ouvrage * Introduction * Approche algorithmique * Énumération et complexité * Espace d'Etat et métaphore du Labyrinthe * Méthodes de réduction * Réseaux sémantiques * Notions d'apprentissage * Éléments pratiques : scheme * Bases du langage Scheme * Premières applications * Vers l'IA en Scheme * Approche logique * Approche logique classique * Calcul des propositions * Logique des prédicats * Programmation logique * Éléments de Prolog * Compléments de programmation logique * Logiques non-standards * Extensions algébriques * Logiques multivaluées * Logiques floues * Extensions indifférentielles * Logiques non-monotones ou révisables * Logiques modales * Logiques d'ordre supérieur * Systèmes à base de connaissances * Introduction aux systèmes-experts * Systèmes experts : développement * Ingénierie et gestion des connaissances * Approche grammaticale * Formalismes grammaticaux * Formalismes objet * Langages à classes * E-systèmes multi-agents * Les acteurs * Agents et systèmes multi-agents * Les systèmes multi-agents * Méta connaissances * Métaconnaissances réactives et pro-actives * Quelques grandes réalisations * Traitement des langues naturelles * Autres Systèmes intelligents spécialisés * Au-delà de l'IA * Le projet robotique * Vie artificielle * Conclusion

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
052058	681.3 FRE	Papier	Bibliothèque Centrale	Informatique	Disponible
052059	681.3 FRE	Papier	Bibliothèque Centrale	Informatique	Disponible