الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'langages et automates'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Fondements mathématiques de l'informatique / Jacques Stern
Titre : Fondements mathématiques de l'informatique Type de document : texte imprimé Auteurs : Jacques Stern, Auteur Editeur : Paris : MC graw-Hill Année de publication : 1990 Collection : Informatique (Paris. 1987), ISSN 0989-392X Importance : XVI-318 p. Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 2-7042-1228-7 Prix : 175 F Note générale : Titre Fondements mathématiques de l'informatique
Collection informatique, ISSN 0989-392X
Auteur Jacques Stern
Éditeur McGraw-Hill, 1990
ISBN 2704212287, 9782704212286
Longueur 318 pagesLangues : Français (fre) Mots-clés : langages et automates modèles de calcul fonctions récursives calcul propositionnel calcul des prédicats programmation logique grammaires et analyse syntaxique Index. décimale : 003 Informatique Générale Résumé : Sommaire :
langages et automates
modèles de calcul
fonctions récursives
calcul propositionnel
calcul des prédicats
programmation logique
grammaires et analyse syntaxiqueNote de contenu : Bibliogr. p. 309-312. Index Fondements mathématiques de l'informatique [texte imprimé] / Jacques Stern, Auteur . - Paris : MC graw-Hill, 1990 . - XVI-318 p. : ill., couv. ill. ; 24 cm. - (Informatique (Paris. 1987), ISSN 0989-392X) .
ISBN : 2-7042-1228-7 : 175 F
Titre Fondements mathématiques de l'informatique
Collection informatique, ISSN 0989-392X
Auteur Jacques Stern
Éditeur McGraw-Hill, 1990
ISBN 2704212287, 9782704212286
Longueur 318 pages
Langues : Français (fre)
Mots-clés : langages et automates modèles de calcul fonctions récursives calcul propositionnel calcul des prédicats programmation logique grammaires et analyse syntaxique Index. décimale : 003 Informatique Générale Résumé : Sommaire :
langages et automates
modèles de calcul
fonctions récursives
calcul propositionnel
calcul des prédicats
programmation logique
grammaires et analyse syntaxiqueNote de contenu : Bibliogr. p. 309-312. Index Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST19153 003/80.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt Mathématiques à l'usage des informaticiens / Thierry Brugère
Titre : Mathématiques à l'usage des informaticiens Type de document : texte imprimé Auteurs : Thierry Brugère, Auteur ; Alain Mollard, Auteur ; Henri Habrias (1946-....), Collaborateur Editeur : Paris : Ellipses Année de publication : 2003 Importance : 429 p. Présentation : ill., couv. ill. Format : 24*17 cm ISBN/ISSN/EAN : 978-2-7298-1399-4 Prix : 29,50 EUR Note générale : Éditeur : ELLIPSES (20 août 2003)
Langue : Français
Broché : 430 pages
ISBN-10 : 2729813993
ISBN-13 : 978-2729813994
Poids de l'article : 721 g
Dimensions : 16.5 x 2.3 x 24 cmLangues : Français (fre) Mots-clés : ensembles relations binaires logique langages et automates graphes arbres polynômes calcul matriciel codes correcteurs arithmétique cryptographie civile logarithmes dénombrement structures Index. décimale : 510 Résumé : Ce qu'un étudiant en informatique doit maîtriser en algèbre générale, en arithmétique, en logique... Public : IUT Licence, Miage, écoles d'ingénieurs
Biographie de l'auteur
Thierry Brugère et Alain Mollard, agrégés de mathématiques, enseignent tous deux les mathématiques pour l'informatique, aussi bien en formation continue qu'en formation initiale, à l'université de Nantes
Sommaire :
ensembles
relations binaires
logique
langages et automates
graphes,arbres
polynômes
calcul matriciel
codes correcteurs
arithmétique
cryptographie civile
logarithmes
dénombrement
structures.SOMMAIRE:THéORIE NAIVE DES ENSEMBLES,CALCUL BOOLéEN-RELATIONS BINAIRES-LOGIQUE DES PROPOSITIONS-LOGIQUE DES PRéDICATS-LANGAGES ET AUTOMATES-GRAPHES,ARBRES-POLYNOMES-CALCUL MATRICIEL,SYSTéMES LINéAIRES,ALGéBRE LINéAIRE-CODES CORRECTEURS D'ERREURS-ARITHMéTIQUE-CRYPTOGRAPHIE CIVILE-LES LOGARITHMES-DéNOMBREMENT-MODéLISATION DU HASARD-STRUCTURESNote de contenu : Bibliogr. p. 427-429. Index Mathématiques à l'usage des informaticiens [texte imprimé] / Thierry Brugère, Auteur ; Alain Mollard, Auteur ; Henri Habrias (1946-....), Collaborateur . - Paris : Ellipses, 2003 . - 429 p. : ill., couv. ill. ; 24*17 cm.
ISBN : 978-2-7298-1399-4 : 29,50 EUR
Éditeur : ELLIPSES (20 août 2003)
Langue : Français
Broché : 430 pages
ISBN-10 : 2729813993
ISBN-13 : 978-2729813994
Poids de l'article : 721 g
Dimensions : 16.5 x 2.3 x 24 cm
Langues : Français (fre)
Mots-clés : ensembles relations binaires logique langages et automates graphes arbres polynômes calcul matriciel codes correcteurs arithmétique cryptographie civile logarithmes dénombrement structures Index. décimale : 510 Résumé : Ce qu'un étudiant en informatique doit maîtriser en algèbre générale, en arithmétique, en logique... Public : IUT Licence, Miage, écoles d'ingénieurs
Biographie de l'auteur
Thierry Brugère et Alain Mollard, agrégés de mathématiques, enseignent tous deux les mathématiques pour l'informatique, aussi bien en formation continue qu'en formation initiale, à l'université de Nantes
Sommaire :
ensembles
relations binaires
logique
langages et automates
graphes,arbres
polynômes
calcul matriciel
codes correcteurs
arithmétique
cryptographie civile
logarithmes
dénombrement
structures.SOMMAIRE:THéORIE NAIVE DES ENSEMBLES,CALCUL BOOLéEN-RELATIONS BINAIRES-LOGIQUE DES PROPOSITIONS-LOGIQUE DES PRéDICATS-LANGAGES ET AUTOMATES-GRAPHES,ARBRES-POLYNOMES-CALCUL MATRICIEL,SYSTéMES LINéAIRES,ALGéBRE LINéAIRE-CODES CORRECTEURS D'ERREURS-ARITHMéTIQUE-CRYPTOGRAPHIE CIVILE-LES LOGARITHMES-DéNOMBREMENT-MODéLISATION DU HASARD-STRUCTURESNote de contenu : Bibliogr. p. 427-429. Index Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST13137 510/44.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt