University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Structure et propriétés de la matière : Exercices et problèmes résolus / J Ben Brahim
Titre : Structure et propriétés de la matière : Exercices et problèmes résolus Type de document : texte imprimé Auteurs : J Ben Brahim, Auteur Editeur : Paris : Masson Année de publication : 1992 Importance : 1 vol (177 .) Format : 24 cm ISBN/ISSN/EAN : 978-2-225-82713-3 Langues : Français (fre) Catégories : Physique Mots-clés : Physique de l'état solide Index. décimale : 530 Physique Côte titre : Fs/24391 Structure et propriétés de la matière : Exercices et problèmes résolus [texte imprimé] / J Ben Brahim, Auteur . - Paris : Masson, 1992 . - 1 vol (177 .) ; 24 cm.
ISSN : 978-2-225-82713-3
Langues : Français (fre)
Catégories : Physique Mots-clés : Physique de l'état solide Index. décimale : 530 Physique Côte titre : Fs/24391 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/24391 Fs/24391 livre Bibliothéque des sciences Français Disponible
DisponibleSystèmes formels / Claude Benzaken
Titre : Systèmes formels : Introduction à la logique et à la théories des langages Type de document : texte imprimé Auteurs : Claude Benzaken Editeur : Paris : Masson Année de publication : 1991 Collection : Logique mathématique informatique LMI Importance : 1 vol (166 p .) Format : 24 cm ISBN/ISSN/EAN : 2-225-82567-x Note générale : 2-225-82567-x Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Systèmes formels
Langages formelsIndex. décimale : 003 Systèmes Résumé :
Cette introduction aux fondements logiques de l'informatique décrit les mécanismes de production d'énoncés du double point de vue syntaxique et sémantique. L'auteur comble une lacune due au rôle nécessairement dominant de l'algorithmique, la programmation, l'intelligence artificielle... dans l'enseignement de l'informatique, au détriment des bases théoriques de la discipline. L'ouvrage débute par la définition des systèmes formels et des schémas d'induction, puis aborde les langages formels, dans leur ensemble : les langages rationnels, les grammaires et langages hors-contexte, les automates finis, et quelques langages plus élaborés. Le calcul propositionnel est ensuite étudié, en particulier la déduction. Le calcul des prédicats est analysé à travers ses divers formalismes. Les problèmes de programmation logique, ainsi que les différentes approches du concept d'algorithme sont ensuite traités dans une perspective plus spécifiquement informatique. Enfin, l'exposé s'achève par l'étude de la notion de programme itératif et celle d'une logique destinée à la correction des programmes (logique de Hoare). Chaque chapitre est complété d'une série d'exercices, mis au point et appliqués lors de l'enseignement de ce cours, en deuxième cycle d'informatique.Note de contenu :
Sommaire
Introduction aux systèmes formels - l'induction.
Introduction aux langages formels - grammaires et automates.
Langage et logique des propositions.
Langage et logique de premier ordre.
Décidabilité et preuveCôte titre : Fs/8696 Systèmes formels : Introduction à la logique et à la théories des langages [texte imprimé] / Claude Benzaken . - Paris : Masson, 1991 . - 1 vol (166 p .) ; 24 cm. - (Logique mathématique informatique LMI) .
ISSN : 2-225-82567-x
2-225-82567-x
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Systèmes formels
Langages formelsIndex. décimale : 003 Systèmes Résumé :
Cette introduction aux fondements logiques de l'informatique décrit les mécanismes de production d'énoncés du double point de vue syntaxique et sémantique. L'auteur comble une lacune due au rôle nécessairement dominant de l'algorithmique, la programmation, l'intelligence artificielle... dans l'enseignement de l'informatique, au détriment des bases théoriques de la discipline. L'ouvrage débute par la définition des systèmes formels et des schémas d'induction, puis aborde les langages formels, dans leur ensemble : les langages rationnels, les grammaires et langages hors-contexte, les automates finis, et quelques langages plus élaborés. Le calcul propositionnel est ensuite étudié, en particulier la déduction. Le calcul des prédicats est analysé à travers ses divers formalismes. Les problèmes de programmation logique, ainsi que les différentes approches du concept d'algorithme sont ensuite traités dans une perspective plus spécifiquement informatique. Enfin, l'exposé s'achève par l'étude de la notion de programme itératif et celle d'une logique destinée à la correction des programmes (logique de Hoare). Chaque chapitre est complété d'une série d'exercices, mis au point et appliqués lors de l'enseignement de ce cours, en deuxième cycle d'informatique.Note de contenu :
Sommaire
Introduction aux systèmes formels - l'induction.
Introduction aux langages formels - grammaires et automates.
Langage et logique des propositions.
Langage et logique de premier ordre.
Décidabilité et preuveCôte titre : Fs/8696 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8696 Fs/8696 livre Bibliothéque des sciences Français Disponible
DisponibleSystèmes organisations base de données / Benoit,R
Titre : Systèmes organisations base de données Type de document : texte imprimé Auteurs : Benoit,R Editeur : Paris : Masson Année de publication : 1981 Collection : Manuels informatique masson Importance : 1 vol (108 p .) Format : 24 cm ISBN/ISSN/EAN : 978-2-225-75669-6 Note générale : 978-2-225-75669-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Base de donnéesCôte titre : Fs/8698 Systèmes organisations base de données [texte imprimé] / Benoit,R . - Paris : Masson, 1981 . - 1 vol (108 p .) ; 24 cm. - (Manuels informatique masson) .
ISBN : 978-2-225-75669-6
978-2-225-75669-6
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Base de donnéesCôte titre : Fs/8698 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8698 Fs/8698 livre Bibliothéque des sciences Français Disponible
DisponibleTélécoms et réseaux / Maaiman,Maxime
Titre : Télécoms et réseaux : Communications d'entreprise Type de document : texte imprimé Auteurs : Maaiman,Maxime ; Pierre,Pref Mathhelot Editeur : Paris : Masson Année de publication : 1997 Collection : Informatique Importance : 1 vol (289 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-225-82938-3 Note générale : 978-2-225-82938-3 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Télécoms
Réseaux(entreprise)
Télécommunication d'entreprise, OSI, TCP/IPIndex. décimale : 004 Informatique Côte titre : Fs/8712 Télécoms et réseaux : Communications d'entreprise [texte imprimé] / Maaiman,Maxime ; Pierre,Pref Mathhelot . - Paris : Masson, 1997 . - 1 vol (289 p.) ; 24 cm. - (Informatique) .
ISBN : 978-2-225-82938-3
978-2-225-82938-3
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Télécoms
Réseaux(entreprise)
Télécommunication d'entreprise, OSI, TCP/IPIndex. décimale : 004 Informatique Côte titre : Fs/8712 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8712 Fs/8712 livre Bibliothéque des sciences Français Disponible
DisponibleThermodynamique / M Joyal
Titre : Thermodynamique Type de document : texte imprimé Auteurs : M Joyal, Auteur Editeur : Paris : Masson Année de publication : 1964 Importance : 1 vol (186 p.) Format : 24 cm Langues : Français (fre) Catégories : Physique Mots-clés : Physique
ThermodynamiqueIndex. décimale : 536.7 Thermodynamique Côte titre : Fs/24353 Thermodynamique [texte imprimé] / M Joyal, Auteur . - Paris : Masson, 1964 . - 1 vol (186 p.) ; 24 cm.
Langues : Français (fre)
Catégories : Physique Mots-clés : Physique
ThermodynamiqueIndex. décimale : 536.7 Thermodynamique Côte titre : Fs/24353 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/24353 Fs/24353 livre Bibliothéque des sciences Français Disponible
DisponibleTome 2. Introduction à la programmation:Structures de données / G Clavel
PermalinkX Window / Monuque Lamboulé
Permalink