How and where is mathematical logic used in programming?

Question

Programming

Our teacher has to teach discrete mathematics, but she goes to smoke. The question arises: either she doesn’t care, or we don’t need discrete mathematics. I'm not going to solder the boards in my life, although I shouldn't promise, but still. Where is the practical application of this area possible, in addition to mathematical software?

Answer 1

Mathematical logic is everywhere. Starting from simple conditions in if-else, ending with operations with databases, because the SQL query language involves operating with sets. As for discrete mathematics, there is a very important part here - graph theory, because almost all good search algorithms (and sorting too) are based on trees. It is also pretty good to have an idea about the theory of automata, which is also used, for example, in search algorithms.

Answer 2

According to personal experience, it is unrealistic to find adequate teachers of this discipline, the majority do not understand their subject at all. In practice, some things from discrete mathematics are encountered in practice, especially those parts related to graphs, but a teacher who goes to smoke instead of leading a couple is unlikely to teach much.

Answer 3

Logical operations are successfully used in cryptography (algorithms of the AES family).

Answer 4

graphs can definitely come in handy
Discrete Math Tutorial