المكتبة المركزية
Détail de l'éditeur
vuibert
localisé à :
paris
|
Documents disponibles chez cet éditeur (42)
Affiner la recherche Interroger des sources externesPrêt pour ma prépa ? 1000 QCM de maths, physique et chimie pour tester son niveau et assurer sa rentrée / Yann Lozier
Titre : Prêt pour ma prépa ? 1000 QCM de maths, physique et chimie pour tester son niveau et assurer sa rentrée Type de document : texte imprimé Auteurs : Yann Lozier, Auteur ; Paul Milan, Auteur Editeur : paris : vuibert Année de publication : 2023 Importance : 265p Format : 24cm Note générale : Prêt pour ma prépa ? 1000 QCM de maths, physique et chimie pour tester son niveau et assurer sa rentrée: De la Terminale aux Prépas MPSI-PCSI-PTSI-MP2I-TSI-BCPST Langues : Français (fre) Mots-clés : Sciences vétérinaires-calcul algébrique, analyse, optique, mécanique, molécules Résumé : Tu as été accepté en première année de classes préparatoires scientifiques ? Es-tu prêt à affronter cette rentrée ? C'est le moment de tester ton niveau en maths, physique et chimie, les matières reines en prépa scientifique.
Avant la rentrée en classe prépa MPSI - PCSI - PTSI - MP2I ou même TSI, il est important de ne pas oublier tout ce que tu as appris au lycée pour être au top à la rentrée !
Tu trouveras dans ce livre 1 000 QCM corrigés en maths, physique et chimie pour tester ton niveau et savoir où mettre le curseur des révisions avant la rentrée et durant la première année.
Tu y trouveras aussi :
- un classement par grands thèmes (calcul algébrique, analyse, ..., optique, mécanique, molécules, etc.) pour organiser plus facilement tes sessions d’entraînement et cibler tes connaissances et tes lacunes ;
- des niveaux de difficulté et des cases de scores qui permettent un entraînement efficace et progressif, complet ou ciblé, selon tes besoins ;
- des corrigés détaillés pour comprendre tes erreurs et ne plus les faire ;
- des tableaux de compréhension des scores pour chaque matière te serviront de point de repères pour orienter tes révisions par la suite.Prêt pour ma prépa ? 1000 QCM de maths, physique et chimie pour tester son niveau et assurer sa rentrée [texte imprimé] / Yann Lozier, Auteur ; Paul Milan, Auteur . - paris : vuibert, 2023 . - 265p ; 24cm.
Prêt pour ma prépa ? 1000 QCM de maths, physique et chimie pour tester son niveau et assurer sa rentrée: De la Terminale aux Prépas MPSI-PCSI-PTSI-MP2I-TSI-BCPST
Langues : Français (fre)
Mots-clés : Sciences vétérinaires-calcul algébrique, analyse, optique, mécanique, molécules Résumé : Tu as été accepté en première année de classes préparatoires scientifiques ? Es-tu prêt à affronter cette rentrée ? C'est le moment de tester ton niveau en maths, physique et chimie, les matières reines en prépa scientifique.
Avant la rentrée en classe prépa MPSI - PCSI - PTSI - MP2I ou même TSI, il est important de ne pas oublier tout ce que tu as appris au lycée pour être au top à la rentrée !
Tu trouveras dans ce livre 1 000 QCM corrigés en maths, physique et chimie pour tester ton niveau et savoir où mettre le curseur des révisions avant la rentrée et durant la première année.
Tu y trouveras aussi :
- un classement par grands thèmes (calcul algébrique, analyse, ..., optique, mécanique, molécules, etc.) pour organiser plus facilement tes sessions d’entraînement et cibler tes connaissances et tes lacunes ;
- des niveaux de difficulté et des cases de scores qui permettent un entraînement efficace et progressif, complet ou ciblé, selon tes besoins ;
- des corrigés détaillés pour comprendre tes erreurs et ne plus les faire ;
- des tableaux de compréhension des scores pour chaque matière te serviront de point de repères pour orienter tes révisions par la suite.Réservation
Réserver ce document
Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 58352 530-67.1 Livre المكتبة المركزية indéterminé Exclu du prêt 58353 530-67.2 Livre المكتبة المركزية indéterminé Disponible
Titre : Algèbre linéaire : Réduction des endomorphismes Type de document : texte imprimé Auteurs : Mneimné Rached Mansuy Roger Editeur : paris : vuibert Année de publication : 2012 Importance : 180 p Format : 24 cm Langues : Français (fre) Mots-clés : COMMUTATION - DIAGONALISATION - TRIGONALISATION Index. décimale : 512 Résumé : Rédigé à l'attention des étudiants en Licence de mathématiques et des classes préparatoires scientifiques, l'ouvrage est constitué d'un cours complet, de commentaires et développements et de 120 exercices corrigés. Afin d'aborder les différents aspects de la théorie de la réduction, les premiers chapitres détaillent avec soin les objets et concepts de l'algèbre linéaire. Les chapitres suivants présentent aussi bien les critères pratiques que leurs utilisations théoriques, à l'appui de nombreux exemples. Cette approche pédagogique offre également une base solide de révision pour tous les candidats qui se préparent aux concours de l'enseignement En ligne : 512-20.1.pdf Algèbre linéaire : Réduction des endomorphismes [texte imprimé] / Mneimné Rached Mansuy Roger . - paris : vuibert, 2012 . - 180 p ; 24 cm.
Langues : Français (fre)
Mots-clés : COMMUTATION - DIAGONALISATION - TRIGONALISATION Index. décimale : 512 Résumé : Rédigé à l'attention des étudiants en Licence de mathématiques et des classes préparatoires scientifiques, l'ouvrage est constitué d'un cours complet, de commentaires et développements et de 120 exercices corrigés. Afin d'aborder les différents aspects de la théorie de la réduction, les premiers chapitres détaillent avec soin les objets et concepts de l'algèbre linéaire. Les chapitres suivants présentent aussi bien les critères pratiques que leurs utilisations théoriques, à l'appui de nombreux exemples. Cette approche pédagogique offre également une base solide de révision pour tous les candidats qui se préparent aux concours de l'enseignement En ligne : 512-20.1.pdf Exemplaires(0)
Disponibilité aucun exemplaire
Titre : Algèbre linéaire : Réduction des endomorphismes Type de document : texte imprimé Auteurs : Mneimné Rached Mansuy Roger Editeur : paris : vuibert Année de publication : 2012 Importance : 180 p Format : 24 cm Langues : Français (fre) Mots-clés : COMMUTATION - DIAGONALISATION - TRIGONALISATION Index. décimale : 512 Résumé : Rédigé à l'attention des étudiants en Licence de mathématiques et des classes préparatoires scientifiques, l'ouvrage est constitué d'un cours complet, de commentaires et développements et de 120 exercices corrigés. Afin d'aborder les différents aspects de la théorie de la réduction, les premiers chapitres détaillent avec soin les objets et concepts de l'algèbre linéaire. Les chapitres suivants présentent aussi bien les critères pratiques que leurs utilisations théoriques, à l'appui de nombreux exemples. Cette approche pédagogique offre également une base solide de révision pour tous les candidats qui se préparent aux concours de l'enseignement En ligne : 512-20.1.pdf Algèbre linéaire : Réduction des endomorphismes [texte imprimé] / Mneimné Rached Mansuy Roger . - paris : vuibert, 2012 . - 180 p ; 24 cm.
Langues : Français (fre)
Mots-clés : COMMUTATION - DIAGONALISATION - TRIGONALISATION Index. décimale : 512 Résumé : Rédigé à l'attention des étudiants en Licence de mathématiques et des classes préparatoires scientifiques, l'ouvrage est constitué d'un cours complet, de commentaires et développements et de 120 exercices corrigés. Afin d'aborder les différents aspects de la théorie de la réduction, les premiers chapitres détaillent avec soin les objets et concepts de l'algèbre linéaire. Les chapitres suivants présentent aussi bien les critères pratiques que leurs utilisations théoriques, à l'appui de nombreux exemples. Cette approche pédagogique offre également une base solide de révision pour tous les candidats qui se préparent aux concours de l'enseignement En ligne : 512-20.1.pdf Exemplaires(4)
Code-barres Cote Support Localisation Section Disponibilité 512-20.2 512-20.2 Périodique Bibliothèque principale indéterminé Exclu du prêt 512-20.3 512-20.3 Périodique Bibliothèque principale indéterminé Exclu du prêt 512-20.4 512-20.4 Périodique Bibliothèque principale indéterminé Exclu du prêt 36239 512-20.1 Livre المكتبة المركزية indéterminé Exclu du prêt
Titre : Algorithmique : verifier , tester , et concevoir des programmes en les modélisant cours et exercices corrigés Type de document : texte imprimé Auteurs : Jacques Julliand, Auteur ; Pierre Berlioux, Préfacier, etc. Editeur : paris : vuibert Année de publication : 2010 Importance : 264 p Format : 24 cm ISBN/ISSN/EAN : 978-2-311-00020-7 Langues : Français (fre) Mots-clés : Algorithmique programmes programmation modélisation Index. décimale : 005 Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs.
La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé.
L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validation (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes.
A la base des techniques de vérification, la logique de Hoare est au coeur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs.
L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B.
Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en oeuvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B.
L'ensemble est illustré de nombreux exercices corrigés.
Note de contenu : Sommaire:
Modéliser pour vérifier et développer des programmes
Test et vérification de programmes
Vérification de programmes par exécution symbolique
Un langage de programmation générique
La logique des prédicats du premier ordre - le langage de modélisation du premier ordre
La logique de Hoare - le système de vérification
Quelques éléments de stratégie de vérification de programmes
Exemple de découverte d'erreurs à la vérification
Etude de cas - modélisation et vérification d'un programme de calcul de la racine carrée entière par division
Développer des programmes corrects par construction à partir de modèles
Automatisation de la vérification et de la génération de tests à partir de modèles
Modélisation de programmes en B
Modéliser en B pour engendrer des tests boîte noire
Modéliser des programmes en B pour les vérifier
Solutions des exercices
En ligne : https://servimg.eyrolles.com/static/media/0207/9782311000207_internet_h1400.jpg Algorithmique : verifier , tester , et concevoir des programmes en les modélisant cours et exercices corrigés [texte imprimé] / Jacques Julliand, Auteur ; Pierre Berlioux, Préfacier, etc. . - paris : vuibert, 2010 . - 264 p ; 24 cm.
ISBN : 978-2-311-00020-7
Langues : Français (fre)
Mots-clés : Algorithmique programmes programmation modélisation Index. décimale : 005 Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs.
La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé.
L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validation (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes.
A la base des techniques de vérification, la logique de Hoare est au coeur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs.
L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B.
Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en oeuvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B.
L'ensemble est illustré de nombreux exercices corrigés.
Note de contenu : Sommaire:
Modéliser pour vérifier et développer des programmes
Test et vérification de programmes
Vérification de programmes par exécution symbolique
Un langage de programmation générique
La logique des prédicats du premier ordre - le langage de modélisation du premier ordre
La logique de Hoare - le système de vérification
Quelques éléments de stratégie de vérification de programmes
Exemple de découverte d'erreurs à la vérification
Etude de cas - modélisation et vérification d'un programme de calcul de la racine carrée entière par division
Développer des programmes corrects par construction à partir de modèles
Automatisation de la vérification et de la génération de tests à partir de modèles
Modélisation de programmes en B
Modéliser en B pour engendrer des tests boîte noire
Modéliser des programmes en B pour les vérifier
Solutions des exercices
En ligne : https://servimg.eyrolles.com/static/media/0207/9782311000207_internet_h1400.jpg Réservation
Réserver ce document
Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 19923 005-39.1 Livre المكتبة المركزية indéterminé Exclu du prêt 19924 005-39.2 Livre المكتبة المركزية indéterminé Disponible
Titre : Algorithmique verifier , tester , et concevoir des programmes en les modélisant : cours et exercices corrigés Type de document : texte imprimé Auteurs : Jacques Julliand ; Pierre Berlioux, Préfacier, etc. Editeur : paris : vuibert Importance : 264 p Format : 24 cm Langues : Français (fre) Mots-clés : Algorithmique Index. décimale : 005 Résumé : cet ouvrage présent à la base des téchniques de vérification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette méthode pour vérifier et concervoir des logiciels surs. En ligne : 005-39.1.pdf Algorithmique verifier , tester , et concevoir des programmes en les modélisant : cours et exercices corrigés [texte imprimé] / Jacques Julliand ; Pierre Berlioux, Préfacier, etc. . - paris : vuibert, [s.d.] . - 264 p ; 24 cm.
Langues : Français (fre)
Mots-clés : Algorithmique Index. décimale : 005 Résumé : cet ouvrage présent à la base des téchniques de vérification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette méthode pour vérifier et concervoir des logiciels surs. En ligne : 005-39.1.pdf Exemplaires(0)
Disponibilité aucun exemplaire PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink
