Discret et ses mathématiques

Question

J'ai commencé l'informatique à l'université. Et nous avons commencé à apprendre sur le Discret et ce sont les mathématiques qui sont complètement basées sur la logique, ce que je comprends. Cependant, ma question est; Comment les prédicats, les ensembles, les preuves etc. sont-ils liés aux ordinateurs? Je veux simplement savoir la raison pour laquelle nous apprenons cela? Comment cela est-il utile en informatique? dans certains sites Web J'ai vu des gens dire que l'université enseignait ces choses afin que les étudiants abandonnent le sujet après la première année. puisque l'université ne peut pas avoir tant d'étudiants diplômés

Merci

Answer 1

Les mathématiques discrètes est au cœur de lui-même la science informatique. Les mathématiques discrètes sont un terme large, mais généralement il se réfère aux choses que vous dites comme des prédicats, des ensembles, des preuves, récursives non récursives et ainsi de suite. Pour comprendre les ordinateurs et la façon dont ils fonctionnent et écrire le code «correct», vous devez apprendre toutes ces choses. Si vous voulez écrire un algorithme, vous voudriez aussi, qu'il fasse ce qu'il voulait - montrer que cela fonctionne, vous devez le prouver, montrer aux autres et à vous-même que le code est correct. Ces preuves sont si fondamentales, parce que l'ordinateur ne vous dira pas, si l'algorithme de tri que vous venez d'écrire, ne le trie pas en temps O (n * logn) comme prévu - ici vous devez prouver qu'il le fait réellement. Les prédicats et ces choses s'expliquent d'eux-mêmes, pourquoi vous devez le savoir. Lorsque vous approfondirez votre étude, vous en aurez besoin pour faire face à la théorie des graphes. Ceci est une autre partie très importante de l'informatique dont vous avez besoin de connaître les mathématiques discrètes pour comprendre les bases de. Last but not least - les mathématiques discrètes sont géniales! Je pense que c'est tellement incroyable, que vous pouvez prouver tout ce que vous faites, avec le même langage universel partout dans le monde avec les mathématiques! : D