Discussion :

[BugFactory]

Bonjour,

Je suis ingénieur en informatique, avec pour spécialité le génie logiciel. Je fais actuellement du développement J2EE dans le domaine financier.

C'est intéressant mais par curiosité, j'ai envie d'étudier l'algorithmique, la programmation par contrainte, les intelligences artificielles, les fondements mathématiques de l'informatique, etc (liste NON exhaustive)...

Vaste programme. Si vaste que j'ai bien peur de ne pas savoir par quoi commencer! C'est pourquoi je vous demande conseil.

Les sites Internet sont les bienvenus mais je ne peux pas vraiment les lire dans le métro.
L'anglais est acceptable mais bien sûr je préfère le français.
Je suis également intéressé par tout autre ressource qui me permettraient de mieux appréhender ces choses. (Projets open source par exemple, site d'une université faisant de la recherche, etc..)
Je pense que mon niveau en mathématique est tombé très bas car je n'en ai plus fait depuis trop longtemps.

Pour ne pas gaspiller votre temps si vous ne souhaitez vous adresser qu'aux professionnels, je vous rappelle que c'est la curiosité qui me motive. (Quoique si les chercheurs n'étaient pas si mal lotis...)

Merci d'avance.

[Tellmarch]

Pour l'algo de base, il y a un livre de référence, de Cormen, qui doit s'appeller un truc du genre 'initiation à l'algorithmique'. C'est un livre tres complet sur tous les algos "classiques" d'université, mais plutot dense, pas forcement super facile à lire.

Pour l'IA/Programmation par contrainte je connais moins, je prefere laisser des personnes plus au courant répondre...

[BugFactory]

Merci, en voilà un sur la liste. [Edit] Ce livre aborde-t-il les notions de complexité et de preuve?

Surtout n'hésitez pas à répondre, je préfère avoir un large éventail de conseils, quitte à faire un choix après.

[Tellmarch]

oui il est tres complet pour ce qui est de la complexité.
Je ne sais pas trop ce que tu entends par preuve, en tout cas tous les résultats et les algos sont prouvés.

[FrancisSourd]

Oui, le Cormen traite bien de tout cela.

Un autre livre moins exhaustif mais qui est disponible en ligne sont les éléments d'algorithmiques
http://www-igm.univ-mlv.fr/~berstel/Elements/Elements.html

Pour la programmation par contraintes, c'est moins couvert dans les ouvrages de base. J'ai entendu parlé de celui-ci en français
http://www.vuibert.com/livre440.html
mais je ne l'ai pas lu.

Pour des réf en anglais
http://4c.ucc.ie/web/archive/

Deux projets open source de PPC:
http://choco.sourceforge.net/
http://jopt.sourceforge.net/

[Caine]

En effectuant une rehcerche vace les mots clé "cours" "d'algorithimque" "de preuve de programme"

Tu trouveras pas mal de lien.

Pour ma part, je lis souvent les excellents cours des professeurs d'université.

[Tellmarch]

En effectuant une rehcerche vace les mots clé "cours" "d'algorithimque" "de preuve de programme"

Tu trouveras pas mal de lien.

Pour ma part, je lis souvent les excellents cours des professeurs d'université.

ça ça dépend beaucoup du prof, beaucoup ne sont pas si excellents que ça

[Caine]

Oui c'est comme tout, il y en a des bons d'autres moins

Il faut faire le tri, ce qui demande de savoir apprécier l'information.

Pour l'instant j'ai eu de la chance de ce côté là.

[BugFactory]

Merci beaucoup.

Introduction à l'algorithmique de Cormen est épuisé à la FNAC, je vais continuer à le chercher ou passer commande.

Le lien http://www.vuibert.com/livre440.html était cassé quand je l'ai essayé. Je recommencerai plus tard.

Je me méfie un peu de mes recherches. En général, il faut un minimum de connaissances pour pouvoir faire la différence entre le vrai et le faux, c'est comme ça que je me suis retrouvé à dire des bêtises concernant la lenteur de Java. C'est précisément pour ça que je vous demande conseil. [Edit]Ce qui ne veut pas dire que je ne fais pas mes propres recherches. [/edit]

Caine a écrit:

Pour ma part, je lis souvent les excellents cours des professeurs d'université.

A ce propos, où trouver de tels cours? J'ai du mal à les trouver, j'imagine qu'il faudrait que je connaisse les noms des universités concernées.

[Tellmarch]

en france, les ens sont sans doute les meilleurs "universités" pour ça, ou alors le MPRI...
Mais je ne sais pas si les cours des profs concernés sont disponibles sur le net.

[Marco85]

Introduction à l'algorithmique de Cormen est épuisé à la FNAC, je vais continuer à le chercher ou passer commande.

Salut, il me semble qu'il est disponible immédiatement sur Amazon.fr.

Excellent bouquin !!!

Marco85

[BugFactory]

Amazon propose également ce livre :
Méthodes mathématiques pour l'informatique : Cours et exercices corrigés de Jacques Vélu
Je l'ai également vu à la FNAC.
Quelqu'un a-t-il lu ce livre? Si oui qu'en pensez-vous? Serait-ce un bon outil pour ramener mes maths à un niveau acceptable ou bien faut-il déjà un haut niveau pour le lire?

[BugFactory]

J'ai passé commande pour ces deux livres.

Je garde les autres références données sur ce sujet pour plus tard.

Merci encore pour vos conseils.

[SaintAmand]

Quelques ouvrages de l'agreg. de maths option informatique:

Logique Mathématique 2: Fonction récursive, Thm de Gödel, Th. des ens, th. des modèles, R.Cori et D.Lascar, Dunod,
Compléxité et décidabilité, P. Dehornoy, Springer
Théorie des langages et des automates, JM Autebert, Masson
Introduction to Automata Theory, Languages and Computation, Hopcroft Ullman, Addison-Wesley.

--
SaintAmand

[SaintAmand]

Introduction à l'algorithmique de Cormen est épuisé à la FNAC, je vais continuer à le chercher ou passer commande.

Salut, il me semble qu'il est disponible immédiatement sur Amazon.fr.

Excellent bouquin !!!

Marco85

On peut le télécharger ici:
http://lib.org.by/_djvu/Cs_Computer%...Al_Algorithms/
ainsi que beaucoup d'autres livres d'informatiques fondamentales.

--
SaintAmand

[BugFactory]

Merci, je note ces références, j'y reviendrai quand j'aurai lu les deux livres que j'ai acheté.

J'ai commencé Méthodes mathématiques pour l'informatique. Il s'agit clairement d'une approche pragmatique des mathématiques, moins rigoureuse que ce à quoi j'ai été habitué en math sup. Le contenu est pertinent et bien expliqué, et ne me pose pas de difficultés (jusqu'à présent) malgrès ma baisse de niveau. Les exercices sont indispensables pour bien comprendre certaines choses. Petit défaut : je pense avoir trouvé une erreur dans un enoncé. Ou plutôt une absence d'erreur, probablement corrigée à l'édition, là ou l'auteur en avait volontairement laissé une! Je n'ai pas trouvé d'errata sur le net, il faudra que je lui écrive... Il demande lui-même dans la préface qu'on lui signale les coquilles. J'ai à ce point une bonne impression de l'ensemble, mais je n'en suis qu'au début.

[Betatesteur]

Merci, je note ces références, j'y reviendrai quand j'aurai lu les deux livres que j'ai acheté.

J'ai commencé Méthodes mathématiques pour l'informatique. Il s'agit clairement d'une approche pragmatique des mathématiques, moins rigoureuse que ce à quoi j'ai été habitué en math sup. Le contenu est pertinent et bien expliqué, et ne me pose pas de difficultés (jusqu'à présent) malgrès ma baisse de niveau. Les exercices sont indispensables pour bien comprendre certaines choses. Petit défaut : je pense avoir trouvé une erreur dans un enoncé. Ou plutôt une absence d'erreur, probablement corrigée à l'édition, là ou l'auteur en avait volontairement laissé une! Je n'ai pas trouvé d'errata sur le net, il faudra que je lui écrive... Il demande lui-même dans la préface qu'on lui signale les coquilles. J'ai à ce point une bonne impression de l'ensemble, mais je n'en suis qu'au début.

si c'est jacques velu l'auteur , c'est mon prof

[BugFactory]

J'ai une soudaine envie de vous dire l'erreur pour que vous puissiez vous payer sa tête... Mais ce ne serait pas gentil, et surtout si c'est moi qui me trompe je préfère que ça reste en privé! Après tout, j'ai reconnu moi-même que je ne suis plus très bon en maths. Je lui enverrai un e-mail ce week-end.

[BugFactory]

Désolé de ramener ce thread après si longtemps, mais pour ceux que ça intéresse, il y avait effectivement une erreur due à la conversion Word --> Tex.