Complexité algorithmique

par Perifel, Sylvain (1982-....)

Ellipses

2014 -

Disponible - 518 PER

Niveau 2 - Sciences

Résumé : Un manuel qui présente la complexité algorithmique, avec des cours et des exercices.

Complexité et algorithmique avancée : une introduction

par Lavallée, Ivan (1946-....)

Hermann

2008 -

Disponible - 681.21 LAV

Niveau 3 - Informatique

Résumé : Exposé introductif à la pratique de la théorie de la complexité. Introduction aux concepts fondamentaux du domaine, définition des trois principales classes de complexité P, NP et NPC, ainsi que du concept de quantité absolue d'information, et résolution de problèmes avec les concepts probabilistes ou les méthodes d'énumération implicite.

La machine de Turing

par Turing, Alan Mathison (1912-1954) ; Girard, Jean-Yves (1947-....)

Seuil

1995 -

Disponible - 510.1 TUR

Niveau 2 - Sciences

Résumé : Ce livre comprend, traduits de l'anglais, deux articles d'Alan Turing : "On computable numbers" and "Computing machinery and intelligence", précédés chacun d'une introduction inédite de Jean-Yves Girard.La machine de Turing comme modèle de la calculabilité a sa source dans le premier article, qui date de 1936. Alan Turing (1912-1954) y démontre, entre autres, qu'il existe des nombres définissables qui ne sont pas calculables. Le second article est une réflexion sur les développements possibles de l'intelligence artificielle à partir de la question : "les machines peuvent-elles penser ?"