الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'analyse amortie'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Informatique théorique / Huy Xuong Nguyen
Titre : Informatique théorique : problèmes et exercices corrigés Type de document : texte imprimé Auteurs : Huy Xuong Nguyen, Auteur Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup, ISSN 1636-2217 Importance : 246 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 2-10-007281-1 Prix : 29 EUR Note générale : Éditeur : Dunod; Nouvelle édition (15 janvier 2004)
Langue : Français
Broché : 248 pages
ISBN-10 : 2100072811
ISBN-13 : 978-2100072811
Poids de l'article : 440 g
Dimensions : 17 x 1.5 x 24 cmLangues : Français (fre) Mots-clés : informatique schémas algorithme pgcd analyse amortie système linéaire Index. décimale : 003 Informatique Générale Résumé : 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.
L'informatique théorique est une discipline qui repose en grande partie sur certains domaines des mathématiques, notamment les mathématiques discrètes et la logique. Ce recueil compte 62 problèmes tous corrigés et 75 exercices avec des indications de solution.
Biographie de l'auteur
Université de GrenobleNote de contenu : La couv. porte en plus : "master 1re et 2e années, écoles d'ingénieurs"
Glossaire. IndexInformatique théorique : problèmes et exercices corrigés [texte imprimé] / Huy Xuong Nguyen, Auteur . - Paris : Dunod, 2003 . - 246 p. : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup, ISSN 1636-2217) .
ISBN : 2-10-007281-1 : 29 EUR
Éditeur : Dunod; Nouvelle édition (15 janvier 2004)
Langue : Français
Broché : 248 pages
ISBN-10 : 2100072811
ISBN-13 : 978-2100072811
Poids de l'article : 440 g
Dimensions : 17 x 1.5 x 24 cm
Langues : Français (fre)
Mots-clés : informatique schémas algorithme pgcd analyse amortie système linéaire Index. décimale : 003 Informatique Générale Résumé : 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.
L'informatique théorique est une discipline qui repose en grande partie sur certains domaines des mathématiques, notamment les mathématiques discrètes et la logique. Ce recueil compte 62 problèmes tous corrigés et 75 exercices avec des indications de solution.
Biographie de l'auteur
Université de GrenobleNote de contenu : La couv. porte en plus : "master 1re et 2e années, écoles d'ingénieurs"
Glossaire. IndexExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST19244 003/18.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt ST19245 003/18.2 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt