Questions marquées «mathematical-foundations»

29
Pourquoi l'écriture d'épreuves mathématiques est-elle plus fiable que l'écriture de code informatique?
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 programmation et ils ont le …
3
Qu'est-ce qu'une logique?
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 de l'ordre supérieur". Que veut …
11
Pourquoi les données en informatique sont-elles considérées comme discrètes?
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 en tant qu'entité continue dans rrr dimensions? Je …
2
Certains langages de programmation utilisent-ils des fonctions récursives générales comme base?
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 fonctionnels. J'ai récemment …
6
Quelles parties de l'algèbre linéaire sont utilisées en informatique?
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 semble pas très utile, sauf si vous essayez de programmer …
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.