Je me suis amusé à réviser la théorie du calcul pour le plaisir et cette question me harcelait depuis un moment (drôle, je n'y ai jamais pensé lorsque j'ai appris la théorie des automates à mes études de premier cycle). Alors "pourquoi" étudions-nous exactement les automates finis déterministes et...
C'est ma première question sur ce site. Je suis en train de suivre un cours de maîtrise sur la théorie du calcul. Comment expliqueriez-vous le problème P = NP à un enfant de 10 ans et pourquoi a-t-il une telle récompense monétaire? Votre prendre? Je mettrai à jour la question au fur et à mesure que...
La hiérarchie de Chomsky (–Schützenberger) est utilisée dans les manuels d'informatique théorique, mais elle ne couvre évidemment qu'une très petite fraction des langages formels (REG, CFL, CSL, RE) par rapport au diagramme de complexité complet . La hiérarchie joue-t-elle un rôle dans la recherche...
Mon département me demande souvent de donner des conférences aux élèves de dernière année du secondaire sur les éléments les plus mathématiques de l’informatique. Je fais de mon mieux pour choisir dans le SDC des sujets susceptibles de susciter leur intérêt (principalement en rapport avec le...
Il existe toujours un moyen d’appliquer dans des domaines liés à l’informatique théorique. Mais les manuels scolaires et les cours de premier cycle n'expliquent généralement pas pourquoi la théorie des automates est un sujet important et si elle a encore des applications dans la pratique. Par...
Cette question s'adresse aux personnes qui attribuent des problèmes: enseignants, assistants étudiants, tuteurs, etc. Cela m'est arrivé une poignée de fois au cours de mes 12 années de carrière en tant que professeur: j'ai rapidement assigné un problème au texte en pensant que "cela a l'air bien"....
Quand nous suivons les manuels standard, ou la tradition, la plupart d' entre nous enseignent la définition suivante de la notation grand-Oh dans les premières conférences d'une classe d'algorithmes: f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f...
Il est peu probable que ce soit une question commune, mais nous nous demandons si quelqu'un a déjà vu des documents clairement conçus pour s'adresser de manière significative à ce
J'enseigne un cours d'algorithmes avancés et j'aimerais inclure quelques sujets liés à l'apprentissage automatique qui intéresseront mes étudiants. En conséquence, j'aimerais entendre l'opinion des gens sur les résultats algorithmiques actuellement les plus intéressants / les plus importants en...
Je viens d'enseigner l' algorithme de raccourci aléatoire de Karger-Stein dans ma classe d'algorithmes diplômés. C'est un vrai bijou algorithmique , donc je ne peux pas ne pas l' enseigner, mais cela me laisse toujours frustré, car je ne connais pas d'autres applications de la technique principale....
J'ai du mal à enseigner le concept de fonctions calculables. J'ai essayé de développer l'idée de pourquoi des chercheurs comme Hilbert / Ackermann / Godel / Turing / Church / ... ont inventé la notion de «calculabilité». Les étudiants ont immédiatement demandé: "que signifie la calculabilité?" et...
Actuellement, j'enseigne un petit cours (quatre conférences de deux heures au niveau Master) sur les méthodes logiques en sécurité , bien que le titre Méthodes formelles en sécurité soit peut-être plus approprié. Il couvre brièvement les sujets suivants (avec les méthodes logiques associées):...
J'enseignerai un cours de premier cycle standard sur les langues et les automates au semestre prochain, et je préférerais utiliser un texte légitime gratuit ou à faible coût. Aucune suggestion? J'adore le texte Sipser mais la dernière édition coûte 196 $, ce qui est difficile à dire avec un visage...
J'ai une éducation mathématique de premier cycle raisonnable, mais je n'ai jamais été à 100% à l'aise avec l'algèbre abstraite (les mathématiques des groupes, des anneaux, des champs, etc.). Je pense que c'était en partie parce que j'avais besoin de voir des applications et toutes celles que je...
On m'a proposé d'enseigner un nouveau programme de lycée TCS, qui nécessite la construction d'un curriculum. J'aimerais beaucoup entendre des opinions et des suggestions à ce sujet. Premièrement, quelqu'un connaît-il des écoles secondaires où un programme TCS a été enseigné avec succès (ou sans...
Il existe un certain nombre d'algorithmes et de structures de données qui exploitent l'idée que obtient sa valeur minimale à k = \ sqrt n . Les exemples courants incluent k = √max { k , n / k }max{k,n/k}\max \left\{k, n/k\right\}k = n--√k=nk=\sqrt n algorithme pas à pas géant pour calculer le...
Je recherche des exemples de résultats qui vont à l'encontre de l'intuition des gens pour une conférence grand public. Des résultats qui, s'ils étaient demandés à des non-experts "qu'est-ce que votre intuition vous dit?", Presque tous auraient tort. L'énoncé des résultats devrait être facilement...
Je suis un ingénieur logiciel assez compétent, mais je ne connais pas beaucoup la théorie. Je veux en savoir plus sur la théorie. Les sujets particuliers qui m'intéressent sont: la complexité informatique, les langages formels et la théorie des types. Mais je ne sais pas trop comment commencer à...
Chaque fois que j'enseigne la NP-Complétude, les étudiants demandent "y a-t-il des problèmes connus pour ne pas appartenir à NP?" Comment répondriez-vous? Je leur donne généralement un problème indécidable à titre d'exemple, mais cela ne tourne souvent pas bien: (a) si je leur donne le problème de...
Supposons que vous rencontriez des programmeurs qui ont suivi des cours de programmation professionnelle (/ auto-réflexion) mais n'ont pas étudié les mathématiques de niveau universitaire. Afin de leur montrer la beauté de TCS, j'aimerais rassembler de bons résultats / questions ouvertes provenant...