University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.13



Bases en algorithmique et en programmation
Titre : Bases en algorithmique et en programmation : Cours et 120 exercices corrigés Type de document : texte imprimé Editeur : Paris : Ellipses Année de publication : 2021 Importance : 1 vol. (447 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-340-04776-1 Note générale : La couv. porte en plus : "L1"
IndexLangues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé :
Ce livre présente les notions de base en algorithmique-programmation. Son originalité réside en particulier dans sa progression, qui aborde successivement les notions de valeur et de type, de fonction, de conditionnelle, de fonction récursive, de liste, d'instruction itérative et de tableau. Ces notions sont mises en oeuvre dans de nombreux algorithmes, complétés par 120 exercices commentés et corrigés permettant d'acquérir un savoir-faire de base dans les activités liées à l'algorithmique-programmation : analyse d'un problème, formalisation, conception, développement et vérification.
Pour l'expérimentation des notions et l'écriture des algorithmes, le langage utilisé est une partie du langage OCaml, choisie pour sa proximité avec les concepts mis en oeuvre dans de nombreux autres langages de programmation. Ce livre est destiné à toute personne désireuse de concevoir et de développer des algorithmes. Aucun prérequis n'est nécessaire : l'ouvrage s'adresse donc à tout étudiant de ire année (licence, DUT, BTS, classe préparatoire), voire de première ou de terminale, ainsi qu'à toute personne intéressée par les concepts fondamentaux de l'algorithmique-programmation et à leur mise en oeuvre.Côte titre : Fs/24769-24771 Bases en algorithmique et en programmation : Cours et 120 exercices corrigés [texte imprimé] . - Paris : Ellipses, 2021 . - 1 vol. (447 p.) ; 24 cm.
ISBN : 978-2-340-04776-1
La couv. porte en plus : "L1"
Index
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé :
Ce livre présente les notions de base en algorithmique-programmation. Son originalité réside en particulier dans sa progression, qui aborde successivement les notions de valeur et de type, de fonction, de conditionnelle, de fonction récursive, de liste, d'instruction itérative et de tableau. Ces notions sont mises en oeuvre dans de nombreux algorithmes, complétés par 120 exercices commentés et corrigés permettant d'acquérir un savoir-faire de base dans les activités liées à l'algorithmique-programmation : analyse d'un problème, formalisation, conception, développement et vérification.
Pour l'expérimentation des notions et l'écriture des algorithmes, le langage utilisé est une partie du langage OCaml, choisie pour sa proximité avec les concepts mis en oeuvre dans de nombreux autres langages de programmation. Ce livre est destiné à toute personne désireuse de concevoir et de développer des algorithmes. Aucun prérequis n'est nécessaire : l'ouvrage s'adresse donc à tout étudiant de ire année (licence, DUT, BTS, classe préparatoire), voire de première ou de terminale, ainsi qu'à toute personne intéressée par les concepts fondamentaux de l'algorithmique-programmation et à leur mise en oeuvre.Côte titre : Fs/24769-24771 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/24769 Fs/24769-24771 livre Bibliothéque des sciences Français Disponible
DisponibleFs/24770 Fs/24769-24771 livre Bibliothéque des sciences Français Disponible
DisponibleFs/24771 Fs/24769-24771 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Bases en algorithmique et en programmation : cours et exercices corrigés ; L2 Type de document : texte imprimé Auteurs : Pascal Lienhardt (1958-....), Auteur Editeur : Paris : Ellipses Année de publication : 2022 Importance : 1 vol. (520 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-340-06967-1 Note générale : En appendice, choix de documents
Bibliogr. p. 515. IndexLangues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé :
Ce livre présente les notions fondamentales de l'Algorithmique - Programmation, selon une démarche progressive.
Les notions sont accompagnées de nombreux exemples et exercices commentés et corrigés.Côte titre : Fs/24989 Bases en algorithmique et en programmation : cours et exercices corrigés ; L2 [texte imprimé] / Pascal Lienhardt (1958-....), Auteur . - Paris : Ellipses, 2022 . - 1 vol. (520 p.) : ill. ; 24 cm.
ISBN : 978-2-340-06967-1
En appendice, choix de documents
Bibliogr. p. 515. Index
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé :
Ce livre présente les notions fondamentales de l'Algorithmique - Programmation, selon une démarche progressive.
Les notions sont accompagnées de nombreux exemples et exercices commentés et corrigés.Côte titre : Fs/24989 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/24989 Fs/24989 Livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Éléments de programmation : De l'algorithme au programme Python Type de document : texte imprimé Auteurs : Frédéric Peschanski (1973-....), Auteur ; Romain Demangeon (1984-....), Auteur Editeur : Ellipses Année de publication : 2020 Importance : 1 vol. (358 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-340-04106-6 Note générale : Index Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé :
Ce livre aborde les concepts fondamentaux de la programmation dans le contexte d'une méthodologie rigoureuse de développement logiciel. La spécification précise des problèmes posés et la conception algorithmique permettant de les résoudre occupent une place aussi importante que la programmation proprement dite des solutions, de même que la validation de ces programmes par le test. Basé sur le cours d'introduction à la programmation pour les étudiants de licence de première année scientifique de Sorbonne Université, cet ouvrage ne demande aucun prérequis de programmation et peut donc tout à fait être abordé par des étudiants de première et de terminale, ainsi que toute personne intéressée par les concepts de fondamentaux de résolution de problèmes et de programmation.
Les programmes du livre sont rédigés dans le langage Python (version minimale 3.6) en exploitant les annotations de type et optionnellement l'outil MyPy. Un environnement simplifié de programmation, MrPython, est également proposé en complément de l'ouvrage, et disponible gratuitement.Côte titre : Fs/24781-24783 Éléments de programmation : De l'algorithme au programme Python [texte imprimé] / Frédéric Peschanski (1973-....), Auteur ; Romain Demangeon (1984-....), Auteur . - [S.l.] : Ellipses, 2020 . - 1 vol. (358 p.) : ill. ; 24 cm.
ISBN : 978-2-340-04106-6
Index
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé :
Ce livre aborde les concepts fondamentaux de la programmation dans le contexte d'une méthodologie rigoureuse de développement logiciel. La spécification précise des problèmes posés et la conception algorithmique permettant de les résoudre occupent une place aussi importante que la programmation proprement dite des solutions, de même que la validation de ces programmes par le test. Basé sur le cours d'introduction à la programmation pour les étudiants de licence de première année scientifique de Sorbonne Université, cet ouvrage ne demande aucun prérequis de programmation et peut donc tout à fait être abordé par des étudiants de première et de terminale, ainsi que toute personne intéressée par les concepts de fondamentaux de résolution de problèmes et de programmation.
Les programmes du livre sont rédigés dans le langage Python (version minimale 3.6) en exploitant les annotations de type et optionnellement l'outil MyPy. Un environnement simplifié de programmation, MrPython, est également proposé en complément de l'ouvrage, et disponible gratuitement.Côte titre : Fs/24781-24783 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/24781 Fs/24781-24783 livre Bibliothéque des sciences Français Disponible
DisponibleFs/24782 Fs/24781-24783 livre Bibliothéque des sciences Français Disponible
DisponibleFs/24783 Fs/24781-24783 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Expressions réguliéres : Syntaxe et mise en oeuvre ; avec exercices et corrig©s Type de document : texte imprimé Auteurs : Martial Bornet, Editeur : St Herblain : ditions ENI Année de publication : 2015. Collection : Ressources informatiques (Nantes), ISSN 1627-8224. Importance : 1 vol. (465 p.) Présentation : couv. ill. Format : 21 cm. ISBN/ISSN/EAN : 978-2-7460-9712-4 Prix : 29,90 EUR Note générale : 978-2-7460-9712-4 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique:Langages de programmation Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé :
Ce livre s'adresse à tout informaticien (étudiant, développeur, ingénieur système, ...) désirant comprendre et maîtriser les expressions régulières.
Il commence par un bref rappel de l'origine mathématique des expressions régulières, puis détaille leurs différents types, depuis les expressions de sélection du shell jusqu'aux expressions régulières étendues interprétées par différents langages tels Perl ou Python.
L'auteur a choisi une approche résolument pratique et les chapitres suivants présentent les expressions régulières dans le contexte des différentes commandes qui ont contribué au succès d'Unix et Linux (shells, find, ed, sed, ex, vi, vim, bvi, grep, egrep, expr, awk, du, lex), puis dans celui des fonctions d'évaluation (glob(), regcomp(), regexec()) et de différents langages (Perl, Python, Javascript).
De nombreux exemples ainsi que des exercices, corrigés de façon détaillée, montrent de façon pédagogique et progressive comment produire des expressions régulières fiables et compréhensibles.
La dernière partie propose des synthèses relatives aux différents types d'expressions et à leurs méta-caractères, liste les principaux outils les utilisant, les classes de caractères POSIX, ainsi que des outils de contrôle et des méthodes de validation, parfois visuelles, des expressions régulières.
Les explications détaillées permettent une compréhension fine de la signification des méta-caractères et des expressions qui les emploient, permettant au lecteur de créer ses propres expressions régulières et de comprendre celles écrites par d'autres personnes.
D'autre part, des conseils d'écriture aident à transmettre les expressions régulières aux outils auxquels elles sont destinées sans risque de modifications indésirables, et ainsi à éviter des erreurs classiques mais néanmoins fréquentes et parfois difficiles à localiser.
Des éléments complémentaires sont en téléchargement sur le site www.editions-eni.fr.Note de contenu :
Sommaire
Introduction
Les interpréteurs de commandes, ou shell
find, la commande de recherche de fichiers
ed, l'éditeur ligne
sed, l'éditeur de flux (stream editor)
ex, l'éditeur ligne de vi
vi, le premier éditeur plein écran
vim, l'éditeur vi amélioré (Vi IMproved)
bvi, l'éditeur binaire/hexadécimal plein écran
grep, la commande de recherche de lignes
expr, la commande d'évaluation d'expressions
awk, la commande de traitement de fichiers
du, l'affichage de l'usage des disques
lex, le générateur d'analyseurs lexicaux
glob(), la fonction de sélection de pathnames
rescomp(), regexec(), la gestion des ER
hl, une commande de colorisation
Les expressions régulières en Python
Les expressions régulières en Perl
Les expressions régulières en JavaScript
Synthèse des types d'expression
Les classes de caractères POSIX
Équivalences d'expressions régulières
Outils de validation d'expressions régulières
Quelques exercices récapitulatifs
Annexes
Côte titre : Fs/22922 Expressions réguliéres : Syntaxe et mise en oeuvre ; avec exercices et corrig©s [texte imprimé] / Martial Bornet, . - St Herblain : ditions ENI, 2015. . - 1 vol. (465 p.) : couv. ill. ; 21 cm.. - (Ressources informatiques (Nantes), ISSN 1627-8224.) .
ISBN : 978-2-7460-9712-4 : 29,90 EUR
978-2-7460-9712-4
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique:Langages de programmation Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé :
Ce livre s'adresse à tout informaticien (étudiant, développeur, ingénieur système, ...) désirant comprendre et maîtriser les expressions régulières.
Il commence par un bref rappel de l'origine mathématique des expressions régulières, puis détaille leurs différents types, depuis les expressions de sélection du shell jusqu'aux expressions régulières étendues interprétées par différents langages tels Perl ou Python.
L'auteur a choisi une approche résolument pratique et les chapitres suivants présentent les expressions régulières dans le contexte des différentes commandes qui ont contribué au succès d'Unix et Linux (shells, find, ed, sed, ex, vi, vim, bvi, grep, egrep, expr, awk, du, lex), puis dans celui des fonctions d'évaluation (glob(), regcomp(), regexec()) et de différents langages (Perl, Python, Javascript).
De nombreux exemples ainsi que des exercices, corrigés de façon détaillée, montrent de façon pédagogique et progressive comment produire des expressions régulières fiables et compréhensibles.
La dernière partie propose des synthèses relatives aux différents types d'expressions et à leurs méta-caractères, liste les principaux outils les utilisant, les classes de caractères POSIX, ainsi que des outils de contrôle et des méthodes de validation, parfois visuelles, des expressions régulières.
Les explications détaillées permettent une compréhension fine de la signification des méta-caractères et des expressions qui les emploient, permettant au lecteur de créer ses propres expressions régulières et de comprendre celles écrites par d'autres personnes.
D'autre part, des conseils d'écriture aident à transmettre les expressions régulières aux outils auxquels elles sont destinées sans risque de modifications indésirables, et ainsi à éviter des erreurs classiques mais néanmoins fréquentes et parfois difficiles à localiser.
Des éléments complémentaires sont en téléchargement sur le site www.editions-eni.fr.Note de contenu :
Sommaire
Introduction
Les interpréteurs de commandes, ou shell
find, la commande de recherche de fichiers
ed, l'éditeur ligne
sed, l'éditeur de flux (stream editor)
ex, l'éditeur ligne de vi
vi, le premier éditeur plein écran
vim, l'éditeur vi amélioré (Vi IMproved)
bvi, l'éditeur binaire/hexadécimal plein écran
grep, la commande de recherche de lignes
expr, la commande d'évaluation d'expressions
awk, la commande de traitement de fichiers
du, l'affichage de l'usage des disques
lex, le générateur d'analyseurs lexicaux
glob(), la fonction de sélection de pathnames
rescomp(), regexec(), la gestion des ER
hl, une commande de colorisation
Les expressions régulières en Python
Les expressions régulières en Perl
Les expressions régulières en JavaScript
Synthèse des types d'expression
Les classes de caractères POSIX
Équivalences d'expressions régulières
Outils de validation d'expressions régulières
Quelques exercices récapitulatifs
Annexes
Côte titre : Fs/22922 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/22922 Fs/22922 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Informatique MP2I-MPI : CPGE 1re et 2e années Type de document : texte imprimé Auteurs : Vincent Barra, Auteur Importance : 1 vol. (491 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-340-05451-6 Note générale : La couv. porte en plus : "nouveaux programmes"
IndexLangues : Français (fre) Catégories : Informatique Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé : Cet ouvrage aborde en profondeur et de manière très illustrée l'ensemble des points du programme de MP2I et de MPI et propose ainsi :
- une revue large des principaux types d'algorithmes et de leurs paradigmes. Les principes méthodologiques de ces algorithmes sont décrits, leurs implémentations en C et OCaml, les deux langages au programme, proposées, et des exemples applicatifs développés ;
- des notions de programmation, à la fois théoriques et pratiques, avec le développement des algorithmes en C et OCaml ;
- la théorie des langages formels et leur manipulation par des automates finis ;
- une introduction aux bases de données et une description applicative en langage SQL ;
- des éléments de logique et de calcul propositionnel ;
- une introduction à la gestion des ressources mémoire et des problèmes de synchronisation et de concurrence dans une machine.
Pour chacune de ces parties, les notions théoriques sont introduites, les différents algorithmes et méthodes développés et de nombreux exemples viennent illustrer chaque concept. Des exercices corrigés permettent de mettre en pratique les différents éléments abordés.Côte titre : Fs/25011-25012 Informatique MP2I-MPI : CPGE 1re et 2e années [texte imprimé] / Vincent Barra, Auteur . - [s.d.] . - 1 vol. (491 p.) : ill. ; 24 cm.
ISBN : 978-2-340-05451-6
La couv. porte en plus : "nouveaux programmes"
Index
Langues : Français (fre)
Catégories : Informatique Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé : Cet ouvrage aborde en profondeur et de manière très illustrée l'ensemble des points du programme de MP2I et de MPI et propose ainsi :
- une revue large des principaux types d'algorithmes et de leurs paradigmes. Les principes méthodologiques de ces algorithmes sont décrits, leurs implémentations en C et OCaml, les deux langages au programme, proposées, et des exemples applicatifs développés ;
- des notions de programmation, à la fois théoriques et pratiques, avec le développement des algorithmes en C et OCaml ;
- la théorie des langages formels et leur manipulation par des automates finis ;
- une introduction aux bases de données et une description applicative en langage SQL ;
- des éléments de logique et de calcul propositionnel ;
- une introduction à la gestion des ressources mémoire et des problèmes de synchronisation et de concurrence dans une machine.
Pour chacune de ces parties, les notions théoriques sont introduites, les différents algorithmes et méthodes développés et de nombreux exemples viennent illustrer chaque concept. Des exercices corrigés permettent de mettre en pratique les différents éléments abordés.Côte titre : Fs/25011-25012 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/25011 Fs/25011-25012 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/25012 Fs/25011-25012 Livre Bibliothéque des sciences Français Disponible
DisponiblePermalinkPermalinkPermalinkPermalink