L'informatique

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

11
Pourquoi ?
Je voudrais savoir s'il existe une règle pour le prouver. Par exemple, si j'utilise la loi distributive, je n'obtiendrai que .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)
1
Quels sont les systèmes de types connus les plus solides pour lesquels l'inférence est décidable?
Il est bien connu que l'inférence de type Hindley-Milner (le -calculus simplement typé avec polymorphisme) a une inférence de type décidable: vous pouvez reconstruire des types de principe pour n'importe quel programme sans aucune annotation.λλ\lambda L'ajout de classes de style Haskell semble préserver cette décidabilité, mais d'autres ajouts rendent l'inférence …
4
N'y a-t-il pas d'algorithme de tri avec toutes les propriétés souhaitées spécifiques?
Sur le site Web des algorithmes de tri , la réclamation suivante est faite: L'algorithme de tri idéal aurait les propriétés suivantes: Stable: les clés égales ne sont pas réorganisées. Fonctionne en place, nécessitant d'espace supplémentaire.O(1)O(1)O(1) Comparaisons clés pire des cas .O(n⋅lg(n))O(n⋅lg⁡(n))O(n\cdot\lg(n)) Swaps pire des cas .O(n)O(n)O(n) Adaptatif: accélère jusqu'à …
2
Fondements théoriques de Divide and Conquer
En matière de conception d'algorithmes, on utilise souvent les techniques suivantes: Programmation dynamique La stratégie gourmande Diviser et conquérir Alors que pour les deux premières méthodes, il existe des fondements théoriques bien connus, à savoir le principe de l'optimalité de Bellman et la théorie matroïde (resp. Greedoid), je n'ai pas …
2
L'expression de calcul est-elle la même que la monade?
Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 5 ans . J'apprends toujours la programmation fonctionnelle (avec f #) et j'ai récemment commencé à lire sur les expressions de calcul. Je ne comprends toujours pas …
4
Optimisation automatisée de la multiplication vectorielle matricielle 0-1
Question: Existe-t-il une procédure ou une théorie établie pour générer du code qui applique efficacement une multiplication matrice-vecteur, lorsque la matrice est dense et remplie uniquement de zéros et de uns? Idéalement, le code optimisé utiliserait systématiquement les informations précédemment calculées pour réduire le travail en double. En d'autres termes, …
5
Pourquoi les langages fonctionnels Turing sont-ils complets?
Peut-être que ma compréhension limitée du sujet est incorrecte, mais c'est ce que je comprends jusqu'à présent: La programmation fonctionnelle est basée sur Lambda Calculus, formulée par Alonzo Church. La programmation impérative est basée sur le modèle de machine Turing, fabriqué par Alan Turing, étudiant de Church. Le calcul lambda …
4
Pourquoi utilisons-nous des structures de données persistantes dans la programmation fonctionnelle?
La programmation fonctionnelle utilise des structures de données persistantes et des objets immuables. Ma question est pourquoi est-il crucial d'avoir de telles structures de données ici? Je veux comprendre à un bas niveau ce qui se passerait si la structure des données n'était pas persistante? Le programme planterait-il plus souvent?
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.