الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'complexité'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Complexité et algorithmique: Une introduction / Lavallée Ivan
Titre : Complexité et algorithmique: Une introduction Type de document : texte imprimé Auteurs : Lavallée Ivan, Auteur Editeur : Paris : Hermann Année de publication : 2008 Importance : 334 p. Format : 22 x 16 cm. ISBN/ISSN/EAN : 978-27056-2726-9 Langues : Français (fre) Mots-clés : Complexité algorithmique Résumé : Complexité et algorithmique avancée est un exposé introductif à la pratique de la théorie de la complexité, il a été enseigné dans les trois cycles universitaires d'informatique et de cognitique et l'ouvrage est conçu pour être abordé par les étudiants des trois cycles universitaires. Il s'agit là du premier ouvrage en langue française traitant de la complexité en tant que telle. On y trouvera une introduction aux concepts fondamentaux du domaine, qu'il s'agisse de machine de Turing élémentaire ou universelle, de complexité au sens de Levin-Cook ou de Kolmogorov. Dans ce livre sont définies les trois principales classes de complexité, P, NP et NPC ainsi que le concept de quantité absolue d'information dû à Kolmogorov. Dans une dernière partie, on montre comment résoudre certains problèmes en faisant « tomber »la complexité, en utilisant des concepts probabilistes, ou en utilisant des méthodes d'énumération implicite dont les principes sont décrits. L'ouvrage se termine sur un chapitre consacré à l'informatique quantique. Ce livre est destiné tant aux étudiants en informatique qu'aux ingénieurs et chercheurs. L'ouvrage propose aussi des voies pour la recherche, abordant les aspects pratiques au travers de la conception des algorithmes de résolution pour problèmes dits NP- complets, une partie est consacrée à ces aspects pratiques. Public : Licence, Maitrise, Doctorat, Ingéniorat. Complexité et algorithmique: Une introduction [texte imprimé] / Lavallée Ivan, Auteur . - Paris : Hermann, 2008 . - 334 p. ; 22 x 16 cm.
ISSN : 978-27056-2726-9
Langues : Français (fre)
Mots-clés : Complexité algorithmique Résumé : Complexité et algorithmique avancée est un exposé introductif à la pratique de la théorie de la complexité, il a été enseigné dans les trois cycles universitaires d'informatique et de cognitique et l'ouvrage est conçu pour être abordé par les étudiants des trois cycles universitaires. Il s'agit là du premier ouvrage en langue française traitant de la complexité en tant que telle. On y trouvera une introduction aux concepts fondamentaux du domaine, qu'il s'agisse de machine de Turing élémentaire ou universelle, de complexité au sens de Levin-Cook ou de Kolmogorov. Dans ce livre sont définies les trois principales classes de complexité, P, NP et NPC ainsi que le concept de quantité absolue d'information dû à Kolmogorov. Dans une dernière partie, on montre comment résoudre certains problèmes en faisant « tomber »la complexité, en utilisant des concepts probabilistes, ou en utilisant des méthodes d'énumération implicite dont les principes sont décrits. L'ouvrage se termine sur un chapitre consacré à l'informatique quantique. Ce livre est destiné tant aux étudiants en informatique qu'aux ingénieurs et chercheurs. L'ouvrage propose aussi des voies pour la recherche, abordant les aspects pratiques au travers de la conception des algorithmes de résolution pour problèmes dits NP- complets, une partie est consacrée à ces aspects pratiques. Public : Licence, Maitrise, Doctorat, Ingéniorat. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei13998 004-81.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Complexité et systémique / Yves Narbonne
Titre : Complexité et systémique Type de document : texte imprimé Auteurs : Yves Narbonne, Auteur Editeur : Paris : Hermès science publications Année de publication : impr. 2005 Importance : 1 vol. (173 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1110-0 Note générale : Bibliogr. p. 165-169. Glossaire. Index Langues : Français (fre) Mots-clés : Complexité systémique Index. décimale : 006 Résumé : Notre environnement et les technologies qui nous entourent sont complexes. Les sciences et les technologies des réseaux et de l'information conduisent à un accroissement très important de la complexité des sociétés et des organisations. Le défi de l'avenir passe indubitablement par une maîtrise de cette complexité. Dans ce livre, l'auteur propose la systémique comme méthode pédagogique pour appréhender les systèmes complexes. La systémique est une approche globale, transdisciplinaire et transtechnologique. Elle permet des apprentissages de type "relier les connaissances". Rassembler et organiser les connaissances facilite la compréhension et l'apprentissage des systèmes complexes. En prenant comme exemple des réseaux de différentes natures (eau, électricité, route, chemin de fer, etc.), il montre clairement que le descriptif de ces réseaux plus ou moins simples composés tous de noeuds et de liens, sur lesquels circulent des flux, facilite grandement la tâche pour une compréhension de réseaux les plus complexes tels que les télécommunications ou internet. La communauté des professeurs faisant face aux difficultés d'enseigner les systèmes de plus en plus complexes trouvera dans cet ouvrage une méthode et des justifications pour appréhender la complexité. Les élèves ingénieurs et l'ensemble des étudiants confrontés à la complexité des sciences, des technologies et des organisations trouveront ici avec la systémique une approche qui leur facilitera la compréhension des systèmes et des sociétés. Complexité et systémique [texte imprimé] / Yves Narbonne, Auteur . - Paris : Hermès science publications, impr. 2005 . - 1 vol. (173 p.) : ill., couv. ill. ; 24 cm.
ISBN : 978-2-7462-1110-0
Bibliogr. p. 165-169. Glossaire. Index
Langues : Français (fre)
Mots-clés : Complexité systémique Index. décimale : 006 Résumé : Notre environnement et les technologies qui nous entourent sont complexes. Les sciences et les technologies des réseaux et de l'information conduisent à un accroissement très important de la complexité des sociétés et des organisations. Le défi de l'avenir passe indubitablement par une maîtrise de cette complexité. Dans ce livre, l'auteur propose la systémique comme méthode pédagogique pour appréhender les systèmes complexes. La systémique est une approche globale, transdisciplinaire et transtechnologique. Elle permet des apprentissages de type "relier les connaissances". Rassembler et organiser les connaissances facilite la compréhension et l'apprentissage des systèmes complexes. En prenant comme exemple des réseaux de différentes natures (eau, électricité, route, chemin de fer, etc.), il montre clairement que le descriptif de ces réseaux plus ou moins simples composés tous de noeuds et de liens, sur lesquels circulent des flux, facilite grandement la tâche pour une compréhension de réseaux les plus complexes tels que les télécommunications ou internet. La communauté des professeurs faisant face aux difficultés d'enseigner les systèmes de plus en plus complexes trouvera dans cet ouvrage une méthode et des justifications pour appréhender la complexité. Les élèves ingénieurs et l'ensemble des étudiants confrontés à la complexité des sciences, des technologies et des organisations trouveront ici avec la systémique une approche qui leur facilitera la compréhension des systèmes et des sociétés. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02578 006-227.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Théorie des graphes / Sadi Bachir
Titre : Théorie des graphes : Complexite algorithmique Type de document : texte imprimé Auteurs : Sadi Bachir, Auteur Editeur : OPU:Alger Année de publication : 1988 Importance : 35 p. Présentation : ill Format : 27 x 19 cm. Langues : Français (fre) Mots-clés : graphes théorie complexite algorithmique Index. décimale : 004 Théorie des graphes : Complexite algorithmique [texte imprimé] / Sadi Bachir, Auteur . - [S.l.] : OPU:Alger, 1988 . - 35 p. : ill ; 27 x 19 cm.
Langues : Français (fre)
Mots-clés : graphes théorie complexite algorithmique Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00281 004-94.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00282 004-94.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Langages formels, calculabilité et complexité / Olivier Carton
Titre : Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques Type de document : texte imprimé Auteurs : Olivier Carton, Auteur Editeur : Paris : Vuibert Année de publication : 2008 Importance : 237 p. Présentation : ill., couv. ill. en coul. Format : 24 x 17 cm. ISBN/ISSN/EAN : 978-2-7117-2077-4 Note générale : Bibliogr. p. 233-234. Index Langues : Français (fre) Mots-clés : Langages formels calculabilité complexité Index. décimale : 004 Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques [texte imprimé] / Olivier Carton, Auteur . - Paris : Vuibert, 2008 . - 237 p. : ill., couv. ill. en coul. ; 24 x 17 cm.
ISBN : 978-2-7117-2077-4
Bibliogr. p. 233-234. Index
Langues : Français (fre)
Mots-clés : Langages formels calculabilité complexité Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité fsei00592 004-155.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00593 004-155.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00594 004-155.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00595 004-155.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00597 004-155.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00596 004-155.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Logique(s), langages formels et complexité pour l'informatique / Narendra Jussien
Titre : Logique(s), langages formels et complexité pour l'informatique Type de document : texte imprimé Auteurs : Narendra Jussien, ; Yvon L'Hospitalier, Editeur : Paris : Hermes Sciences Publ. Année de publication : cop. 2006. Autre Editeur : Lavoisier Collection : Collection Informatique (Paris. 1992), ISSN 1242-7691. Importance : 313 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-1395-1 Langues : Français (fre) Mots-clés : informatique Logique langages formels complexité Index. décimale : 004 Résumé : Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés. Logique(s), langages formels et complexité pour l'informatique [texte imprimé] / Narendra Jussien, ; Yvon L'Hospitalier, . - Paris : Hermes Sciences Publ. : [S.l.] : Lavoisier, cop. 2006. . - 313 p. ; 24 cm.. - (Collection Informatique (Paris. 1992), ISSN 1242-7691.) .
ISBN : 978-2-7462-1395-1
Langues : Français (fre)
Mots-clés : informatique Logique langages formels complexité Index. décimale : 004 Résumé : Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei00600 004-138.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00601 004-138.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Sorti jusqu'au 31/05/2023 fsei00602 004-138.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible