L'informatique

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

2
Caractérisation des termes lambda qui ont des types d'union
De nombreux manuels couvrent les types d'intersection dans le lambda-calcul. Les règles de typage pour l'intersection peuvent être définies comme suit (en plus du lambda-calcul simplement tapé avec sous-typage): Γ ⊢ M: T1Γ ⊢ M: T2Γ ⊢ M: T1∧ T2( ∧ I)Γ ⊢ M: ⊤( ⊤ I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧je)Γ⊢M:⊤(⊤je) \dfrac{\Gamma \vdash M …
1
Problème de sous-ensemble avec de nombreuses conditions de divisibilité
Soit un ensemble de nombres naturels. Nous considérons sous l'ordre partiel de divisibilité, c'est-à-dire s_1 \ leq s_2 \ iff s_1 \ mid s_2 . LaisserS s 1 ≤ s 2SSSSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V an antichain }}\} …
2
Pourquoi le type void de C n'est-il pas analogue au type vide / bas?
Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
2
Y a-t-il des problèmes spécifiques connus pour être indécidables pour des raisons autres que la diagonalisation, l'auto-référence ou la réductibilité?
Chaque problème indécidable que je connais tombe dans l'une des catégories suivantes: Problèmes indécidables en raison de la diagonalisation (auto-référence indirecte). Ces problèmes, comme le problème d'arrêt, sont indécidables car vous pourriez utiliser un prétendu décideur pour le langage pour construire une MT dont le comportement conduit à une contradiction. …
2
Qu'est-ce qu'un compilateur batch?
J'ai la citation suivante du cours de mon compilateur (dans le contexte de la coloration des graphiques): Parce qu'il est lent, la coloration des graphiques a tendance à être utilisée dans les compilateurs par lots, tandis que le balayage linéaire a tendance à être utilisé dans les compilateurs JIT. Je …
28 compilers 
2
Que signifie «véritable concurrence»?
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 exemple, dans quels cas sont-ils plus applicables que des équivalences …
6
Existe-t-il des programmes qui peuvent «traduire» le code source entre deux langues quelconques?
Existe-t-il des programmes qui peuvent «traduire» le code source entre deux langues quelconques (en supposant que le traducteur a accès aux bibliothèques requises)? Si oui, comment fonctionnent-elles (techniques utilisées, connaissances requises, etc.)? Comment seraient-ils réalisables? S'ils ne le sont pas, quelles sont les restrictions qui empêchent leur développement? Est-ce un …
4
Quelle est exactement la différence entre un apprentissage supervisé et non supervisé?
J'essaie de comprendre les méthodes de clustering. Ce que je pense avoir compris: Dans l'apprentissage supervisé, les catégories / étiquettes de données auxquelles sont affectées sont connues avant le calcul. Ainsi, les étiquettes, classes ou catégories sont utilisées afin «d'apprendre» les paramètres qui sont vraiment importants pour ces clusters. 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.