Questions marquées «terminology»

Questions sur la façon dont les notions spécifiques doivent être comprises ainsi que les conventions de notation.

2
Fonctions Scott-continues: une définition alternative
Je me bats vraiment avec cette propriété: Soient X,YX,YX,Y soit des espaces de cohérence et f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y) est une fonction monotone. est continu si et seulement si , pour tout tel que D est un ensemble dirigé.ffff(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x)D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X)DDD L'ensemble dirigé est défini ainsi: …
3
Différence entre «information» et «information utile» dans la théorie algorithmique de l'information
Selon Wikipedia : Informellement, du point de vue de la théorie algorithmique de l'information, le contenu informationnel d'une chaîne équivaut à la longueur de la représentation autonome la plus courte possible de cette chaîne. Quelle est la définition rigoureuse informelle analogue des "informations utiles"? Pourquoi les "informations utiles" ne sont-elles …
3
Langage infini vs langage fini
Je ne suis pas certain de l'utilisation des expressions langage "infini" ou langage "fini" en théorie informatique. Je pense que la racine du problème est qu'un langage comme est infini dans le sens où il peut générer un nombre infini (mais dénombrable) de chaînes. Pourtant, il peut encore être reconnu …
2
Quelle est cette structure / concept de données où un tracé de points définit une partition vers un espace
J'ai rencontré un algorithme pour résoudre un problème du monde réel, et je me souviens d'un cours que j'ai pris où j'ai fait quelque chose de très similaire pour certains pour un problème de devoirs. Fondamentalement, c'est un tracé de points, et les lignes sont dessinées pour être équidistantes entre …
6
Trouver le XOR max de deux nombres dans un intervalle: peut-on faire mieux que quadratique?
Supposons que l'on nous donne deux nombres et et que nous voulons trouver pour l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r L'algorithme naïf vérifie simplement toutes les paires possibles; par exemple en rubis, nous aurions: def max_xor(l, r) max = 0 (l..r).each do |i| …
2
Qu'est-ce qu'un analyseur IELR (1)?
J'essaie de m'enseigner l'usage du bison. Le bison de la page de manuel (1) dit à propos du bison: Générez un analyseur syntaxique déterministe LR ou LR généralisé (GLR) en utilisant les tables d'analyseur LALR (1), IELR (1) ou canonique LR (1). Qu'est-ce qu'un analyseur IELR? Tous les articles pertinents …
2
Qu'est-ce qu'une «clé» en informatique?
Je suis un peu confus quant à la signification exacte d'une «clé» en informatique. Je comprends les paires clé-valeur, clés primaires, etc ... Mais je ne trouve pas de définition de ce que le terme "clé" signifie par lui-même. Pour autant que je sache, cela signifie simplement une donnée. Dans …
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.