J'ai terminé la plupart des éléments du livre Intro to Algorithms de Cormen et je suis à la recherche d'un livre d'algorithmes qui couvre le matériel au-delà du livre de Corman. Y a-t-il des recommandations? REMARQUE: J'ai posé cette question sur stackoverflow mais je n'étais pas trop satisfait de...
J'interagis souvent avec des gens qui veulent demander un algorithme pour un problème de calcul (ou sa complexité), mais ils ne l'expriment pas de manière rigoureuse pour nous (les informaticiens) à comprendre. Les renvoyer à des livres comme CLRS n'est pas utile parce que les exemples là-bas ont...
Je suis récemment devenu extrêmement intéressé par la compréhension et la démonstration d'aspects des langages de programmation (fonctionnels). Cependant, alors que je plonge plus profondément, des choses comme calcul, la théorie des catégories et la sémantique dénotationnelle sont un peu...
Je suis un diplômé non-CS et mon domaine d'études n'est pas lié à CS. Cependant, dans le cadre d'un projet plus vaste visant à devenir informaticien, je souhaite obtenir une solide formation en informatique théorique et en mathématiques en ce qui concerne la CS. J'ai fait de nombreuses recherches...
Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...
Voulez-vous améliorer ce post? Fournissez des réponses détaillées à cette question, notamment des citations et une explication de la raison pour laquelle votre réponse est correcte. Les réponses sans suffisamment de détails peuvent être modifiées ou supprimées. J'ai été chargé de construire une...
Pouvez-vous me donner quelques suggestions sur un bon livre d'introduction (mais complet) sur la logique et le calcul? Voici quelques sujets flous auxquels je pense: Presburger artihm., PA, ZF, ZFC, HOL Théorie des ensembles, Théorie des types Modélisation du calcul (machines de Turing) dans...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 4 ans . Je suis un aspirant à l'élégance et à la...
Je veux fournir des preuves pour des parties d'un programme Haskell que j'écris dans le cadre de ma thèse. Jusqu'à présent cependant, je n'ai pas réussi à trouver un bon ouvrage de référence. Le livre d'introduction de Graham Hutton, Programming in Haskell ( Google Books ) - que j'ai lu tout en...
Un jeune de 15 ans intelligent que je connais s'intéresse à la fois à l'informatique et à la génétique. Je lui ai dit que ces domaines forment une excellente combinaison. Je voudrais lui donner un livre sur la bioinformatique ou la génomique computationnelle. Je cherche un livre amusant, pas un...
Je recherche un texte de référence sur la théorie des graphes appliquée et les algorithmes de graphes. Existe-t-il un texte standard utilisé dans la plupart des programmes informatiques? Sinon, quels sont les textes les plus respectés dans le domaine? J'ai Cormen et