University of California San Diego
La pensée mathématique en informatique

Offrez à votre carrière le cadeau de Coursera Plus avec $160 de réduction, facturé annuellement. Économisez aujourd’hui.

University of California San Diego

La pensée mathématique en informatique

Alexander S. Kulikov
Michael Levin
Владимир Подольский

Instructeurs : Alexander S. Kulikov

138 201 déjà inscrits

Inclus avec Coursera Plus

Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.
4.4

(2,244 avis)

niveau Débutant
Aucune connaissance prérequise
Planning flexible
Env. 41 heures
Apprenez à votre propre rythme
88%
La plupart des apprenants ont aimé ce cours
Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.
4.4

(2,244 avis)

niveau Débutant
Aucune connaissance prérequise
Planning flexible
Env. 41 heures
Apprenez à votre propre rythme
88%
La plupart des apprenants ont aimé ce cours

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

Certificat partageable

Ajouter à votre profil LinkedIn

Évaluations

57 devoirs

Enseigné en Anglais

Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées

Emplacement réservé

Élaborez votre expertise du sujet

Ce cours fait partie de la Spécialisation Introduction aux mathématiques discrètes pour l'informatique
Lorsque vous vous inscrivez à ce cours, vous êtes également inscrit(e) à cette Spécialisation.
  • 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
Emplacement réservé
Emplacement réservé

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

Emplacement réservé

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

Évaluations de l’enseignant
4.3 (460 évaluations)
Alexander S. Kulikov
University of California San Diego
13 Cours818 627 apprenants
Michael Levin
University of California San Diego
8 Cours775 029 apprenants
Владимир Подольский
8 Cours222 717 apprenants

Offert par

Recommandé si vous êtes intéressé(e) par Algorithmes

Pour quelles raisons les étudiants sur Coursera nous choisissent-ils pour leur carrière ?

Felipe M.
Étudiant(e) depuis 2018
’Pouvoir suivre des cours à mon rythme à été une expérience extraordinaire. Je peux apprendre chaque fois que mon emploi du temps me le permet et en fonction de mon humeur.’
Jennifer J.
Étudiant(e) depuis 2020
’J'ai directement appliqué les concepts et les compétences que j'ai appris de mes cours à un nouveau projet passionnant au travail.’
Larry W.
Étudiant(e) depuis 2021
’Lorsque j'ai besoin de cours sur des sujets que mon université ne propose pas, Coursera est l'un des meilleurs endroits où se rendre.’
Chaitanya A.
’Apprendre, ce n'est pas seulement s'améliorer dans son travail : c'est bien plus que cela. Coursera me permet d'apprendre sans limites.’

Avis des étudiants

Affichage de 3 sur 2244

4.4

2 244 avis

  • 5 stars

    64,20 %

  • 4 stars

    23,37 %

  • 3 stars

    7,12 %

  • 2 stars

    2,13 %

  • 1 star

    3,16 %

JO
5

Révisé le 15 oct. 2017

DG
5

Révisé le 29 juin 2018

RS
4

Révisé le 19 sept. 2021

Emplacement réservé

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