Je regarde le calcul des constructions et sa place dans le Lambda Cube . Si je comprends bien, chaque axe du cube peut être considéré comme ajoutant une autre opération impliquant des types au calcul simplement typé, . Le premier axe ajoute des opérateurs de type à terme, les seconds opérateurs de...
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...
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:
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
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...
Je ne connais pas la terminologie correcte pour poser cette question, donc je vais la décrire avec beaucoup de mots à la place, supportez-moi. Contexte , juste pour que nous soyons sur la même longueur d'onde: les programmes contiennent souvent des caches - un compromis temps / mémoire. Une erreur...
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...
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...
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...
Quelle notation est utilisée pour discuter des coefficients des fonctions en notation big-O? J'ai deux fonctions: F( x ) = 7 x2+ 4 x + 2F(X)=7X2+4X+2f(x) = 7x^2 + 4x +2 g( x) = 3 x2+ 5 x + 4g(X)=3X2+5X+4g(x) = 3x^2 + 5x +4 Évidemment, les deux fonctions sont , en effet , mais cela ne permet pas une...
Pour les fonctions ou les calculs, nous avons des termes comme: Déterministe - Déterminisme Pur - Pureté Maintenant, quel est le nom correspondant correct pour sans effet secondaire ? "Effet secondaire"? "Liberté d'effets secondaires"? "Non efficace
En gros, un graphe non orienté est très similaire à un graphe orienté où pour chaque arête (v, w), il y a toujours une arête (w, v). Cela suggère qu'il pourrait être acceptable de visualiser les graphiques non dirigés comme un sous-ensemble de graphiques dirigés (peut-être avec une restriction...
On vous donne un tableau de longueur . Chaque élément du tableau appartient à l'une des K classes. Vous êtes censé réorganiser le tableau en utilisant un nombre minimum d'opérations de swap afin que tous les éléments de la même classe soient toujours regroupés, c'est-à-dire qu'ils forment un sous-...
Selon Peter Selinger , le Lambda Calculus est algébrique (PDF). Au début de cet article, il dit: L'interprétation combinatoire du calcul lambda est connue pour être imparfaite, car elle ne satisfait pas à la règle ξξξ : selon l'interprétation, M=NM=NM = N n'implique pas λx.M=λx.Nλx.M=λx.N\lambda...
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
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...
Dans le problème de sous-ensemble, certains des nombres donnés peuvent-ils être les mêmes? Par exemple, nous pourrions avoir et l'objectif est de ? Puis-je supposer que j'ai une solution spécifique avec les numéros et et et ne l'est pas?une1,une2,une3, …
J'ai lu de nombreux documents sur la convolution dans le traitement d'image, et la plupart d'entre eux parlent de sa formule, de certains paramètres supplémentaires. Personne n'explique l'intuition et la véritable signification de la convolution sur une image. Par exemple, l'intuition de la...
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...
J'ai lu des articles théoriques sur le langage formel et je suis tombé sur un terme que je ne comprends pas. Le document fera souvent référence à un ensemble «effectivement fermé sous intersection» ou à d'autres opérations. Que signifie "effectivement" ici? En quoi cela diffère-t-il de la fermeture...