Questions sur la façon dont les notions spécifiques doivent être comprises ainsi que les conventions de notation.
Dans la plupart des classes d'introduction aux algorithmes, des notations telles que (Big O) et sont introduites, et un étudiant apprendra généralement à utiliser l'une de celles-ci pour rechercher la complexité temporelle.ΘOOOΘΘ\Theta Cependant, il existe d'autres notations, telles que , et ....
Je lisais récemment sur le calcul Lambda, mais étrangement, je ne trouve pas d'explication expliquant pourquoi il s'appelle "Lambda" ni d'où vient l'expression. Quelqu'un peut-il expliquer les origines du
J'ai entendu parler de l'induction (structurelle). Il vous permet de construire des structures finies à partir de plus petites et vous donne des principes de preuve pour raisonner sur de telles structures. L'idée est assez claire. Mais qu'en est-il de la coinduction? Comment ça marche? Comment...
J'entends souvent des gens parler d' informatique parallèle et d'informatique distribuée , mais j'ai l'impression qu'il n'y a pas de frontière claire entre les 2, et les gens ont tendance à confondre cela assez facilement, alors que je pense que c'est très différent: L' informatique parallèle est...
Quelqu'un pourrait-il expliquer la différence entre les types dépendants et les types de raffinement? Si je comprends bien, un type de raffinement contient toutes les valeurs d’un type satisfaisant un prédicat. Existe-t-il une caractéristique des types dépendants qui les distingue? Si cela peut...
Pourquoi en informatique, toute complexité au plus polynomiale est considérée comme efficace? Pour toute application pratique (a) , les algorithmes de complexité sont bien plus rapides que les algorithmes qui s'exécutent dans le temps, par exemple n 80 , mais le premier est considéré comme...
O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| +
Lorsqu'on examine la programmation simultanée, deux termes sont couramment utilisés, à savoir simultané et parallèle. Et certains langages de programmation réclament spécifiquement le support de la programmation parallèle, tels que Java . Cela signifie-t-il que la programmation parallèle et la...
Il semble que sur ce site, les gens corrigent souvent les autres pour avoir confondu "algorithmes" et "problèmes". Quelle est la différence entre ceux-ci? Comment savoir quand je devrais envisager des algorithmes et des problèmes? Et quel est leur lien avec le concept de langage dans la théorie des...
Dans "Big O", les notations communes ont des noms communs (au lieu de dire "Oh comme facteur constant"): O (1) est "constante" O (log n) est "logarithmique" O (n) est "linéaire" O (n ^ 2) est "quadratique" O (n * log n) est ??? Est-ce juste "n log n" ou est-ce qu'il a un nom spécial comme...
Je poursuis des études de baccalauréat en informatique, mais je n’en suis qu’à un stade précoce, et je suis convaincu que je serai heureux de mon choix, car cela me semble être une formation souple sur le plan académique et professionnel. Cela dit, il semble y avoir une variété de définitions sur...
J'ai entendu le mot "hash" utilisé dans différents contextes (tous dans le monde de l'informatique) avec différentes significations. Par exemple, dans le livre Apprendre Python à la dure, dans le chapitre consacré aux dictionnaires, il est dit "Python les appelle" dicts. "D'autres langues les...
Résumé: Selon le théorème de Rice, tout est impossible. Et pourtant, je fais ce truc soi-disant impossible tout le temps! Bien entendu, le théorème de Rice ne dit pas simplement "tout est impossible". Il dit quelque chose d'assez plus spécifique: "Chaque propriété d'un programme informatique est...
Après avoir lu plusieurs sources, je suis encore confus au sujet des threads au niveau utilisateur et noyau. En particulier: Les threads peuvent exister au niveau utilisateur et au niveau du noyau Quelle est la différence entre le niveau utilisateur et le niveau noyau?
Je viens de terminer le premier chapitre de l' introduction à la théorie du calcul de Michael Sipser qui explique les bases des automates finis. Il définit un langage régulier comme tout ce qui peut être décrit par un automate fini. Mais je n'ai pas pu trouver où il explique pourquoi une langue...
Quelles sont les différences et les relations entre les algorithmes randomisés et les algorithmes non déterministes? De Wikipédia Un algorithme randomisé est un algorithme qui utilise un degré d'aléatoire dans le cadre de sa logique. L'algorithme utilise généralement des bits uniformément...
Il existe de nombreuses définitions en ligne sur ce qu'est une grammaire sans contexte, mais rien de ce que je trouve ne satisfait mon problème principal: De quel contexte est-il libre? Pour enquêter, j'ai recherché «grammaire contextuelle» sur Google, mais je n'ai toujours pas trouvé de quoi il...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 5 ans . Qu'est-ce qu'une bonne métaphore ou un bon...
J'étudie les compilateurs depuis un certain temps et je cherche ce que l'on entend par «contexte» en grammaire et ce que cela signifie pour la grammaire d'être «sans contexte», mais sans résultat. Alors, quelqu'un peut-il
Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . Une...