https://intro-kodkod-6.nm-ambition.com/fr/docs/installations/Recent content in Installations on kodkod | Cours d'introductionHugofrמבואות קודקודhttps://intro-kodkod-6.nm-ambition.com/fr/docs/installations/01-installations/Mon, 01 Jan 0001 00:00:00 +0000https://intro-kodkod-6.nm-ambition.com/fr/docs/installations/01-installations/<h2 id="dans-cette-leçon">Dans cette leçon</h2> <p>Cette leçon se compose de quelques chapitres courts, dans le même ordre que les diapositives :</p> <ol> <li><strong>Chapitre 1</strong> — les outils du cours : ce que fait chaque outil</li> <li><strong>Chapitre 2</strong> — les étapes d&rsquo;installation, une par une</li> <li><strong>Chapitre 3</strong> — vérifier que tout est installé, et ce que nous installerons plus tard dans le cours</li> </ol> <h2 id="chapitre-1--les-outils-du-cours">Chapitre 1 : Les outils du cours</h2> <h3 id="quallons-nous-apprendre-">Qu&rsquo;allons-nous apprendre ?</h3> <p>Dans cette leçon, nous allons découvrir le cours et notre façon d&rsquo;y travailler, puis mettre en place l&rsquo;<strong>environnement de développement</strong> — l&rsquo;ensemble des outils que nous utiliserons pour écrire et exécuter du code tout au long du cours. À la fin de la leçon, tous les outils seront installés sur votre ordinateur, et vous saurez à quoi sert chacun d&rsquo;eux :</p>