Complexité algorithmique

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

Ellipses

2014 -

Disponible - 518 PER

Etage 3 - Santé, Sciences et Techniques - 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

Etage 3 - Informatique - 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.

Langages formels : calculabilité et complexité

par Carton, Olivier

Vuibert

2014 -

Disponible - 681.0(07) CAR

Etage 3 - Informatique - Informatique

Résumé : Cours de base présentant les notions élémentaires de mathématiques indispensables à l'informatique. Illustré d'exercices corrigés.

La machine de Turing

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

Seuil

1995 -

Disponible - 510.1 TUR

Etage 3 - Santé, Sciences et Techniques - 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 ?"

Information, complexité et hasard

par Delahaye, Jean-Paul (1952-....)

Hermès science publ.

1999

Disponible - 510.1 DEL

Etage 3 - Santé, Sciences et Techniques - Sciences

Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorythmique, la preuve et la complexité

par Carrier, Fabienne ; Mounier, Laurent ; Lafourcade, Pascal

Ellipses

2014 -

Disponible - 681.25(07) CAR

Etage 3 - Informatique - Informatique

Résumé : Une quarantaine d'exercices classés en plusieurs catégories en fonction de la nature des données manipulées (entiers, listes, arborescences). Plusieurs solutions sont systématiquement proposées avec, pour chacune, une analyse des temps de calcul.