Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité - Agpara.gq

Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité par Gilles Dowek

Titre de livre: Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

Éditeur: Ecole Polytechnique

ISBN: 2730215697

Auteur: Gilles Dowek

Gilles Dowek avec Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

  • Principes des langages de programmation
  • Introduction à la théorie des langages de programmation
  • Langages formels - Calculabilité et complexité - Licence 3 & Master - Agrégation
  • Théorie des ensembles: Introduction à une théorie de l'infini et des grands cardinaux
  • Big Data et Machine Learning - 2e éd. - Les concepts et les outils de la data science
  • Prolog, tout de suite!
  • Le point aveugle : Cours de logique Tome 2, Vers l'imperfection
  • Intelligence artificielle 3e édition : Avec plus de 500 exercices
  • Mathématiques et mystères
  • Comprendre le Deep Learning: Une introduction aux réseaux de neurones