L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

3
Comment la complexité des algorithmes est-elle modélisée pour les langages fonctionnels?
La complexité de l'algorithme est conçue pour être indépendante des détails de niveau inférieur, mais elle est basée sur un modèle impératif, par exemple, l'accès au tableau et la modification d'un nœud dans une arborescence prennent un temps O (1). Ce n'est pas le cas dans les langages fonctionnels purs. …
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 …
2
Existe-t-il des langues dépourvues de contexte, ambiguës et déterministes?
Appelons un langage déterministe sans contexte si et seulement si il peut être accepté par un automate push-down déterministe, et non déterministe autrement. Appelons un langage dépourvu de contexte intrinsèquement ambigu si et seulement si toutes les grammaires sans contexte qui génèrent le langage sont ambiguës et non ambiguës sinon. …
3
Qu'est-ce qu'une logique?
Des excuses sont peut-être justifiées pour avoir posé une autre question sur les conditions préalables, mais j'étais confus quant aux points de départ. Je suis tombé sur divers termes tels que "Logique modale", "Logique temporelle", "Logique du premier ordre", "Logique du second ordre" et "Logique de l'ordre supérieur". Que veut …
3
Introduction à la théorie de type de Martin-Löf
Quelle serait la meilleure introduction aux idées de Per Martin-Löfs sur la théorie des types? J'ai regardé certaines conférences de l'université d'été de l'Oregon PL, mais la question suivante me laisse toujours perplexe: Qu'est-ce qu'un type? Je sais ce qu'est un ensemble, car vous pouvez les définir à l'aide des …
11
Pourquoi les données en informatique sont-elles considérées comme discrètes?
Je comprends que la "structure" des données dépend totalement de l’algèbre booléenne, mais: Pourquoi les données sont-elles considérées comme une entité mathématique discrète plutôt que continue? Relatif à ceci: Quels sont les inconvénients, ou invariants, violés lors de la structuration de données en tant qu'entité continue dans rrr dimensions? Je …
6
Tri des fonctions par croissance asymptotique
Supposons que j'ai une liste de fonctions, par exemple nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Comment puis-je les trier asymptotiquement, c'est-à-dire après la relation définie par f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , en supposant qu'ils soient effectivement comparables deux à deux (voir aussi …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.