Fondamentalement, je connais trois fondements des mathématiques Théorie des ensembles Théorie des types Théorie des catégories Alors, en quoi les langages de programmation et les fondements des mathématiques sont-ils liés? MODIFIER La question d'origine était "Langages de programmation basés sur...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 5 ans . Qu'est-ce qu'une bonne métaphore ou un bon...
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)...
Étant donné que l'achat de puissance de calcul est beaucoup plus abordable que par le passé, la connaissance des algorithmes et l'efficacité sont-elles moins importantes? Il est clair que vous voudriez éviter une boucle infinie, donc tout ne se passe pas. Mais si vous avez un meilleur matériel,...
SQL a-t-il besoin de sous-requêtes? Imaginez une implémentation suffisamment généralisée du langage de requête structuré pour les bases de données de relations. Étant donné que la structure de l' SELECTinstruction SQL canonique est en fait assez importante pour que cela ait un sens, je ne fais pas...
Je lis depuis quelques semaines sur le Lambda Calculus, mais je n'ai encore rien vu qui soit matériellement distinct des fonctions mathématiques existantes, et je veux savoir si c'est juste une question de notation, ou s'il y a de nouvelles propriétés ou règles créées par les axiomes de calcul...
J'implémente un ensemble d'algorithmes de recherche de chemin tels que Dijkstra, Depth First, etc. Au début, j'ai utilisé quelques graphiques faits maison, mais maintenant j'aimerais relever le défi un peu plus et donc je cherche soit graphiques utilisés dans les repères; des graphiques de villes...
Voulez-vous améliorer ce post? Fournissez des réponses détaillées à cette question, y compris des citations et une explication de la raison pour laquelle votre réponse est correcte. Les réponses sans suffisamment de détails peuvent être modifiées ou supprimées. J'ai rencontré ci-dessous la...
Je suis curieux de déterminer une approche pour aborder un algorithme "d'amis suggérés". Facebook a une fonctionnalité dans laquelle il vous recommandera des personnes qu'il pense que vous connaissez peut-être. Ces utilisateurs ont normalement (à l'exception des cas marginaux dans lesquels un...
Nous avons appris le concept d'énumération des fonctions. En pratique, ils correspondent à des langages de programmation. Dans une remarque passagère, le professeur a mentionné que la classe de toutes les fonctions totales (c'est-à-dire les fonctions qui se terminent toujours pour chaque entrée)...
Le problème 3SUM essaie d'identifier 3 entiersa , b , cune,b,ca,b,cSSSnnna + b + c = 0une+b+c=0a + b + c = 0 On suppose qu'il n'y a pas de meilleure solution que quadratique, c'est-à-dire o ( n2)o(n2)\mathcal{o}(n^2)o (nlog( n ) + n2)o(nbûche(n)+n2)\mathcal{o}(n \log(n) + n^2) Je me demandais donc...
Il existe un algorithme polynomial facile pour décider s'il existe un chemin entre deux nœuds dans un graphe orienté (il suffit de faire un parcours de graphe de routine avec, disons, la profondeur en premier). Cependant, il semble que, de manière surprenante, le problème devienne beaucoup plus...
Lorsque j'expliquais la preuve de Baker-Gill-Solovay qu'il existe un oracle avec lequel nous pouvons avoir, , et un oracle avec lequel nous pouvons avoir à un ami, une question s'est posée pour savoir pourquoi de telles techniques sont mal adaptées pour prouver le problème , et je n'ai pas pu...
Les réseaux backprop entièrement connectés (au moins couche à couche avec plus de 2 couches masquées) sont des apprenants universels. Malheureusement, ils sont souvent lents à apprendre et ont tendance à trop s'adapter ou à avoir des généralisations maladroites. En m'amusant avec ces réseaux, j'ai...
La thèse de Church-Turing déclare que tout ce qui peut être physiquement calculé, peut être calculé sur une machine de Turing. L'article «Analog computation via neural networks» (Siegelmannn et Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) affirme qu'un réseau neuronal d'une...
Ma mère suit un cours en ligne afin d'être une sorte de bibliothécaire, dans ce cours, ils couvrent les recherches booléennes, afin qu'ils puissent rechercher des bases de données efficacement, cependant, elle a reçu une question ressemblant à ceci: La recherche «x OU y» donnera 105 000 résultats,...
J'étudie les compilateurs depuis un certain temps et je cherche ce que l'on entend par «contexte» en grammaire et ce que cela signifie pour la grammaire d'être «sans contexte», mais sans résultat. Alors, quelqu'un peut-il
J'ai un algorithme gourmand que je soupçonne peut-être correct, mais je ne suis pas sûr. Comment vérifier si c'est correct? Quelles sont les techniques à utiliser pour prouver un algorithme gourmand correct? Existe-t-il des modèles ou des techniques communs? J'espère que cela deviendra une question...
Je recherche un algorithme pour générer un tableau de N nombres aléatoires, tel que la somme des N nombres soit 1, et tous les nombres se situent entre 0 et 1. Par exemple, N = 3, le point aléatoire (x, y, z) doit se trouver dans le triangle: x + y + z = 1 0 < x < 1 0 < y < 1 0 < z...
Cette question a été migrée à partir de la bourse théorique de l'informatique, car elle peut être répondue sur la bourse de la science informatique. Migré il y a 6 ans . Je lis actuellement un livre sur les algorithmes et la complexité. En ce moment, je suis en train de lire sur les fonctions...