L'aspect nécessairement technique de la pratique de l'informatique masque trop souvent les bases théoriques de la discipline. Pour aider les étudiants des filières " informatique " et " mathématiques appliquées " à mieux appréhender ces notions abstraites, cet ouvrage propose un ensemble de 62 problèmes et de 75 exercices corrigés ayant trait à la théorie de l'informatique. Leur résolution constituera d'une part un excellent moyen de mieux maîtriser les cours, mais elle apportera aussi une réflexion modeste sur la rigueur de cette discipline. Une attention particulière a été portée à la rigueur et à la précision de la rédaction des démonstrations. Partant de la notion d'ensemble semi-reconnaissable (ou récursivement énumérable) pour s'attaquer aux problèmes décidables, l'ouvrage passe d'abord en revue différentes méthodes de preuve. Il aborde ensuite le thème de la génération inductive d'ensembles, avant d'exposer les fondements de la reconnaissance des langages formels. Il s'achève par l'étude des classes de complexité des algorithmes et des problèmes. Outre les étudiants, un tel ouvrage intéressera également les enseignants et tous ceux qui s'intéressent aux fondements de l'informatique.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
N. H. XUONG est professeur à l'université Joseph Fourier de Grenoble. Il poursuit ses travaux de Mathématiques Discrètes au sein de l'équipe Maths à Modeler au Laboratoire Leibniz de l'Institut IMAG à Grenoble.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
EUR 3,50 expédition vers France
Destinations, frais et délaisVendeur : Ammareal, Morangis, France
Softcover. Etat : Bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Stains on the edge. Edition 2004. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur D-630-254
Quantité disponible : 1 disponible(s)
Vendeur : Ammareal, Morangis, France
Softcover. Etat : Bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Stains on the edge. Edition 2004. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur D-630-253
Quantité disponible : 1 disponible(s)
Vendeur : Ammareal, Morangis, France
Softcover. Etat : Bon. Ancien livre de bibliothèque. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2004. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur F-914-241
Quantité disponible : 1 disponible(s)
Vendeur : La bataille des livres, Pradinas, France
Etat : Très Bon. Informatique théorique : Problèmes et exercices corrigés | N.Huy Xuong | Dunod, 2003. In-8° broché, 245 pages. Couverture propre. Dos solide. Intérieur frais sans soulignage ou annotation. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Très bon état général [NM53]. N° de réf. du vendeur OF-CVSH-K0N9
Quantité disponible : 1 disponible(s)