L'informatique terminology

1

J'ai lu sur Wikipedia que l' unification est un processus de résolution du problème de satisfaction. En même temps, je sais que de tels solveurs sont appelés "solveurs SAT" ou "solveurs SMT". Alors, sont-ils des noms différents pour la même chose? Si vous dites qu'ils sont différents, veuillez signaler une …

10 terminology sat-solvers unification

1

Quelle est la différence entre l'arrêt, l'acceptation et la décision dans le contexte des machines Turing?

Accepter signifie-t-il que le TM lira et reconnaîtra un caractère de la cellule dans laquelle il lit actuellement? Et est-ce le cas qu'un TM s'arrête si l'entrée est décidable?

10 terminology turing-machines undecidability

2

Quelle est la hauteur moyenne d'un arbre binaire?

Existe-t-il une définition formelle de la hauteur moyenne d'un arbre binaire? J'ai une question de didacticiel sur la recherche de la hauteur moyenne d'un arbre binaire en utilisant les deux méthodes suivantes: La solution naturelle pourrait être de prendre la longueur moyenne de tous les chemins possibles de la racine …

10 graph-theory terminology combinatorics binary-trees

3

Sums of Landau terms revisited

J'ai posé une question (initiale) sur des sommes de termes Landau auparavant , essayant de mesurer les dangers d'abuser de la notation asymptotique en arithmétique, avec un succès mitigé. Maintenant, ici, notre gourou de la récurrence, JeffE, fait essentiellement ceci: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Bien que le résultat …

10 terminology asymptotics landau-notation

2

Quelle est la différence entre les variables et les pointeurs?

En lisant un article décrivant les différences entre OO et la programmation fonctionnelle, je suis tombé sur des pointeurs de fonction. Cela fait un moment que je n'ai pas obtenu mon diplôme en informatique (2003) et j'ai donc cherché des pointeurs pour rafraîchir ma mémoire. Les pointeurs sont des variables …

10 terminology programming-languages

3

Quelle est la différence entre la multiprogrammation et le multitâche

Je trouve difficile de différencier clairement entre la multiprogrammation et le multitâche. Ma principale source est Wikipédia , mais l'article de WP semble être un peu en contradiction avec des sources moins réputées (comme mon professeur d'université). Comme je lis WP, la multiprogrammation est un moyen rudimentaire d'augmenter le débit …

10 terminology process-scheduling

5

Qu'est-ce qu'un algorithme efficace?

Du point de vue du comportement asymptotique, qu'est-ce qui est considéré comme un algorithme "efficace"? Quelle est la norme / raison de tracer la ligne à ce point? Personnellement, je penserais que tout ce que je pourrais naïvement appeler "sous-polynôme", tel que tel que serait efficace et tout ce qui …

10 algorithms terminology asymptotics landau-notation

3

Recherche d'un dictionnaire de notation mathématique / CS

Il existe un éventail parfois vertigineux de symboles utilisés dans les documents mathématiques et CS. Pourtant, beaucoup supposent une familiarité de base qui semble rarement enseignée au même endroit. Je cherche un dictionnaire quelque chose comme le suivant, en particulier du point de vue CS. Il énumérerait tous les symboles …

10 terminology reference-request education

3

Qu'est-ce qu'une méthode naïve?

Je recherchais une programmation dynamique et j'ai lu ce qui suit: Souvent, lorsque vous utilisez une méthode plus naïve, de nombreux sous-problèmes sont générés et résolus plusieurs fois. Qu'est-ce qu'une méthode naïve?

10 terminology dynamic-programming

2

Conditions pour que le graphe bipartite soit planaire sans arêtes contournant les sommets

Un graphe bipartite est planaire s'il n'a pas de mineurs K3 , 3K3,3K_{3, 3} ou .K5K5K_5 Je recherche des conditions nécessaires ou / et suffisantes pour permettre des dessins plans sans arêtes "contournant" des ensembles de sommets. Ce sont des dessins satisfaisants: Tous les sommets d'une partie sont dessinés sur …

9 graph-theory terminology graph-drawing

4

Pourquoi la recherche binaire est-elle appelée recherche binaire?

J'ai entendu plusieurs explications possibles, donc je voudrais une référence fiable. Mise à jour 05.19: Je m'intéresse à la question parce qu'un de mes étudiants a écrit dans sa thèse que le nom vient de l'explication ci-dessous (1). Jusqu'à présent, je pensais / entendais que cela venait de l'explication (2). …

9 terminology reference-request history

1

Qu'est-ce que la RAM inconsciente et comment fonctionne-t-elle?

Quelqu'un pourrait-il m'expliquer ce qu'est exactement la RAM inconsciente? J'ai trouvé l' explication suivante qui me rend un peu clair, mais je voudrais avoir une idée des aspects techniques: Le chiffrement n'est pas toujours suffisant pour garantir la confidentialité. Si un adversaire peut observer vos modèles d'accès au stockage chiffré, …

9 terminology computer-architecture security memory-hardware memory-access

4

Qu'est-ce qui est «dynamique» dans la programmation dynamique?

Un de mes aînés a eu un entretien d'embauche et on lui a demandé pourquoi cela s'appelait dynamique. Il n'a pas pu répondre et après avoir abandonné, l'intervieweur a dit qu'il n'y avait rien de dynamique, ça s'appelait juste comme ça. C'est difficile à croire pour moi. Fait-il référence au …

9 terminology dynamic-programming

5

Pourquoi le TSP n'exige-t-il aucune répétition des villes?

Il me semble étrange que le TSP nie la possibilité de villes répétées. Le but de ce vendeur itinérant est d'aller le plus vite possible et de visiter toutes les villes, non? Que se passe-t-il s'il est plus rapide de traverser une ville dans laquelle vous êtes déjà allé?

9 terminology traveling-salesman

4

Qu'est-ce qu'une sorte de sémantique de langage de programmation?

Dans le chapitre 1 de Foundations pratiques pour les langages de programmation , l'auteur mentionne que les arbres de syntaxe abstraite sont associés aux tris . Intuitivement, les tris sont comme des types, mais j'aimerais savoir s'ils ont une définition précise. Je serais heureux si certaines références sont également fournies.

9 terminology programming-languages semantics

Questions marquées «terminology»