الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
31 résultat(s) recherche sur le mot-clé 'Algorithmes'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Algorithmes / Thomas H. Cormen
Titre : Algorithmes : notions de base Type de document : texte imprimé Auteurs : Thomas H. Cormen, Auteur Editeur : Paris : Dunod Année de publication : 2013 Collection : Sciences sup, ISSN 1636-2217 Importance : 1 vol. (X-229 p.) Présentation : ill., couv. ill. en coul. Format : 15X22 cm ISBN/ISSN/EAN : 978-2-10-070151-3 Prix : 22 EUR Note générale : Éditeur : Eni; Illustrated édition (10 décembre 2014)
Langue : Français
Broché : 502 pages
ISBN-10 : 2746092158
ISBN-13 : 978-2746092150
Poids de l'article : 740 g
Dimensions : 17.8 x 1.8 x 21.6 cmLangues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Algorithmes algorithmes de tri minorant chaines de caractères cryptographie compression de données complexité Index. décimale : 518. Analyse Numérique Algorithme-Méthodes Numériques Résumé : Ce livre sur l'Intelligence Artificielle s'adresse particulièrement aux développeurs. En effet, bien que l'IA soit un domaine présent en informatique depuis de nombreuses années, il est encore sous-utilisé. Les développeurs hésitent souvent à se lancer, rebutés par les connaissances mathématiques qu'ils pensent nécessaires à l'exploitation de ce domaine. Dans ce livre, les exemples donnés en C# permettent de les aider à passer de la théorie à la pratique. De plus ceux-ci étant génériques, ils sont facilement adaptables à de nombreuses applications C#, que ce soit en Silverlight, sur Windows Phone, pour Windows 8 ou pour des applications .Net plus classiques.
Ainsi, au fil des chapitres, l'auteur présente les principales techniques d'Intelligence Artificielle existantes. Pour chaque technique, sont présentées les inspirations, biologiques, physiques voire mathématiques, puis les différents concepts et principes (sans entrer dans les détails mathématiques), avec des exemples et figures pour chacun de ceux-ci. Les domaines d'application sont illustrés par des applications réelles et actuelles. Enfin, chaque chapitre contient un exemple d'implémentation générique, complété par une application pratique, développée en C#, dont le code est disponible sur le site de l'éditeur.
Les techniques d'Intelligence Artificielles décrites sont :
- Les systèmes experts, permettant d'appliquer des règles pour prendre des décisions ou découvrir de nouvelles connaissances.
- La logique floue, permettant de contrôler des systèmes informatiques ou mécaniques de manière beaucoup plus souple que les programmes traditionnels.
- Les algorithmes de recherche de chemin, dont le A* très utilisé dans les jeux vidéo pour trouver les meilleurs itinéraires.
- Les algorithmes génétiques, utilisant la puissance de l'évolution pour apporter des solutions à des problèmes complexes.
- Les principales métaheuristiques, dont la recherche tabou, trouvant des optimums à des problèmes d'optimisation, avec ou sans contraintes.
- Les systèmes multi-agents, simulant des foules ou permettant des comportements émergents à partir de plusieurs agents très simples.
- Et les réseaux de neurones, capables de découvrir et de reconnaître des patterns, dans des suites historiques, des images ou encore des données.
Le livre se termine par une bibliographie, permettant au lecteur de trouver plus d'informations sur certaines techniques particulières, une sitographie listant quelques articles présentant des applications réelles, une annexe et un index.
Biographie de l'auteur
Après un diplôme d'ingénieur INSA et un DEA ""Documents, Images et Systèmes d'Informations Communicants"", Virginie MATHIVET a fait une thèse de doctorat au sein du laboratoire LIRIS, en Intelligence Artificielle, plus précisément sur les algorithmes génétiques et les réseaux de neurones. Elle est aujourd'hui professeur permanent à l'EPSI de Lyon, où elle enseigne l'Intelligence Artificielle ainsi que des matières liées au développement (C#, PHP, Java, JS…), la modélisation 3D ou les méthodologies de développement. A travers ce livre, elle partage sa passion pour le domaine de l'Intelligence Artificielle et le met à la portée des développeurs pour qu'ils puissent en exploiter tout le potentiel.
SOMMAIRE:
1-INTRODUCTION AUX ALGORITHMES
2-DéCRIRE ET éVALUER DES ALGORITHMES
3-ALGORITHMES DE TRI ET DE RECHERCHE
4-MINORANT POUR LE TRI à BATTRE
5-GRAPHES ORIENTéS ACYCLIQUES
6-PLUS COURANTS CHEMINS
7-ALGORITHMES SUR LES CHAINES DE CARACTéRES
8-BASES DE LA CRYPTOGRAPHIE
9-COMPRESSION
10-COMPLEXITé
Note de contenu : La couv. porte en plus : "licence, IUT, écoles d'ingénieurs"
Bibliogr. p. 220.
IndexAlgorithmes : notions de base [texte imprimé] / Thomas H. Cormen, Auteur . - Paris : Dunod, 2013 . - 1 vol. (X-229 p.) : ill., couv. ill. en coul. ; 15X22 cm. - (Sciences sup, ISSN 1636-2217) .
ISBN : 978-2-10-070151-3 : 22 EUR
Éditeur : Eni; Illustrated édition (10 décembre 2014)
Langue : Français
Broché : 502 pages
ISBN-10 : 2746092158
ISBN-13 : 978-2746092150
Poids de l'article : 740 g
Dimensions : 17.8 x 1.8 x 21.6 cm
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Algorithmes algorithmes de tri minorant chaines de caractères cryptographie compression de données complexité Index. décimale : 518. Analyse Numérique Algorithme-Méthodes Numériques Résumé : Ce livre sur l'Intelligence Artificielle s'adresse particulièrement aux développeurs. En effet, bien que l'IA soit un domaine présent en informatique depuis de nombreuses années, il est encore sous-utilisé. Les développeurs hésitent souvent à se lancer, rebutés par les connaissances mathématiques qu'ils pensent nécessaires à l'exploitation de ce domaine. Dans ce livre, les exemples donnés en C# permettent de les aider à passer de la théorie à la pratique. De plus ceux-ci étant génériques, ils sont facilement adaptables à de nombreuses applications C#, que ce soit en Silverlight, sur Windows Phone, pour Windows 8 ou pour des applications .Net plus classiques.
Ainsi, au fil des chapitres, l'auteur présente les principales techniques d'Intelligence Artificielle existantes. Pour chaque technique, sont présentées les inspirations, biologiques, physiques voire mathématiques, puis les différents concepts et principes (sans entrer dans les détails mathématiques), avec des exemples et figures pour chacun de ceux-ci. Les domaines d'application sont illustrés par des applications réelles et actuelles. Enfin, chaque chapitre contient un exemple d'implémentation générique, complété par une application pratique, développée en C#, dont le code est disponible sur le site de l'éditeur.
Les techniques d'Intelligence Artificielles décrites sont :
- Les systèmes experts, permettant d'appliquer des règles pour prendre des décisions ou découvrir de nouvelles connaissances.
- La logique floue, permettant de contrôler des systèmes informatiques ou mécaniques de manière beaucoup plus souple que les programmes traditionnels.
- Les algorithmes de recherche de chemin, dont le A* très utilisé dans les jeux vidéo pour trouver les meilleurs itinéraires.
- Les algorithmes génétiques, utilisant la puissance de l'évolution pour apporter des solutions à des problèmes complexes.
- Les principales métaheuristiques, dont la recherche tabou, trouvant des optimums à des problèmes d'optimisation, avec ou sans contraintes.
- Les systèmes multi-agents, simulant des foules ou permettant des comportements émergents à partir de plusieurs agents très simples.
- Et les réseaux de neurones, capables de découvrir et de reconnaître des patterns, dans des suites historiques, des images ou encore des données.
Le livre se termine par une bibliographie, permettant au lecteur de trouver plus d'informations sur certaines techniques particulières, une sitographie listant quelques articles présentant des applications réelles, une annexe et un index.
Biographie de l'auteur
Après un diplôme d'ingénieur INSA et un DEA ""Documents, Images et Systèmes d'Informations Communicants"", Virginie MATHIVET a fait une thèse de doctorat au sein du laboratoire LIRIS, en Intelligence Artificielle, plus précisément sur les algorithmes génétiques et les réseaux de neurones. Elle est aujourd'hui professeur permanent à l'EPSI de Lyon, où elle enseigne l'Intelligence Artificielle ainsi que des matières liées au développement (C#, PHP, Java, JS…), la modélisation 3D ou les méthodologies de développement. A travers ce livre, elle partage sa passion pour le domaine de l'Intelligence Artificielle et le met à la portée des développeurs pour qu'ils puissent en exploiter tout le potentiel.
SOMMAIRE:
1-INTRODUCTION AUX ALGORITHMES
2-DéCRIRE ET éVALUER DES ALGORITHMES
3-ALGORITHMES DE TRI ET DE RECHERCHE
4-MINORANT POUR LE TRI à BATTRE
5-GRAPHES ORIENTéS ACYCLIQUES
6-PLUS COURANTS CHEMINS
7-ALGORITHMES SUR LES CHAINES DE CARACTéRES
8-BASES DE LA CRYPTOGRAPHIE
9-COMPRESSION
10-COMPLEXITé
Note de contenu : La couv. porte en plus : "licence, IUT, écoles d'ingénieurs"
Bibliogr. p. 220.
IndexRéservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST19481 518/54.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST19482 518/54.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST19483 518/54.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Arbres, tables et algorithmes / Christian Vial
Titre : Arbres, tables et algorithmes Type de document : texte imprimé Auteurs : Christian Vial (1946-....), Auteur ; Jacques Guyot (1955-....), Auteur Editeur : CHIHAB EYROLLES Année de publication : 1994 Importance : XVI-284 p. Présentation : ill., couv. ill. en coul. Format : 17x24 cm Prix : 115 F Note générale : Titre Arbres, tables et algorithmes
Auteurs Jacques Guyot, Christian Vial
Éditeur Chihab-Eyrolles, 1994
Longueur 284 pagesLangues : Français (fre) Mots-clés : algorithmique structures de données algorithmes arbres présentation objets et actions élémentaires actions composées.structures de controle production d'algorithmes présentation et définitions structures de données statiques structures de données dynamiques files,piles et files d'attente graphes méthodes de tri recherche en table tables arborscentes arbres B ARBRES BB ARBRES 2-3 ALGORITHMES SBB ALGORITHMES à ESSAIS SUCCESSIFS.BACKTRACKING
structures de contrôle
production d'algorithmes
2-structures de données
structures de données statiques
structures de données dynamiques
files piles et d'attente
arbres
3-algorithmes
méthodes de tri
recherche en tableIndex. décimale : 518. Analyse Numérique Algorithme-Méthodes Numériques Résumé : Sommaire :
1-algorithmique
2-présentation
3-objets et actions élémentaires
4-actions composées.structures de controle
5-production d'algorithmes
6-structures de données
7-présentation et définitions
8-structures de données statiques
9-structures de données dynamiques
10-files,piles et files d'attente
11-arbres
12-graphes
13-algorithmes
14-méthodes de tri
15-recherche en table
16-tables arborscentes
17-arbres B
18-ARBRES BB ARBRES 2-3
19-ALGORITHMES SBB
20-ALGORITHMES à ESSAIS SUCCESSIFS.BACKTRACKING
structures de contrôle
production d'algorithmes
2-structures de données
structures de données statiques
structures de données dynamiques
files piles et d'attente
arbres
3-algorithmes
méthodes de tri
recherche en tableNote de contenu : BibliogrAPHIE. p. 283-284 Arbres, tables et algorithmes [texte imprimé] / Christian Vial (1946-....), Auteur ; Jacques Guyot (1955-....), Auteur . - [S.l.] : CHIHAB EYROLLES, 1994 . - XVI-284 p. : ill., couv. ill. en coul. ; 17x24 cm.
115 F
Titre Arbres, tables et algorithmes
Auteurs Jacques Guyot, Christian Vial
Éditeur Chihab-Eyrolles, 1994
Longueur 284 pages
Langues : Français (fre)
Mots-clés : algorithmique structures de données algorithmes arbres présentation objets et actions élémentaires actions composées.structures de controle production d'algorithmes présentation et définitions structures de données statiques structures de données dynamiques files,piles et files d'attente graphes méthodes de tri recherche en table tables arborscentes arbres B ARBRES BB ARBRES 2-3 ALGORITHMES SBB ALGORITHMES à ESSAIS SUCCESSIFS.BACKTRACKING
structures de contrôle
production d'algorithmes
2-structures de données
structures de données statiques
structures de données dynamiques
files piles et d'attente
arbres
3-algorithmes
méthodes de tri
recherche en tableIndex. décimale : 518. Analyse Numérique Algorithme-Méthodes Numériques Résumé : Sommaire :
1-algorithmique
2-présentation
3-objets et actions élémentaires
4-actions composées.structures de controle
5-production d'algorithmes
6-structures de données
7-présentation et définitions
8-structures de données statiques
9-structures de données dynamiques
10-files,piles et files d'attente
11-arbres
12-graphes
13-algorithmes
14-méthodes de tri
15-recherche en table
16-tables arborscentes
17-arbres B
18-ARBRES BB ARBRES 2-3
19-ALGORITHMES SBB
20-ALGORITHMES à ESSAIS SUCCESSIFS.BACKTRACKING
structures de contrôle
production d'algorithmes
2-structures de données
structures de données statiques
structures de données dynamiques
files piles et d'attente
arbres
3-algorithmes
méthodes de tri
recherche en tableNote de contenu : BibliogrAPHIE. p. 283-284 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST19147 518/34.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt Les démonstrations et les algorithmes / Gilles Dowek
Titre : Les démonstrations et les algorithmes : introduction la logique et la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek (1966-....), Editeur : Palaiseau : d. de l'cole polytechnique Année de publication : impr. 2011, cop. 2011. Autre Editeur : [Paris] : diff. Ellipses Collection : Informatique (Palaiseau) Importance : 1 vol. (193 p.) Présentation : fig., couv. ill. en coul. Format : 17x24 cm. ISBN/ISSN/EAN : 978-2-7302-1569-5 Prix : 18 EUR Note générale : Éditeur : Editions de l'école polytechnique; 1er édition (5 octobre 2010)
Langue : Français
Broché : 194 pages
ISBN-10 : 2730215697
ISBN-13 : 978-2730215695
Poids de l'article : 340 g
Dimensions : 17 x 1.3 x 24 cmLangues : Français (fre) Mots-clés : Les démonstrations et les algorithmes logique des prédicats modèles algorithmes fonctions calculables calcul commune une suite de petit pas démonstration automatique Index. décimale : 518. Analyse Numérique Algorithme-Méthodes Numériques Résumé : La 4e de couverture indique : "Tour tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modéle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théoéme d'indécidabilité de Church, le théoéme d'incomplétude de G´del, le théoéme de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-méme."Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul.
Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.
sommaire:
1-la logique des prédicats
2-les modéles
II-LES ALGORITHMES
3-LES FONCTIONS CALCULABLES
4-LE CALCUL COMME UNE SUITE DE PETITS PAS
III-les démonstrations et les algorithmes
5-le théoréme de church
6-la démonstration automatique
7-des théories décidables
8-la constructivitéNote de contenu : Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité (Français) Broché – 5 octobre 2010
de Gilles Dowek (Auteur)Les démonstrations et les algorithmes : introduction la logique et la calculabilité [texte imprimé] / Gilles Dowek (1966-....), . - Palaiseau : d. de l'cole polytechnique : [Paris] : diff. Ellipses, impr. 2011, cop. 2011. . - 1 vol. (193 p.) : fig., couv. ill. en coul. ; 17x24 cm.. - (Informatique (Palaiseau)) .
ISBN : 978-2-7302-1569-5 : 18 EUR
Éditeur : Editions de l'école polytechnique; 1er édition (5 octobre 2010)
Langue : Français
Broché : 194 pages
ISBN-10 : 2730215697
ISBN-13 : 978-2730215695
Poids de l'article : 340 g
Dimensions : 17 x 1.3 x 24 cm
Langues : Français (fre)
Mots-clés : Les démonstrations et les algorithmes logique des prédicats modèles algorithmes fonctions calculables calcul commune une suite de petit pas démonstration automatique Index. décimale : 518. Analyse Numérique Algorithme-Méthodes Numériques Résumé : La 4e de couverture indique : "Tour tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modéle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théoéme d'indécidabilité de Church, le théoéme d'incomplétude de G´del, le théoéme de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-méme."Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul.
Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.
sommaire:
1-la logique des prédicats
2-les modéles
II-LES ALGORITHMES
3-LES FONCTIONS CALCULABLES
4-LE CALCUL COMME UNE SUITE DE PETITS PAS
III-les démonstrations et les algorithmes
5-le théoréme de church
6-la démonstration automatique
7-des théories décidables
8-la constructivitéNote de contenu : Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité (Français) Broché – 5 octobre 2010
de Gilles Dowek (Auteur)Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST14223 518/52.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST14224 518/52.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST14225 518/52.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Graphes et algorithmes
Titre : Graphes et algorithmes Type de document : texte imprimé Langues : Français (fre) Mots-clés : Graphes et algorithmes algèbres diodes arbres arborescences flots réseaux couplages parcours matroïdes algorithmes programmation linéaire relaxation lagrangienne Index. décimale : 515 Graphes et algorithmes [texte imprimé] . - [s.d.].
Langues : Français (fre)
Mots-clés : Graphes et algorithmes algèbres diodes arbres arborescences flots réseaux couplages parcours matroïdes algorithmes programmation linéaire relaxation lagrangienne Index. décimale : 515 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Graphes et algorithmes
Titre : Graphes et algorithmes Type de document : texte imprimé Langues : Français (fre) Mots-clés : Graphes et algorithmes algèbres diodes arbres arborescences flots réseaux couplages parcours matroïdes algorithmes programmation linéaire relaxation lagrangienne Index. décimale : 515 Graphes et algorithmes [texte imprimé] . - [s.d.].
Langues : Français (fre)
Mots-clés : Graphes et algorithmes algèbres diodes arbres arborescences flots réseaux couplages parcours matroïdes algorithmes programmation linéaire relaxation lagrangienne Index. décimale : 515 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Graphes et algorithmes
PermalinkGraphes et algorithmes
PermalinkGraphes et algorithmes
PermalinkGraphes et algorithmes
PermalinkGraphes et algorithmes
Permalink