J'entends souvent des phrases comme «sémantique de concurrence réelle» et «équivalences de concurrence réelle» sans aucune référence. Que signifient ces termes et pourquoi sont-ils importants? Quels sont quelques exemples de véritables équivalences de concurrence et quel est leur besoin? Par...
Je fais une présentation sur les machines Turing et je voulais donner quelques informations sur les FSM avant de présenter les machines Turing. Le problème est que je ne sais vraiment pas ce qui est TRÈS différent les uns des autres. Voici ce que je sais que c'est différent: FSM a des états...
Dans un récent article du CACM [1], les auteurs présentent une implémentation des fonctions par étapes . Ils utilisent le terme comme s'il était bien connu, et aucune des références ne ressemble à une introduction évidente. Ils donnent une brève explication (l'accent est mis sur le mien et le...
Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 7 ans . Je suis légèrement confus par une terminologie que j'ai rencontrée concernant la complexité des problèmes d'optimisation. Dans une classe d'algorithmes, j'ai...
Si j'ai une fonction dont la complexité temporelle est O ( mn ), où m et n sont les tailles de ses deux entrées, appellerions-nous sa complexité temporelle "linéaire" (car elle est linéaire en m et n ) ou "quadratique" ( puisqu'il s'agit d'un produit de deux tailles)? Ou autre chose? Je pense que...
Ces terminologies me confondent. Tel que je le comprend Solveur SAT: décider de la satisfiabilité de la logique propositionnelle (en utilisant DPLL ou Local Search). La procédure de décision est une procédure pour décider de la satisfiabilité d'une certaine théorie décidable du premier ordre. Le...
Il me semble que le «implique» en anglais ne signifie pas la même chose que l'opérateur logique «implique», de la même manière que le mot «OU» dans la plupart des cas signifie «OU exclusif» dans notre utilisation quotidienne de la langue. Prenons deux exemples: Si aujourd'hui est lundi, demain est...
Dans la théorie de la calculabilité, les fonctions calculables sont également appelées fonctions récursives. Au moins à première vue, ils n'ont rien de commun avec ce que vous appelez "récursif" dans la programmation quotidienne (c'est-à-dire les fonctions qui s'appellent elles-mêmes). Quelle est...
J'ai lu ces mots dans de nombreuses publications et j'aimerais avoir de belles définitions pour ces termes qui montrent clairement quelle est la différence entre la détection d'objet et la segmentation sémantique et la localisation. Ce serait bien si vous pouviez donner des sources pour vos...
Dans le script que je lis actuellement sur le calcul lambda, l'équivalence bêta est définie comme suit: L' équivalence est la plus petite équivalence qui contient .ββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta Je n'ai aucune idée de ce que ça veut dire. Quelqu'un peut-il l'expliquer en termes plus...
J'enseigne l'informatique à des jeunes de 18 ans. Après avoir expliqué la notation polonaise inversée, on a demandé pourquoi elle était suffisamment importante pour être soumise à l'examen public. J'ai expliqué l'importance historique des calculatrices des années 70, mais cela n'a pas vraiment...
Je sais ce qu'est le calcul dans un sens vague (c'est ce que font les ordinateurs), mais j'aimerais une définition plus rigoureuse. Dictionary.comLes définitions de calcul, calcul, calcul et calcul sont circulaires, donc cela n'aide pas. Wikipediadéfinit le calcul comme «tout type de calcul qui...
J'écris un document de recherche et je dois dire essentiellement qu'un microcontrôleur est plus lent qu'un autre microprocesseur. Cependant, je crains que le simple fait de dire qu'il est «plus lent» ne serait pas approprié dans un document de recherche. Ai-je raison? Est-il correct de dire...
Je continue à trouver des références à des points fixes dans les questions et réponses à stackexchange et je cherche la signification sur le Web en trouvant évidemment des références sur des sites tels que Wikipedia. Cependant, aucune des références ne répond vraiment à ma question de savoir ce...
J'essaie de comprendre qui a inventé le terme "machine learning". Une question accessoire vient d'où Arthur Samuel est cité comme définissant le domaine du "machine learning" en 1959 comme: le domaine d'études qui donne aux ordinateurs la capacité d'apprendre sans être explicitement programmé ?...
Je lisais sur la programmation dynamique lorsque je suis tombé sur la citation suivante Un algorithme de programmation dynamique examinera toutes les façons possibles de résoudre le problème et choisira la meilleure solution. Par conséquent, nous pouvons grosso modo penser la programmation...
J'ai commencé à lire de plus en plus d'articles de recherche linguistique. Je trouve cela très intéressant et un bon moyen d'en savoir plus sur la programmation en général. Cependant, il y a généralement une section avec laquelle je me bats toujours (prenez par exemple la troisième partie de cela )...
Je connais une douzaine de langages de programmation qui ont des exceptions d'une certaine manière, pourtant j'en suis venu à être témoin de deux tendances "pathologiques". Il ne semble pas y avoir de modèle ou de hiérarchie commun d'exceptions. Chaque langue roule essentiellement sa propre...
Dans mon cours sur les algorithmes et les structures de données , les professeurs, les diapositives et le livre ( Introduction aux algorithmes, 3e édition ) ont utilisé le mot NILpour désigner par exemple un enfant d'un nœud (dans un arbre) qui n'existe pas. Une fois, pendant une conférence, au...
Je pense que je sais ce qu'est un système d'exploitation en temps réel "dur". Il s'agit d'un système d'exploitation avec un planificateur qui fournit un contrat avec le programmeur d'application. Une application fournit un délai à chaque demande d'allocation de ressources. Si les demandes de délai...