La pensée mathématique est cruciale dans tous les domaines de l'informatique : algorithmes, bio-informatique, infographie, science des données, apprentissage automatique, etc. Dans ce cours, nous apprendrons les outils les plus importants utilisés en mathématiques discrètes : induction, récursion, logique, invariants, exemples, optimalité. Nous utiliserons ces outils pour répondre à des questions de programmation typiques telles que : Comment pouvons-nous être certains qu'une solution existe ? Suis-je sûr que mon programme calcule la réponse optimale ? Est-ce que chacun de ces objets répond aux exigences données ? Dans le cours en ligne, nous utilisons une approche qui consiste à essayer avant de tout expliquer : vous résoudrez de nombreuses énigmes interactives (et adaptées aux téléphones portables) qui ont été soigneusement conçues pour vous permettre d'inventer vous-même un grand nombre d'idées et de concepts importants. Prérequis :
Offrez à votre carrière le cadeau de Coursera Plus avec $160 de réduction, facturé annuellement. Économisez aujourd’hui.
La pensée mathématique en informatique
Ce cours fait partie de Spécialisation Introduction aux mathématiques discrètes pour l'informatique
Instructeurs : Alexander S. Kulikov
138 201 déjà inscrits
Inclus avec
(2,244 avis)
Compétences que vous acquerrez
- Catégorie : Induction mathématique
- Catégorie : Théorie de la preuve
- Catégorie : Mathématiques discrètes
- Catégorie : Logique mathématique
Détails à connaître
Ajouter à votre profil LinkedIn
57 devoirs
Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées
Élaborez votre expertise du sujet
- Apprenez de nouveaux concepts auprès d'experts du secteur
- Acquérez une compréhension de base d'un sujet ou d'un outil
- Développez des compétences professionnelles avec des projets pratiques
- Obtenez un certificat professionnel partageable
Obtenez un certificat professionnel
Ajoutez cette qualification à votre profil LinkedIn ou à votre CV
Partagez-le sur les réseaux sociaux et dans votre évaluation de performance
Il y a 6 modules dans ce cours
Pourquoi certains arguments sont-ils convaincants et d'autres non ? Qu'est-ce qui rend un argument convaincant ? Comment pouvez-vous établir votre argument de manière à ce qu'il ne reste plus aucune place pour le doute ? Comment la pensée mathématique peut-elle vous y aider ? Dans cette section, nous commençons à creuser ces questions. Notre objectif est d'apprendre, à l'aide d'exemples, à comprendre les preuves, à les découvrir par vous-même, à les expliquer et, enfin et surtout, à les apprécier : nous verrons comment une petite remarque ou une simple observation peut transformer une question apparemment non triviale en une question évidente.
Inclus
10 vidéos6 lectures4 devoirs
Comment pouvons-nous être certains qu'un objet répondant à certaines exigences existe ? Une façon de le démontrer est de passer en revue tous les objets et de vérifier si au moins l'un d'entre eux répond aux exigences. Cependant, dans de nombreux cas, l'espace de recherche est énorme. Un ordinateur peut aider, mais un raisonnement qui réduit l'espace de recherche est important à la fois pour la recherche informatique et pour le travail "à mains nues". Dans ce module, nous apprendrons diverses techniques pour montrer qu'un objet existe et qu'il est optimal parmi tous les autres objets. Comme d'habitude, nous nous entraînerons à résoudre de nombreuses énigmes interactives. Nous montrerons également quelques programmes informatiques qui nous aideront à construire un exemple.
Inclus
16 vidéos6 lectures13 devoirs
Nous découvrirons deux méthodes puissantes pour définir des objets, prouver des concepts et mettre en œuvre des programmes : la récursivité et l'induction. Ces deux méthodes sont très utilisées en mathématiques discrètes et en informatique. En particulier, vous les verrez fréquemment dans les algorithmes - pour analyser la correction et le temps d'exécution des algorithmes ainsi que pour mettre en œuvre des solutions efficaces. Pour certains problèmes informatiques (par exemple, l'exploration de réseaux), les solutions récursives sont les plus naturelles. L'idée principale de la récursivité et de l'induction est de décomposer un problème donné en problèmes plus petits du même type. Être capable de voir de telles décompositions est une compétence importante à la fois en mathématiques et en programmation. Nous perfectionnerons cette compétence en résolvant ensemble divers problèmes.
Inclus
3 vidéos13 lectures9 devoirs1 laboratoire non noté
La logique mathématique joue un rôle crucial et indispensable dans la création d'arguments convaincants. Nous utilisons les règles et le langage de la logique mathématique lorsque nous écrivons du code, lorsque nous raisonnons et prenons des décisions, et lorsque nous utilisons des programmes informatiques. Cette semaine, nous apprendrons les bases de la logique mathématique et nous pratiquerons des aspects délicats et apparemment contre-intuitifs, mais pourtant logiques, de la logique mathématique. Cela nous aidera à écrire un code lisible et précis, et à formuler nos pensées de manière rigoureuse et concise.
Inclus
10 lectures10 devoirs
"Il y a des choses qui ne changent jamais". Au-delà d'une simple déclaration philosophique, cette phrase s'avère être une idée importante en mathématiques discrètes et en informatique. Une propriété qui est préservée au cours d'un processus est appelée un invariant. Les invariants sont très utilisés dans l'analyse du comportement des algorithmes, des programmes et d'autres processus. Être capable de trouver le bon invariant est une compétence importante que nous développerons ensemble dans ce module.
Inclus
11 lectures16 devoirs
Dans ce module, nous considérons un puzzle à 15 bien connu où il faut rétablir l'ordre parmi 15 pièces carrées dans une boîte carrée. Il s'avère que le comportement de ce puzzle est déterminé par les mathématiques : il est résoluble si et seulement si la permutation correspondante est paire. Pour comprendre ce que cela signifie et pourquoi c'est vrai, nous apprendrons les propriétés de base des permutations paires et impaires - une notion importante en algèbre et en mathématiques discrètes. Ensemble, nous mettrons en œuvre un certain nombre de méthodes simples pour travailler avec les permutations. Vous les utiliserez ensuite comme blocs de construction pour mettre en œuvre un programme qui résout n'importe quelle configuration de ce jeu en un clin d'œil !
Inclus
8 vidéos4 lectures5 devoirs
Instructeurs
Offert par
Recommandé si vous êtes intéressé(e) par Algorithmes
Stanford University
University of Pennsylvania
University of Michigan
Pour quelles raisons les étudiants sur Coursera nous choisissent-ils pour leur carrière ?
Avis des étudiants
Affichage de 3 sur 2244
2 244 avis
- 5 stars
64,20 %
- 4 stars
23,37 %
- 3 stars
7,12 %
- 2 stars
2,13 %
- 1 star
3,16 %
Ouvrez de nouvelles portes avec Coursera Plus
Accès illimité à plus de 7 000 cours de renommée internationale, à des projets pratiques et à des programmes de certificats reconnus sur le marché du travail, tous inclus dans votre abonnement
Faites progresser votre carrière avec un diplôme en ligne
Obtenez un diplôme auprès d’universités de renommée mondiale - 100 % en ligne
Rejoignez plus de 3 400 entreprises mondiales qui ont choisi Coursera pour les affaires
Améliorez les compétences de vos employés pour exceller dans l’économie numérique
Foire Aux Questions
L'accès aux cours et aux devoirs dépend de votre type d'inscription. Si vous suivez un cours en mode audit, vous pourrez consulter gratuitement la plupart des supports de cours. Pour accéder aux devoirs notés et obtenir un certificat, vous devrez acheter l'expérience de certificat, pendant ou après votre audit. Si vous ne voyez pas l'option d'audit :
Il se peut que le cours ne propose pas d'option d'audit. Vous pouvez essayer un essai gratuit ou demander une aide financière.
Le cours peut proposer l'option "Cours complet, pas de certificat" à la place. Cette option vous permet de consulter tous les supports de cours, de soumettre les évaluations requises et d'obtenir une note finale. Cela signifie également que vous ne pourrez pas acheter un certificat d'expérience.
Lorsque vous vous inscrivez au cours, vous avez accès à tous les cours de la Specializations, et vous obtenez un certificat lorsque vous terminez le travail. Votre certificat électronique sera ajouté à votre page de réalisations - de là, vous pouvez imprimer votre certificat ou l'ajouter à votre profil LinkedIn. Si vous souhaitez uniquement lire et visualiser le contenu du cours, vous pouvez auditer le cours gratuitement.
Si vous vous êtes abonné, vous bénéficiez d'une période d'essai gratuite de 7 jours pendant laquelle vous pouvez annuler votre abonnement sans pénalité. Après cette période, nous ne remboursons pas, mais vous pouvez résilier votre abonnement à tout moment. Consultez notre politique de remboursement complète.