L'informatique terminology

7

Quelle est la définition de P, NP, NP-complet et NP-difficile?

Je suis un cours d' informatique et de complexité et je suis incapable de comprendre la signification de ces termes. Tout ce que je sais, c'est que NP est un sous-ensemble de NP-complete, qui est un sous-ensemble de NP-hard, mais je n'ai aucune idée de ce qu'ils signifient réellement. Wikipedia …

249 complexity-theory terminology complexity-classes p-vs-np reference-question

3

Comment sait-on quelle notation de l'analyse de la complexité temporelle utiliser?

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 . Existe-t-il des scénarios spécifiques dans lesquels une notation …

91 algorithms terminology asymptotics landau-notation reference-question

12

Pourquoi l'unité de taille d'image n'est pas Pixel²?

Si vous calculez l'aire d'un rectangle, il vous suffit de multiplier la hauteur et la largeur pour obtenir l'unité au carré. Exemple: 5cm * 10cm = 50cm² En revanche, si vous calculez la taille d'une image, vous multipliez également la hauteur et la largeur, mais vous récupérez l'unité - Pixel …

81 terminology

2

Que signifie “Lambda” dans “Lambda calcul”?

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 terme?

75 terminology computation-models lambda-calculus history

2

Qu'est-ce que la coinduction?

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 peut-on dire quelque chose …

68 terminology logic proof-techniques formal-methods coinduction

6

Calcul distribué vs parallèle

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 plus étroitement couplée …

61 terminology distributed-systems parallel-computing

3

Types dépendants vs types de raffinement

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 aider, je suis tombé sur les types …

58 terminology programming-languages type-theory functional-programming dependent-types

4

Pourquoi le temps polynomial est appelé "efficace"?

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 inefficace alors que le second …

50 algorithms complexity-theory terminology efficiency

2

Quelle est la signification de

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| + |E|)

44 terminology asymptotics mathematical-analysis landau-notation

5

Différence entre la programmation parallèle et simultanée?

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 programmation simultanée sont réellement différentes?

44 terminology parallel-computing concurrency

4

Quel est le nom de la classe de fonctions décrite par O (n log n)?

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 …

40 terminology asymptotics

1

Quelle est la différence entre un algorithme, une langue et un problème?

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 langages …

40 algorithms complexity-theory formal-languages terminology reference-question

7

Quelle est la définition de l'informatique et quelle est la science dans l'informatique?

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 …

39 terminology history

5

Quel est exactement (et précisément) est "hash?"

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 appellent" hachages "." Alors, les dictionnaires …

38 terminology hashing

2

Perplexe par le théorème de Rice

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 non-calculable." (Si vous voulez …

37 terminology computability undecidability rice-theorem

Questions marquées «terminology»