J'ai remarqué qu'il m'est beaucoup plus facile d'écrire des preuves mathématiques sans commettre d'erreur, que d'écrire un programme d'ordinateur sans bugs. Il semble que ce soit quelque chose de plus répandu que mon expérience. La plupart des gens font constamment des bogues logiciels dans leur...
Des excuses sont peut-être justifiées pour avoir posé une autre question sur les conditions préalables, mais j'étais confus quant aux points de départ. Je suis tombé sur divers termes tels que "Logique modale", "Logique temporelle", "Logique du premier ordre", "Logique du second ordre" et "Logique...
Je comprends que la "structure" des données dépend totalement de l’algèbre booléenne, mais: Pourquoi les données sont-elles considérées comme une entité mathématique discrète plutôt que continue? Relatif à ceci: Quels sont les inconvénients, ou invariants, violés lors de la structuration de données...
C'est une question naïve et, par conséquent, peut-être malformée, donc excuses à l'avance! À mon avis, une machine de Turing peut être considérée comme la base de calcul des langages de programmation procéduraux / impératifs. De même, le lambda calcul est le fondement des langages de programmation...
J'ai lu l'algèbre linéaire et ses applications pour aider à comprendre le matériel informatique (principalement l'apprentissage automatique), mais je crains que beaucoup d'informations ne soient pas utiles à CS. Par exemple, savoir comment résoudre efficacement des systèmes d'équations linéaires ne...
Je suis un étudiant universitaire en informatique ayant une grande passion pour étudier les mathématiques. Je suis fermement convaincu que l'informatique ou l'informatique théorique est une branche directe des mathématiques et de la logique et je suis également d'avis qu'un diplôme en informatique...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement les 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 2 ans . Généralement, les programmeurs informatiques...
Étant donné une chaîne de valeurs AAAAAAAABCAAAAAAAABCAAAAAAAABC , l'entropie de Shannon dans la base de log 222 s'élève à 0.9220.9220.922 . D'après ce que je comprends, dans la base 222 l'entropie de Shannon arrondie est le nombre minimum de bits en binaire pour représenter une seule des...
Cette question est de savoir si chaque théorème mathématique peut être réduit à la question de savoir si une seule machine de Turing s'arrête. En particulier, je m'intéresse aux conjectures qui ne sont actuellement pas prouvées. Par exemple: Wikipedia dit qu'il est actuellement inconnu s'il existe...
Je lis actuellement des articles sur le regroupement de chaînes de Markov et je ne vois pas la différence entre une chaîne de Markov et un graphique pondéré simple. Par exemple, dans l'article Optimisation de l'espace d'état dans les chaînes de Markov, ils fournissent la définition suivante d'une...