Discussion:Algorithme d'Atlantic City

Un problème classique, des premières années d'enseignement spécialisé en informatique

Je trouve qu'affirmer que le problème posé est « Un problème classique, des premières années d'enseignement spécialisé en informatique dans l’enseignement supérieur » est un peu osé. Il s'agit d'un énoncé d’exercice du cours 15-251 Great Ideas in Theoretical Computer Science de CMU. Or voici les prérequis de ce cours :

The formal prerequisites for the course are (15-122 or 15-150) and (21-127 or 21-128 or 15-151). In particular, we expect the students to have taken an introductory computer science course that goes beyond basic computer programming and covers algorithmic thinking. On the mathematics side, we expect the students to have experience reasoning abstractly and know how to write formal proofs.

ce qui se traduit en

Les prérequis formelles pour ce cours sont (15-122 ou 15-150) et (21-127 ou 21-128 ou 15-151). En particulier, nous attendons des étudiants qu'ils aient suivi un cours d'introduction à l'informatique allant au-delà de la programmation informatique de base et couvrant la pensée algorithmique. Du côté des mathématiques, nous attendons des étudiants qu'ils aient une expérience du raisonnement abstrait et qu'ils sachent écrire des preuves formelles. (Traduit avec www.DeepL.com/Translator -- version gratuite)

Ça n'est donc pas un cours de base ! Pierre de Lyon (discuter) 14 juin 2022 à 10:48 (CEST)