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
Lexique de terminologie chimique :Français-Anglais, Anglais-Français / RICHER,Jean-Claude
Titre : Lexique de terminologie chimique :Français-Anglais, Anglais-Français Type de document : texte imprimé Auteurs : RICHER,Jean-Claude Editeur : Paris : Lavoisier Année de publication : 2012 Importance : 1235 Format : 30 ISBN/ISSN/EAN : 978-2-7430-1428-5 Mots-clés : Dictionnaire chimique Lexique de terminologie chimique :Français-Anglais, Anglais-Français [texte imprimé] / RICHER,Jean-Claude . - Paris : Lavoisier, 2012 . - 1235 ; 30.
ISBN : 978-2-7430-1428-5
Mots-clés : Dictionnaire chimique Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/10615 Fs/10615-10616 livre Bibliothéque des sciences Français Disponible
DisponibleFs/10616 Fs/10615-10616 livre Bibliothéque des sciences Français Disponible
DisponibleLogique pour l'informatique et pour l'intelligence artificielle / Ricardo Caferra
Titre : Logique pour l'informatique et pour l'intelligence artificielle Type de document : texte imprimé Auteurs : Ricardo Caferra Editeur : Paris : Lavoisier Année de publication : 2011 Collection : Informatique/ Pomerol,Jean-Charles Importance : 1 vol. (424 p.) Format : 25 cm ISBN/ISSN/EAN : 978-2-7462-2600-5 Catégories : Informatique Mots-clés : Informatique
Logique(informatique)
Intelligence artificielleIndex. décimale : 004 - Informatique Résumé :
La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions (cit. 4e de couv.)
Note de contenu :
Sommaire
1. Introduction
2. Un peu de réflexion avant la formalisation
3. La logique propositionnelle (LP ou CP)
4 Les termes du premier ordre
5. Logique du premier ordre ou logique des prédicats (L1O (LP1,. CP1))
6. Fondements de programmation en logique
7. L'intelligence et l'intelligence artificielle
8. L'inférence
9. La spécification des problèmes et les langages de la logique
10. Les logiques (dites) non classiques
11. La connaissance et la logique : quelques notionsCôte titre : Fs/7863-7865 Logique pour l'informatique et pour l'intelligence artificielle [texte imprimé] / Ricardo Caferra . - Paris : Lavoisier, 2011 . - 1 vol. (424 p.) ; 25 cm. - (Informatique/ Pomerol,Jean-Charles) .
ISBN : 978-2-7462-2600-5
Catégories : Informatique Mots-clés : Informatique
Logique(informatique)
Intelligence artificielleIndex. décimale : 004 - Informatique Résumé :
La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions (cit. 4e de couv.)
Note de contenu :
Sommaire
1. Introduction
2. Un peu de réflexion avant la formalisation
3. La logique propositionnelle (LP ou CP)
4 Les termes du premier ordre
5. Logique du premier ordre ou logique des prédicats (L1O (LP1,. CP1))
6. Fondements de programmation en logique
7. L'intelligence et l'intelligence artificielle
8. L'inférence
9. La spécification des problèmes et les langages de la logique
10. Les logiques (dites) non classiques
11. La connaissance et la logique : quelques notionsCôte titre : Fs/7863-7865 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/7863 Fs/7863-7865 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7864 Fs/7863-7865 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7865 Fs/7863-7865 livre Bibliothéque des sciences Français Disponible
DisponibleMathématique / Jean Claude Martin
Titre : Mathématique : 2e année,PC PC*-PT PT* Type de document : texte imprimé Auteurs : Jean Claude Martin ; Sylvain Damour Editeur : Paris : Lavoisier Année de publication : 2009 Collection : Méthodes et annales Importance : 1 vol. (648 p.) Présentation : ill., couv. ill. en coul. Format : 27 cm ISBN/ISSN/EAN : 978-2-7430-1151-2 Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique : Problèmes et exercices Index. décimale : 510.76 - Exercices et problèmes de mathématiques Résumé :
Pour acquérir l'essentiel : Si vous éprouvez des difficultés à mémoriser les points fondamentaux du cours. Si vous n'avez pas l'impression de posséder les bons réflexes... Le nouveau M&A Mathématiques 2e année PC PC - PT PT vous propose une approche plus claire et plus directe grâce à sa partie Méthodes. Chaque chapitre y présente les points du cours à retenir sous forme de grandes questions et les savoir-faire clefs sous forme d'exercices types analysés. C'est la certitude non seulement d'apprendre mais aussi de comprendre. Pour s'exercer tout au long de l'année : Si vous n'avez pas trouvé la bonne méthode de travail. Si vous avez du mal à passer du cours aux exercices... Le nouveau M&A Mathématiques 2e année PC PC - PT PT vous aide à mettre en pratique vos connaissances au fil des mois et à vous entraîner sur des exercices d'oraux comme sur des problèmes d'écrits grâce à sa partie Annales. C'est la garantie d'une progression continue. Pour arriver fin prêt aux concours : Si vous vous sentez perdu devant les recueils d'annales bruts. Si vous avez besoin d'explications précises pour bien comprendre comment se résout un problème... Le nouveau M&A Mathématiques 2e année PC PC - PT PT vous offre des corrigés détaillés pas à pas et un panel d'indications complémentaires : techniques à privilégier, pièges à éviter... C'est l'assurance d'une assimilation en profondeur.Note de contenu :
Sommaire
Structures algébriques
Espaces vectoriels et applications linéaires
Matrices et déterminants
Réduction des endomorphismes
Espaces préhilbertiens
Endomorphismes d'un espace euclidien
Arcs paramétrés - Nappes paramétrées, surfaces
Espaces vectoriels normés
Rappels sur les fonctions de Classe CnCôte titre : Fs/6093-6102 Mathématique : 2e année,PC PC*-PT PT* [texte imprimé] / Jean Claude Martin ; Sylvain Damour . - Paris : Lavoisier, 2009 . - 1 vol. (648 p.) : ill., couv. ill. en coul. ; 27 cm. - (Méthodes et annales) .
ISBN : 978-2-7430-1151-2
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématique : Problèmes et exercices Index. décimale : 510.76 - Exercices et problèmes de mathématiques Résumé :
Pour acquérir l'essentiel : Si vous éprouvez des difficultés à mémoriser les points fondamentaux du cours. Si vous n'avez pas l'impression de posséder les bons réflexes... Le nouveau M&A Mathématiques 2e année PC PC - PT PT vous propose une approche plus claire et plus directe grâce à sa partie Méthodes. Chaque chapitre y présente les points du cours à retenir sous forme de grandes questions et les savoir-faire clefs sous forme d'exercices types analysés. C'est la certitude non seulement d'apprendre mais aussi de comprendre. Pour s'exercer tout au long de l'année : Si vous n'avez pas trouvé la bonne méthode de travail. Si vous avez du mal à passer du cours aux exercices... Le nouveau M&A Mathématiques 2e année PC PC - PT PT vous aide à mettre en pratique vos connaissances au fil des mois et à vous entraîner sur des exercices d'oraux comme sur des problèmes d'écrits grâce à sa partie Annales. C'est la garantie d'une progression continue. Pour arriver fin prêt aux concours : Si vous vous sentez perdu devant les recueils d'annales bruts. Si vous avez besoin d'explications précises pour bien comprendre comment se résout un problème... Le nouveau M&A Mathématiques 2e année PC PC - PT PT vous offre des corrigés détaillés pas à pas et un panel d'indications complémentaires : techniques à privilégier, pièges à éviter... C'est l'assurance d'une assimilation en profondeur.Note de contenu :
Sommaire
Structures algébriques
Espaces vectoriels et applications linéaires
Matrices et déterminants
Réduction des endomorphismes
Espaces préhilbertiens
Endomorphismes d'un espace euclidien
Arcs paramétrés - Nappes paramétrées, surfaces
Espaces vectoriels normés
Rappels sur les fonctions de Classe CnCôte titre : Fs/6093-6102 Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité Fs/6093 Fs/6093-6102 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6094 Fs/6093-6102 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6095 Fs/6093-6102 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6096 Fs/6093-6102 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6097 Fs/6093-6102 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6098 Fs/6093-6102 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6099 Fs/6093-6102 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6100 Fs/6093-6102 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6101 Fs/6093-6102 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6102 Fs/6093-6102 livre Bibliothéque des sciences Français Disponible
DisponibleMathématique / Martin, Jean-Claude
Titre : Mathématique : PSI PSI* 2e année Type de document : texte imprimé Auteurs : Martin, Jean-Claude ; Cylvain Damour ; Hervé Guillaumie Editeur : Paris : Lavoisier Année de publication : 2009 Collection : Méthodes anneles Importance : 1 vol. (664 p.) Présentation : ill., couv. ill. Format : 28 cm ISBN/ISSN/EAN : 978-2-7430-1152-9 Note générale : Index Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématiques : Problèmes et exercices
Mathématiques : Classes préparatoires
ÂIndex. décimale : 510.76 - Exercices et problèmes de mathématiques Résumé :
Le nouveau M&A Mathématiques 2e année PSI PSI*
pour acquérir l'essentiel
Si vous éprouvez des difficultés à mémoriser les points fondamentaux du cours
Si vous n'avez pas l'impression de posséder les bons réflexes...
Le nouveau M&A Mathématiques 2e année PSI PSI* vous propose une approche plus claire et plus directe grâce à sa partie Méthodes. Chaque chapitre y présente les points du cours a retenir sous forme de grandes questions et les savoir-faire clefs sous forme d'exercices types analysés.
C'est la certitude non seulement d'apprendre mais aussi de comprendre.
pour s'exercer tout au long de l'année
Si vous n'avez pas trouvé la bonne méthode de travail
Si vous avez du mal à passer du cours aux exercices...
Le nouveau M&A Mathématiques 2e année PSI PSI* vous aide à mettre en pratique vos connaissances au fil des mois et à vous entraîner sur des exercices d'oraux comme sur des problèmes d'écrits grâce à sa partie Annales.
C'est la garantie d'une progression continue.
pour arriver fin prêt aux concours
Si vous vous sentez perdu devant les recueils d'annales bruts
Si vous avez besoin d'explications précises pour bien comprendre comment se résout un problème...
Le nouveau M&A Mathématiques 2e année PSI PSI* vous offre des corrigés détaillés pas à pas et un panel d'indications complémentaires : techniques à privilégier, pièges à éviter...Note de contenu :
Sommaire
Structures algébriques
Espaces vectoriels et applications linéaires
Matrices et déterminants
Réduction des endomorphismes
Espaces préhilbertiens
Endomorphisme d'un espace euclidienCôte titre : Fs/6113-6122 Mathématique : PSI PSI* 2e année [texte imprimé] / Martin, Jean-Claude ; Cylvain Damour ; Hervé Guillaumie . - Paris : Lavoisier, 2009 . - 1 vol. (664 p.) : ill., couv. ill. ; 28 cm. - (Méthodes anneles) .
ISBN : 978-2-7430-1152-9
Index
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématiques : Problèmes et exercices
Mathématiques : Classes préparatoires
ÂIndex. décimale : 510.76 - Exercices et problèmes de mathématiques Résumé :
Le nouveau M&A Mathématiques 2e année PSI PSI*
pour acquérir l'essentiel
Si vous éprouvez des difficultés à mémoriser les points fondamentaux du cours
Si vous n'avez pas l'impression de posséder les bons réflexes...
Le nouveau M&A Mathématiques 2e année PSI PSI* vous propose une approche plus claire et plus directe grâce à sa partie Méthodes. Chaque chapitre y présente les points du cours a retenir sous forme de grandes questions et les savoir-faire clefs sous forme d'exercices types analysés.
C'est la certitude non seulement d'apprendre mais aussi de comprendre.
pour s'exercer tout au long de l'année
Si vous n'avez pas trouvé la bonne méthode de travail
Si vous avez du mal à passer du cours aux exercices...
Le nouveau M&A Mathématiques 2e année PSI PSI* vous aide à mettre en pratique vos connaissances au fil des mois et à vous entraîner sur des exercices d'oraux comme sur des problèmes d'écrits grâce à sa partie Annales.
C'est la garantie d'une progression continue.
pour arriver fin prêt aux concours
Si vous vous sentez perdu devant les recueils d'annales bruts
Si vous avez besoin d'explications précises pour bien comprendre comment se résout un problème...
Le nouveau M&A Mathématiques 2e année PSI PSI* vous offre des corrigés détaillés pas à pas et un panel d'indications complémentaires : techniques à privilégier, pièges à éviter...Note de contenu :
Sommaire
Structures algébriques
Espaces vectoriels et applications linéaires
Matrices et déterminants
Réduction des endomorphismes
Espaces préhilbertiens
Endomorphisme d'un espace euclidienCôte titre : Fs/6113-6122 Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité Fs/6113 Fs/6113-6122 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6114 Fs/6113-6122 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6115 Fs/6113-6122 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6116 Fs/6113-6122 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6117 Fs/6113-6122 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6118 Fs/6113-6122 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6119 Fs/6113-6122 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6120 Fs/6113-6122 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6121 Fs/6113-6122 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6122 Fs/6113-6122 livre Bibliothéque des sciences Français Disponible
DisponibleMécanique générale :Cinématique et dynamique des mécanismes / Morvan Ouisse
Titre : Mécanique générale :Cinématique et dynamique des mécanismes Type de document : texte imprimé Auteurs : Morvan Ouisse ; Sylvaine Mallet Editeur : Paris : Lavoisier Année de publication : 2010 Collection : Mécanique des structures/Challamel,Noel Importance : 1 vol. (334 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-2998-3 Langues : Français (fre) Catégories : Physique Mots-clés : Physique
Cinématique des solide
Dynamique des mécanismesIndex. décimale : 530 - Physique Résumé :
La 4e de couverture indique : "Cet ouvrage présente les outils méthodologiques permettant d`appréhender la mécanique des mécanismes industriels : compréhension, modélisation, détermination des mouvements et efforts mis en jeu. Il offre une démarche rigoureuse permettant de traiter en autonomie et en intégralité un problème de mécanique générale, depuis la modélisation, le repérage, le paramétrage, la détermination des équations de liaison, la détermination des équations de mouvement (méthode de Newton ou de Lagrange) jusqu`à la résolution numérique des équations décrivant le comportement du système. Didactique, Mécanique générale s’adresse aux étudiants de master et aux ingénieurs en mécanique. De nombreux exemples agrémentent la lecture : trois applications « fil rouge » utilisées au fur et à mesure de l’exposé, des applications industrielles présentées et résolues en fin de chapitres ainsi que des exemples de scripts pour la résolution numérique des équations."Note de contenu :
Sommaire
1, Notion de torseur
2, Analyse géométrique des mécanismes
3, Cinématique des solides
4, Géométrie des masses et cinétique
5, Etude des actions mécaniques
6, Dynamique
7, Equations de Lagrange
8, Eléments d'nalyse numérique et de stabilité des systèmes mécaniquesCôte titre : Fs/10463-10466,Fs/7899-7901 Mécanique générale :Cinématique et dynamique des mécanismes [texte imprimé] / Morvan Ouisse ; Sylvaine Mallet . - Paris : Lavoisier, 2010 . - 1 vol. (334 p.) ; 24 cm. - (Mécanique des structures/Challamel,Noel) .
ISBN : 978-2-7462-2998-3
Langues : Français (fre)
Catégories : Physique Mots-clés : Physique
Cinématique des solide
Dynamique des mécanismesIndex. décimale : 530 - Physique Résumé :
La 4e de couverture indique : "Cet ouvrage présente les outils méthodologiques permettant d`appréhender la mécanique des mécanismes industriels : compréhension, modélisation, détermination des mouvements et efforts mis en jeu. Il offre une démarche rigoureuse permettant de traiter en autonomie et en intégralité un problème de mécanique générale, depuis la modélisation, le repérage, le paramétrage, la détermination des équations de liaison, la détermination des équations de mouvement (méthode de Newton ou de Lagrange) jusqu`à la résolution numérique des équations décrivant le comportement du système. Didactique, Mécanique générale s’adresse aux étudiants de master et aux ingénieurs en mécanique. De nombreux exemples agrémentent la lecture : trois applications « fil rouge » utilisées au fur et à mesure de l’exposé, des applications industrielles présentées et résolues en fin de chapitres ainsi que des exemples de scripts pour la résolution numérique des équations."Note de contenu :
Sommaire
1, Notion de torseur
2, Analyse géométrique des mécanismes
3, Cinématique des solides
4, Géométrie des masses et cinétique
5, Etude des actions mécaniques
6, Dynamique
7, Equations de Lagrange
8, Eléments d'nalyse numérique et de stabilité des systèmes mécaniquesCôte titre : Fs/10463-10466,Fs/7899-7901 Exemplaires (7)
Code-barres Cote Support Localisation Section Disponibilité Fs/10463 Fs/10463-10466 livre Bibliothéque des sciences Français Disponible
DisponibleFs/10464 Fs/10463-10466 livre Bibliothéque des sciences Français Disponible
DisponibleFs/10465 Fs/10463-10466 livre Bibliothéque des sciences Français Disponible
DisponibleFs/10466 Fs/10463-10466 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7899 Fs/7899-7901 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7900 Fs/7899-7901 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7901 Fs/7899-7901 livre Bibliothéque des sciences Français Disponible
DisponibleMécanique du point,du solide et des fluides T.1 / SALEMI,René
PermalinkMécanique du point,du solide et des fluides T.2 / SALEMI,René
PermalinkMécanique du point,du solide et des fluides / SALEMI,René
PermalinkMéthode asymptotique numérique / Bruno Cochelin
PermalinkMéthode des éléments finis / Gouri Dhatt
PermalinkMéthodes factorielles pour l'analyse des données / CRUCIANU,Michel
PermalinkMéthodes numériques pour l'ingénieur / Philippe Destuynder
PermalinkMétrologie appliquée aux sciences et technologies:MMT, optique, rugosité, essais / Ammar Grous
PermalinkMétrologie appliquée aux sciences et technologies V.1:Incertitudes et GPS / Ammar Grous
PermalinkMétrologie en chimie de l'environnement / Philippe Quevauviller
PermalinkModèles stochastiques / Marius Iosifescu
PermalinkPhysique / David Augier
PermalinkPhysique chimie / Anne-Claude Gelé-Seatereau
PermalinkPhysique:PC PC* 2e année / Stéphane Olivier
PermalinkLes Points de fonction en ingénierie logicielle / Mesdon, Bernard
PermalinkLa Publication scientifique :Analyses et perspectives / Joachim Schopfel
PermalinkLa Radioactivité au service de l'industrie et de l'environnement / Alain Caillot
PermalinkRéactions à risque / Dupré, Michèle|Le Coze, Jean-Christophe
PermalinkRéseaux de calcul:Des grappes aux nuages de calcul / Pascale Vicat-Blanc Primet
PermalinkRevue européenne des éléments finis / POTIER-FERRY,Michel
Permalink