Informatique théorique

Par : Sina Lucien
Formats :
Actuellement indisponible
Cet article est actuellement indisponible, il ne peut pas être commandé sur notre site pour le moment. Nous vous invitons à vous inscrire à l'alerte disponibilité, vous recevrez un e-mail dès que cet ouvrage sera à nouveau disponible.
  • Nombre de pages178
  • PrésentationBroché
  • Poids0.261 kg
  • Dimensions11,0 cm × 17,0 cm × 2,0 cm
  • ISBN8319689290
  • EAN9798319689290
  • Date de parution09/09/2025
  • ÉditeurTHEBOOKEDITION

Résumé

Informatique théorique ? claire, concise et pratique. Ce livre introduit pas à pas les langages formels et la calculabilité : des automates finis aux automates à pile, jusqu'à la machine de Turing. Il présente les modèles, les techniques de preuve et les limites du calculable. Avec de nombreux exemples, schémas, démonstrations et exercices corrigés, il s'adresse aux étudiantes, enseignants et autodidactes.
Les résultats essentiels (lemme de pompage, Myhill ? Nerode, Kleene, diagonalisation, Rice) sont exposés de façon accessible. Idéal pour cours ou auto-apprentissage, il offre des bases solides pour aller vers la théorie de la complexité.
Lucien Sina, Mathématicien et informaticien À propos de Lucien Sina Lucien Sina n'est pas seulement un auteur ; il est un phare d'inspiration pour ceux qui recherchent des transformations profondes dans différents aspects de leur vie. Avec un bagage considérable en mathématiques, informatique et entraînement fitness, le parcours de Lucien est remarquable. Son expertise polyvalente s'étend sur divers domaines, reflétant sa curiosité insatiable et son engagement envers le bien-être holistique. Bodybuilding et Nutrition Saine En tant qu'entraîneur fitness et expert en nutrition agréé, les connaissances de Lucien en musculation et en nutrition saine sont inégalées. À. . .