Mathématiques informatique ECT 2e année. 3e édition
Extraits
BD tout public
Histoires extraordinaires de mathématiques et de l'informatique en bandes dessinées Tome 1
Cette BD facile à lire fascine par les histoires des découvertes, des trouvailles géniales de leurs auteurs. Les algorithmes, la découverte du nombre Pi, celle de la corde à 13 noeuds, le calcul du tour de la terre, l'invention du jeu d'échecs, la résolution des équations... Dix histoires toutes plus extraordinaires les unes que les autres se côtoient pour le plaisir des plus jeunes comme des plus grands.
11/2018
Historique
Histoires extraordinaires de mathématiques et de l'informatique en bandes dessinées Tome 2
Cette BD facile à lire fascine par les histoires des découvertes, des trouvailles géniales de leurs auteurs. Qu'est-ce qu'un nombre parfait ? Qui les a découverts le premier ? Quelle machine est considérée comme l'ancêtre des ordinateurs ? Quelle mathématicienne a été la première à obtenir une distinction de l'Académie des Sciences ? Quel est le plus petit des infinis ? Et plein d'autres questions toutes aussi passionnantes les unes que les autres...
04/2021
Enseignement primaire
Une année de mathématiques en Petite Section. Cycle 1 PS, Edition 2019
Cet ouvrage clés en main, conforme au programme de l'école maternelle, s'adresse aux enseignants de Petite Section. Il propose un déroulement progressif et détaillé pour toute une année de mathématiques. Les activités proposées couvrent tes compétences visées pour s'exercer aux mathématiques dans les domaines "Construire les premiers outils pour structurer sa pensée" et "Explorer le monde".
07/2019
Supports pédagogiques
Mathématiques CM1 cycle 3 Mon année de maths. Fichier ressources, Edition 2019
- La méthode. La résolution de problèmes et la manipulation au centre des apprentissages ; un travail sur l'ensemble des domaines mathématiques ; une progression adaptée et une démarche structurée qui favorisent la différenciation. - Le fichier ressources. Le guide pédagogique : une présentation détaillée de la démarche pédagogique ; le déroulement complet de toutes les séquences d'apprentissage : les objectifs en lien avec les nouveaux programmes, les activités de calcul mental, les éléments didactiques, les séances expliquées pas à pas, la mise en place de la différenciation, les corrigés de tous les exercices. Les ressources numériques imprimables : des annexes pour faciliter la mise en oeuvre des activités ; des fiches de géométrie pour réaliser les exercices du manuel ; des évaluations pour chaque notion.
06/2019
Affirmation de soi
Stratégie, les 33 lois de la guerre
Inspirées des guerres les plus sanglantes de toute l'Histoire, découvrez les 33 stratégies les plus efficaces pour vaincre le jeu social et subtil de notre quotidien. 1. Déclarez la guerre à vos ennemis 2. N'ayez jamais une guerre de retard 3. Au coeur de la tempête, gardez la tête froide 4. Créez un sentiment d'urgence et de désespoir 5. Evitez les pièges du pouvoir partagé 6. Divisez vos forces 7.Transformez la guerre en une croisade 8.Choisissez vos batailles avec précaution 9. Renversez la tendance 10 Créez une présence menaçante 11 Troquez l'espace contre le temps 12 Perdez des batailles, mais gagnez la guerre 13 Connaissez votre ennemi 14 Balayez les résistances par la vitesse et la surprise 15 Contrôlez la dynamique 16 Visez le point faible 17 Divisez pour mieux régner 18 Attaquez le flanc vulnérable de l'adversaire 19 Enveloppez l'ennemi 20 Mettez votre adversaire en situation de faiblesse 21 Négociez en avançant 22 Sachez poser le point final 23 Elaborez un savant mélange de vrai et de faux 24 Soyez imprévisible 25 Occupez le terrain de la moralité 26 Masquez la cible 27 Donnez l'illusion de travailler dans l'intérêt des autres 28 Tendez à vos ennemis la corde pour se pendre 29 Progressez à petits pas 30 Pénétrez les esprits 31 Détruisez de l'intérieur 32 Dominez tout en feignant la soumission 33 Semez incertitude et panique par des actes de terreur
03/2023
Sociologie
Bulletin EFEO 60 (1973)
Bulletin de l'Ecole française d'Extrême-Orient tome 60 (1973) K. Zvelebil. Problèmes fondamentaux de phonologie et morphologie des langues dravidiennes. J. Chara. A propos de l'immigration tamoule en Guyane française. G. Martini. Brapamsukulanisamsam. M. Benisti. Notes d'Iconographie Khmère IX : Le fronton de Yeai Pu. J. Dumarçay. Les charpentes rayonnantes sur plan barlong ou carré de l'Asie méridionale. J. Dumarçay. Eléments pour une histoire architecturale du Borobudur. S. Lewitz et B. Rollet. Lexique des noms d'arbres et d'arbustifs du Cambodge. S. Lewitz. Inscriptions modernes d'Angkor 17, 18, 19, 40, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33. Kpuon abah-bibah ou livre de mariage des Khmers par ker Nou et Nhieuk Nou _ Table des matières _ Avant-propos (S. Lewitz) _ Abréviation _ Préface d'un auteur (Nhieuk Nou) _ Première partie, Tradition royale (rajjapaveni), (Nhieuk Nou) _ Deuxième partie, Mariage des roturiers. 2468e année de l'ère bouddhique, ou 1925 A. D, (Ker Nou) _ Troisième partie, annexe _ Notes bibliographiques _ Glossaire _ Planches E. Saurin. Le champ de jarres de Hang Gon, près de Xuan Loc (Sud Viêtnam). P. Huart, Imbault-Huard, Th. Vetter et M. Wong. Une thèse parisienne consacrée au Ginseng en 1736 et présidée par J. F. Vandermonde. Pham Dinh Hô. La médecine vietnamienne au XVIIIe siècle, texte original extrait du " Vû Trung Tuy But " traduit par Nguyen Tran Huan. J. Frèches. François Bernier, philosophe de Confucius au XVIIe siècle. H. Chambert-Loir. Trois traductions anglaises du malais. G. Fussman. Daniel Schlumberger (1904-1972). Compte rendu.
08/2005
Histoire de France
Les parachutistes coloniaux pendant la guerre d'Algérie
De retour d'Indochine où ils se sont couverts de gloire, les régiments de parachutistes coloniaux vont participer à la guerre d'Algérie de 1956 à 1962. Ils vont souvent opérer seuls, quelquefois au sein de leur division : 10e D.P. pour les 2e, 3e et 6e R.P.C. ; 25e D.P. pour le 8e R.P.C. Puis ils vont participer aux grandes opérations du plan Challe. Le 1er décembre 1959, les R.P.C. deviennent des R.P.I.Ma (régiment de parachutistes d'infanterie de marine). A noter que le commando des parachutistes coloniaux ou commando Guillaume, créé en 1957, va opérer seul jusqu'à son rattachement au 3e R.P.I.Ma en 1961. Cette chronologie liste les principaux combats des régiments, année par année. Les parachutistes coloniaux ne participent pratiquement pas au putsch d'avril 1961 ; ni les quatre régiments ni le commando Guillaume ne sont dissous. A noter la brillante prestation des 2e et 3e R.P.I.Ma lors de l'opération aéroportée sur Bizerte en juillet 1961. Puis c'est le départ vers la France et la dissolution du 2e R.P.I.Ma. Ce livre est étoffé d'une annexe par régiment et une pour le commando Guillaume et d'une annexe pour les officiers supérieurs, pour les officiers subalternes, pour les sous-officiers et pour les caporaux-chefs, les caporaux et les hommes de troupe.
01/2021
Mathématiques
Mathématiques illustrées avec les outils informatiques 2de. Cours et exercices corrigés
Cet ouvrage est destiné aux élèves de seconde générale désireux de travailler de manière autonome les divers éléments du programme de mathématiques. Il est tout à fait accessible aux élèves dès la sortie de la classe de troisième, chaque chapitre comportant : - Le cours détaillé, illustré de nombreux exemples permettant de comprendre les définitions et propriétés correspondantes. - Des méthodes détaillées insistant sur certains points du programme, comportant chacune un exercice entièrement corrigé, avec une rédaction détaillée pouvant servir de modèle aux exercices du même type. - Des exercices variés, comportant des applications directes du cours, pouvant faire appel aux logiciels de géométrie dynamique, à la programmation dans le langage Python (un chapitre détaillé lui est consacré), aux logiciels de calcul formel, ou encore au tableur. Cette variété répond aux exigences de diversité des activités proposées aux élèves afin de manipuler de diverses manières les notions au programme de la seconde. Elle donne aussi un premier contact avec une diversité de logiciels pouvant être utilisés dans diverses matières et divers domaines, depuis la seconde aux études postbac.
07/2023
Mathématiques 4e
Mathématiques 4e. Edition 2022
Tout pour progresser et réussir son année Ce livre propose tout le nécessaire pour s'entraîner à la maison et réussir son année. De nombreux quiz permettent de vérifier de façon ludique que les notions de cours sont comprises et retenues. Des exercices ciblés, compétence par compétence, permettent de s'entraîner sur des points précis. Des conseils pratiques de méthode accompagnent l'élève et le guident vers la réussite. Des fiches récapitulatives dressent enfin les grands repères à maîtriser. Elles sont parfaites pour s'interroger mutuellement avec des camarades.
11/2022
Mathématiques Prépas
Mathématiques PTSI. 4e édition
Les ouvrages de la collection Prépas Sciences sont le complément indispensable à la réussite en CPGE. Ils ont été conçus et rédigés par des professeurs enseignant en classes préparatoires dans différents lycées de notre pays. Leur contenu a été discuté et pensé avec soin pour permettre la meilleure adéquation avec les attentes et les besoins des étudiants en CPGE. Pour intégrer, il faut assimiler le cours, en connaître les points fondamentaux et savoir le mettre en application dans des exercices ou des problèmes souvent ardus. Cette collection est conçue pour répondre à ces difficultés. Dans chaque chapitre, correspondant à peu près à une semaine de cours, vous trouverez : - Le résumé de cours : Il vous permettra d'accéder à une connaissance synthétique des notions. - Les exercices, avec des indications : Souvent tirés d'annales de concours, ils vous entraîneront aux écrits comme aux oraux. - Les méthodes : Elles vous initieront aux techniques usuelles qu'il faut savoir mettre en place. - Les corrigés : Toujours rédigés avec soin, ils vous aideront à progresser dans la résolution d'exercices. - Le vrai/faux : Il testera votre compréhension du cours et vous évitera de tomber dans les erreurs classiques. Ainsi, avec un seul livre par année et par matière, la collection Prépas Sciences vous permettra de surmonter les colles, d'affronter les devoirs, et elle vous guidera, jour après jour, dans votre cheminement vers la réussite aux concours.
05/2021
Mathématiques Prépas
Mathématiques PCSI. 5e édition
Les ouvrages de la collection Prépas Sciences sont le complément indispensable à la réussite en CPGE. Ils ont été conçus et rédigés par des professeurs enseignant en classes préparatoires dans différents lycées de notre pays. Leur contenu a été discuté et pensé avec soin pour permettre la meilleure adéquation avec les attentes et les besoins des étudiants en CPGE. Pour intégrer, il faut assimiler le cours, en connaître les points fondamentaux et savoir le mettre en application dans des exercices ou des problèmes souvent ardus. Cette collection est conçue pour répondre à ces difficultés. Dans chaque chapitre, correspondant à peu près à une semaine de cours, vous trouverez : - Le résumé de cours : Il vous permettra d'accéder à une connaissance synthétique des notions. - Les exercices, avec des indications : Souvent tirés d'annales de concours, ils vous entraîneront aux écrits comme aux oraux. - Les méthodes : Elles vous initieront aux techniques usuelles qu'il faut savoir mettre en place. - Les corrigés : Toujours rédigés avec soin, ils vous aideront à progresser dans la résolution d'exercices. - Le vrai/faux : Il testera votre compréhension du cours et vous évitera de tomber dans les erreurs classiques. Ainsi, avec un seul livre par année et par matière, la collection Prépas Sciences vous permettra de surmonter les colles, d'affronter les devoirs, et elle vous guidera, jour après jour, dans votre cheminement vers la réussite aux concours.
05/2021
Enseignement secondaire 1er cy
Mathématiques 6e. Edition 2014
Une nouvelle édition : 80 % des textes et des exercices renouvelés ; de nombreuses tâches complexes et une ouverture sur le monde (arts, architecture, sport...) en fin de chapitre ; Un découpage de chaque chapitre en deux sous-parties (des activités aux exercices d'application) offre une grande liberté pédagogique en permettant une progression croisée ou linéaire ; Un ouvrage bien balisé permettant l'apprentissage de la rigueur et de la rédaction ; un cours clair, structuré et complet et de nombreuses aides méthodologiques pour développer l'autonomie. Offert : un livret d'accompagnement (boîte à outils), un cahier d'activités renouvelé, suivant le même découpage que le nouveau manuel et proposant des activités, des tâches complexes et des QCM.
08/2014
Enseignement secondaire 1er cy
Mathématiques 4e. Edition 2007
Pour une mise en oeuvre efficace du nouveau programme, les manuels sont structurés en 4 parties : - nombres et calculs ; - organisation et gestion de données ; - géométrie ; - grandeurs et mesures. Chaque chapitre comporte : - de réelles activités préliminaires courtes et variées ; - un cours clair et complet illustré de nombreux exemples ; - la résolution d'un exercice habituant l'élève à la rédaction d'une solution ; - des savoir-faire "J'apprends à ...
et J'applique" qui permettent l'acquisition de méthodes "clés" ; - de nombreux exercices, progressifs et classés par compétences - dans les manuels de 5e et 4e, une page consacrée aux outils informatiques et à l'usage des calculatrices ; - "Je découvre" : des activités historiques, ludiques ou de construction pour ouvrir l'esprit.
et J'applique" qui permettent l'acquisition de méthodes "clés" ; - de nombreux exercices, progressifs et classés par compétences - dans les manuels de 5e et 4e, une page consacrée aux outils informatiques et à l'usage des calculatrices ; - "Je découvre" : des activités historiques, ludiques ou de construction pour ouvrir l'esprit.
04/2007
Mathématiques 4e
Mathématiques 4e. Edition 2021
Une vue à 360° des notions incontournables du programme De nombreux exercices autocorrectifs qui rendent les élèves autonomes
05/2021
Mathématiques 5e
Mathématiques 5e. Edition 2021
Une vue à 360° des notions incontournables du programme De nombreux exercices autocorrectifs qui rendent les élèves autonomes
05/2021
Mathématiques 6e
Mathématiques 6e. Edition 2021
Une vue à 360° des notions incontournables du programme De nombreux exercices autocorrectifs qui rendent les élèves autonomes
05/2021
Numérique et sciences informat
Spécialité Numérique et sciences informatiques 1re. 2e édition
Cet ouvrage est destiné aux élèves de Première qui ont choisi la spécialité NSI et qui souhaitent acquérir un très bon niveau dans l'optique d'aborder dans les meilleures conditions la Terminale et, bien sûr, de réussir le bac, pourquoi pas avec mention. Il est aussi un outil indispensable pour ceux qui souhaitent poursuivre des études supérieures dans une formation ayant une composante informatique importante. Tout en suivant strictement le programme de la spécialité conforme à la réforme du Bac, cet ouvrage expose en détail chaque notion avec rigueur. Il aide à acquérir des savoirs solides permettant de développer des capacités de raisonnement et de résolution qui sont la clé de la réussite dans les études supérieures scientifiques. Dans chaque chapitre, vous trouverez : - Le cours. Il vous permettra d'accéder à une connaissance synthétique des notions. - Les approfondissements et les algorithmes. Ils vous conduiront à une excellente connaissance du programme et à une meilleure maîtrise des sciences du numérique. - Le vrai/faux et les QCM. Ils testeront votre compréhension du cours et vous éviteront de tomber dans les erreurs classiques. - Les exercices, avec indications. Ils vous entraîneront tout au long de l'année pour aborder les devoirs en classe avec profit. - Les corrigés détaillés et commentés. Toujours rédigés avec soin, ils vous aideront à progresser dans la résolution des exercices. Ainsi ce livre vous permettra d'aborder avec aisance les interrogations, les devoirs, la conduite de projets et offrira les meilleures conditions pour réussir plus tard son baccalauréat et son entrée dans les études supérieures.
07/2021
Collège parascolaire
Mathématiques-sciences 3e. Edition 2023
Tous les sujets corrigés des dernières années regroupés par matière en un seul volume Un entraînement efficace et ciblé pour bien se préparer aux épreuves : - tous les sujets les plus récents sur l'ensemble du programme ; - les précisions de l'enseignant pour traiter pas à pas chaque sujet ; - les corrigés détaillés ; - les conseils de méthodologie et les recommandations pour l'examen.
Annales Mathématiques
Mathématiques 3e. Sujets, Edition 2023
Les Annales ABC du Brevet pour préparer l'épreuve de Maths du Brevet 2023 Sujets non corrigés - Une banque de sujets expliqués pour traiter tout le programme du Brevet - Des fiches de révisions pour retenir l'essentiel - Les conseils et astuces des correcteurs Annales ABC du Brevet 2023 Maths - non corrigé Conforme aux programmes du Brevet Des sujets pour préparer le Brevet 2023 - Les sujets complets de l'épreuve écrite du Brevet 2022 pour s'entraîner dans les conditions de l'examen. - Des sujets classés par thèmes pour réviser tout le programme. - Un minutage pour se mettre dans les conditions de l'épreuve. La méthode gagnante pour préparer l'épreuve - L'épreuve expliquée et les critères d'évaluation. - Les conseils pratiques des correcteurs. La synthèse des cours - Des fiches de révisions pour retenir les points-clés. - Les formules et définitions à mémoriser.
09/2022
Collège parascolaire
Mathématiques 3e. Sujets, Edition 2020
Des sujets sur tout le programme : les sujets complets de l'épreuve écrite du Brevet 2019, des exercices pour s'entraîner sur tous les thèmes, un minutage pour se mettre dans les conditions de l'épreuve. La méthode gagnante pour préparer le Brevet : l'épreuve expliquée et les critères d'évaluation, les conseils pratiques des correcteurs, des fiches de révision pour retenir les points-clés, les formules et définitions à mémoriser.
08/2019
Cours 1er cycle
Exercices et méthodes de mathématiques L1. 2e édition
Cet ouvrage propose aux étudiants de la première année d'études supérieures une méthode progressive et efficace pour apprendre, comprendre et appliquer les concepts fondamentaux des mathématiques. Associés à des rappels de cours clairs et concis, sous forme de fiches, 200 QCM et 230 exercices de difficulté croissante permettent de s'évaluer et de s'entraîner aux examens et concours. Les corrigés détaillés mettent l'accent sur la méthode de résolution.
07/2023
Réseaux informatiques
Réseaux informatiques - Notions fondamentales (9e édition)
Ce livre sur les réseaux s'adresse aussi bien aux personnes désireuses de comprendre les réseaux informatiques et les systèmes d'exploitation, qu'aux informaticiens plus expérimentés souhaitant renforcer et mettre à jour leurs connaissances. Le lecteur identifie les contextes d'accès aux réseaux d'aujourd'hui grâce notamment à des illustrations détaillant clairement les composants et technologies mis en jeu. De nombreux exemples reposant sur une approche client/serveur lui permettent de passer en revue les systèmes d'exploitation les plus courants, ainsi que les matériels associés. La tolérance de panne et le stockage sont également détaillés avec les différentes typologies de disque ainsi que les notions telles que NAS, SAN, zoning, Fibre Channel, FCoE ou encore iSCSI. Les protocoles de réplication entre baies sont également décrits ainsi que le fonctionnement de la déduplication pour les sauvegardes et le principe des WAAS. Une synthèse sur la virtualisation est proposée permettant au lecteur de bien comprendre les enjeux, les avantages et inconvénients apportés par les différentes solutions du marché. Avec une approche pragmatique, l'auteur permet ensuite au lecteur de mieux comprendre le modèle OSI en couches réseau de référence. Puis, de manière exhaustive, les principes de base sont présentés (normes, architectures courantes, câblages, codage des données, topologie, réseaux sans fil, interconnexions de réseaux, boucle locale optique de la fibre...) puis les différents protocoles qui comptent dans les réseaux informatiques (PXE, WOL, Ethernet, Wi-Fi, Bluetooth, ADSL, WiMax, téléphonie 2G à 5G...) sont déclinés d'un point de vue opérationnel sans noyer le lecteur dans un discours trop théorique. Une partie sur les orbites basses permet de donner une visibilité sur les solutions en cours et les projets à venir. Un panorama des objets connectés IoT est également proposé. Les couches basses sont décrites de façon détaillée en proposant de nombreuses illustrations sur la connectique et les matériels utilisés (codage, signaux, connectique coaxiale, cuivre, fibre). La configuration réseau est examinée pour Windows, Linux, macOS, iOS et Android. Les méthodes d'accès au support CSMA/CA, CSMA/CD ainsi que le jeton passant sont expliqués. D'un point de vue réseau, les équipements agissant au niveau des différentes couches OSI sont examinés : répéteur, pont, routeur, passerelle. L'algorithme du Spanning Tree ainsi que le fonctionnement des VLANs sont expliqués au travers d'exemples détaillés. Le fonctionnement de VSS et les protocoles liés au routage (RIP, OSPF, BGP, HSRP) sont passés en revue. Des exemples de configuration sont proposés au travers de Packet Tracer et les technologies FDDI, ATM, SONET et autres relais de trames sont également étudiés...
04/2022
Informatique
Tout sur la sécurité informatique. 5e édition
Cet ouvrage est consacré à la sécurité des équipements informatiques : les risques de hacking, virus, spams et autres malwares, et les solutions pour y remédier. Cette nouvelle édition mise à jour et enrichie aborde notamment : les vulnérabilités des processeurs, la sécurité des nouveaux systèmes d'authentification, les nouvelles techniques d'attaque et de défense, la sécurité des réseaux sans fil, les institutions internationales et françaises de lutte contre le cybercrime, les méthodes d'évaluation du risque informatique en entreprise. Un répertoire commenté d'adresses web incontournables en matière de sécurité complète l'ouvrage.
03/2020
Mathématiques pour ingénieurs
Mathématiques de l'ingénieur. 4e édition
Cet aide-mémoire contient toutes les formules et les définitions mathématiques utiles à l'ingénieur en formation ou en activité. De nombreuses tables de fonctions ainsi que de lois statistiques sont fournies, permettant de trouver facilement la formule ou la donnée recherchée. Cette quatrième édition apporte des compléments sur les statistiques et le big data ainsi que sur l'analyse numérique. Elle comporte en outre des ajouts conséquents sur les algorithmes simples, largement utilisés aujourd'hui.
03/2023
Mathématiques pour l'informati
Maths et informatique BCPST 2. Méthodes et exercices, 2e édition
Ce Méthodes et Exercices de maths BCPST 2 vous propose une synthèse des méthodes à connaître et, pour chacune, des exercices entièrement corrigés pour vous entraîner. Toutes les méthodes à connaître - Par thème du programme, les méthodes vous sont présentées avec le détail des étapes. - Chaque méthode renvoie à plusieurs exercices d'application. De nombreux énoncés d'exercices - Les exercices d'application sont triés par difficulté. - Ils couvrent l'intégralité du programme de BCPST 2. Un accompagnement pédagogique - Des indications "pour bien démarrer" vous donnent un coup de pouce si vous avez du mal à résoudre un exercice. - Tous les exercices sont corrigés avec une rédaction complète.
06/2022
Mathématiques Prépas
Toutes les mathématiques. Première année de classes préparatoires scientifiques MPSI, MP2I, PCSI, PTSI, TSI, 3e édition
Cet ouvrage couvre, en un seul volume, l'intégralité des programmes officiels de mathématiques des classes préparatoires MPSI-MP2I, PCSI et PTSI en vigueur dès la rentrée 2021. Complet, rigoureux et concis, le cours est illustré de plus de 300 figures et d'un grand nombre d'exemples et remarques, et de plus de 800 exercices corrigés.
01/2022
Droit
Logic: Mathematics, Language, Computer Science and Philosophy
In Logic Programming (25 and 26) the language of logic is used as a declarative programming language. Prolog uses resolution as its underlying proof mechanism. The logical structure of relational databases is explained (27) in set theoretical terms and it is shown how the language of set theory can be used as a Structured Query Language (SQL). Computability, Undecidability and Complexity are treated in sections 28, 29, and 30, respectively, in terms of Turing machines. The undecidability of the validity problem for predicate logic and the NP-completeness of the satisfiability problem for propositional logic are shown in a similiar way. Chomsky's notion of grammar and its relation to the notion of automation is presented in section 31. Both untyped and typed lambda calculus are treated in sections 32 and 33, respectively. The role epistemic logic can play in the description of distributed systems is explained (34). In section 35 and 36, temporal logic is used both for verification by hand and for automatic verification. A tableaux-based automated theorem prover for classical logic is elaborated in the Appendix. Each section ends with a number of exercises ; the answers can be found at the end of this book.
05/1994
Histoire de France
L'Année 14. 2e édition
Dans l'histoire des hommes, quelques dates marquent des ruptures indélébiles. 1914 est de celles-là. On donna par la suite - à tort - le nom de Première Guerre mondiale à ce conflit, dont on connaît le terrible bilan : 10 millions de morts, un désastre économique et culturel, et l'avènement des régimes totalitaires. Cette guerre était-elle évitable ? La Grande Guerre aurait-elle pu ne pas avoir lieu et le XXe siècle en être totalement transformé ? Quels furent les objectifs et les arrière-pensées des acteurs, au jour le jour, dans les capitales européennes ? Quel était, au-delà de l'image d'Epinal, l'état d'esprit des populations ? Autant de questions auxquelles répond ce livre, dans un récit au quotidien des premiers mois du drame.
09/2013
Lycée parascolaire
Mathématiques 2de. Edition 2019
Cet ouvrage propose une méthode de travail précise et efficace en deux étapes pour faire de sa copie la meilleure copie : I. Je révise et je me perfectionne : - le cours complet précis, structuré, écrit avec une grande rigueur et conforme à la réforme du Bac 2021 ; - des focus sur les points essentiels pour mettre en évidence des méthodes de résolution ; - les conseils d'un professeur expérimenté ; - des démonstrations et des prolongements pour aller au-delà des fondamentaux du programme et accroître ses connaissances. II. Je m'exerce et je fais la différence : - les exercices d'entraînement ; - des exercices plus élaborés et complexes pour prendre du recul sur le programme et se préparer dans de bonnes conditions aux études supérieures ; - les corrigés détaillés et commentés de tous les exercices du livre.
08/2019
Lycée parascolaire
Mathématiques 2de. Edition 2019
Une méthode de mémorisation rapide et durable ; Une mémorisation active (seul, avec un parent ou en groupe) ; Des questions et réponses sur tout le programme ; Des questions de difficultés croissantes ; Des questions sur des documents incontournables du programme.
05/2019
