University Sétif 1 FERHAT ABBAS Faculty of Sciences
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'Langages formels Complexité de calcul (informatique) Fonctions calculables'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
Langages formels, calculabilité et complexité / Olivier Carton
Titre : Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques Type de document : texte imprimé Auteurs : Olivier Carton, Auteur Editeur : Paris : Vuibert Année de publication : 2008 Importance : 1 vol. (237 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-2077-4 Note générale : Bibliogr. p. 233-234. Index Langues : Français (fre) Catégories : Mathématique Mots-clés : Langages formels
Complexité de calcul (informatique)
Fonctions calculablesIndex. décimale : 511.3 Logique mathématique Résumé :
Discipline en plein essor, l'informatique fondamentale foisonne déjà de résultats remarquables. De la théorie des langages formels aux notions de calculabilité et de complexité, cet ouvrage facile d'accès constitue une introduction à l'informatique fondamentale dont il couvre les grands domaines. Les différentes notions sont mises en relation, les notions de base y sont illustrées de nombreux exemples et l'ensemble est enrichi de compléments qui permettront d'aller plus loin. Aucune connaissance préalable n'est requise pour utiliser ce manuel. Il s'adresse aux étudiants en Master d'informatique ou de mathématiques comme à tous ceux qui désirent acquérir de solides bases en informatique fondamentale. De leur côté, les agrégatifs verront qu'une grande part du programme de l'option informatique de l'agrégation de mathématiques est couverte. Ce livre est propice à de nombreux développements pour les leçons à l'oral. Des exercices corrigés permettent en outre une assimilation efficace. " La présentation est exceptionnellement claire et les preuves sont données avec grand soin. Recherche de qualité : les exercices sont accompagnés de solutions qui sont la seule garantie que l'exercice est faisable "Note de contenu :
Table des matières
LANGAGES FORMELS
Langages rationnels
Langages algébriques
CALCULABILITE ET COMPLEXITE
Calculabilité
ComplexitéCôte titre : Fs/3891 Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques [texte imprimé] / Olivier Carton, Auteur . - Paris : Vuibert, 2008 . - 1 vol. (237 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7117-2077-4
Bibliogr. p. 233-234. Index
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Langages formels
Complexité de calcul (informatique)
Fonctions calculablesIndex. décimale : 511.3 Logique mathématique Résumé :
Discipline en plein essor, l'informatique fondamentale foisonne déjà de résultats remarquables. De la théorie des langages formels aux notions de calculabilité et de complexité, cet ouvrage facile d'accès constitue une introduction à l'informatique fondamentale dont il couvre les grands domaines. Les différentes notions sont mises en relation, les notions de base y sont illustrées de nombreux exemples et l'ensemble est enrichi de compléments qui permettront d'aller plus loin. Aucune connaissance préalable n'est requise pour utiliser ce manuel. Il s'adresse aux étudiants en Master d'informatique ou de mathématiques comme à tous ceux qui désirent acquérir de solides bases en informatique fondamentale. De leur côté, les agrégatifs verront qu'une grande part du programme de l'option informatique de l'agrégation de mathématiques est couverte. Ce livre est propice à de nombreux développements pour les leçons à l'oral. Des exercices corrigés permettent en outre une assimilation efficace. " La présentation est exceptionnellement claire et les preuves sont données avec grand soin. Recherche de qualité : les exercices sont accompagnés de solutions qui sont la seule garantie que l'exercice est faisable "Note de contenu :
Table des matières
LANGAGES FORMELS
Langages rationnels
Langages algébriques
CALCULABILITE ET COMPLEXITE
Calculabilité
ComplexitéCôte titre : Fs/3891 Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité Fs/3894 Fs/3891-3894 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/3893 Fs/3891-3894 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/3892 Fs/3891-3894 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/3891 Fs/3891-3894 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/6713 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6714 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6715 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6716 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6717 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6718 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
Disponible