L'informatique

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

2
Pourquoi la lecture audio n'arrête-t-elle pas d'autres tâches?
Si les processeurs ne peuvent exécuter qu'une seule chose à la fois, comment se fait-il que je puisse jouer de la musique en continu et pouvoir exécuter d'autres tâches? Je comprends le système d'interruption, mais n'est-il pas nécessaire que le processeur traite continuellement l'audio pour qu'il ne sonne pas nerveux …
2
problème de graphique de réseau social
Voici le problème: Il y a un graphe connecté avec des nœuds représentant un certain nombre de personnes. Chaque nœud / personne a une opinion sur un sujet, par exemple Trump vs Clinton, livres papier vs Kindle, etc. L'objectif est de faire en sorte que chaque nœud d'un graphique partage …
1
Types de citoyen de première classe
Venant d'un arrière-plan C ++, je ne comprends pas pourquoi on a besoin de types / expressions de type en tant que citoyen de première classe? La seule langue que je connaisse qui prend en charge cette fonctionnalité est Aldor. Quelqu'un at-il de la littérature sur les types de citoyens …
1
Pourquoi les types récursifs sont-ils nécessaires en tant que primitives pour les preuves dans les systèmes de types dépendants?
Je suis relativement nouveau dans la théorie des types et la programmation dépendante. J'ai étudié le calcul des constructions (CoC) et d'autres systèmes de type pur. Je suis particulièrement intéressé à l'utiliser comme une représentation intermédiaire préservant les preuves pour un système de compilation. Je comprends que les types (co) …
2
Intuition derrière la porte Hadamard
J'essaie de m'enseigner l'informatique quantique, et j'ai une compréhension décente de l'algèbre linéaire. Je suis passé par la porte NOT, ce qui n'était pas trop mal, mais je suis arrivé à la porte Hadamard. Et je suis resté coincé. Principalement parce que si je "comprends" les manipulations, je ne comprends …
1
Analyse de complexité d'algorithmes sur les implémentations de langages de programmation fonctionnels
J'ai appris aujourd'hui que l'analyse d'algorithme diffère en fonction du modèle de calcul. C'est quelque chose auquel je n'ai jamais pensé ni entendu parler. Un exemple qui m'a été donné, qui l'a illustré davantage, par l'utilisateur @chi était: Par exemple, considérons la tâche: étant donné retournent . En RAM, cela …
2
Existe-t-il un paradigme pour composer des fonctions de «mise à jour incrémentielle» dans un pur style de flux de données?
Je ne connais pas la terminologie correcte pour poser cette question, donc je vais la décrire avec beaucoup de mots à la place, supportez-moi. Contexte , juste pour que nous soyons sur la même longueur d'onde: les programmes contiennent souvent des caches - un compromis temps / mémoire. Une erreur …
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.