Inspired by Michael Pehr watching SCNA talk " Self-education and master" "I am interested to learn about practical examples of software development where discrete mathematics has proven useful.
Discrete mathematics affected all aspects of software development, since software development is based on computer science at its core.
http://en.wikipedia.org/wiki/Discrete_math
. , , .
... ?
, , , . .
-, . , " " - . , , . , , .
- : , / ; ; , , .
, , , . , , , , , ( , ).
, , . , . , , , .. . . , ( , , ..), - , .
, 3 . , -, .
.
, , , .
...
, .
, , , - , ..
, modus tollens, (, , ), modus tollens:
= > Q.! Q, ! P.
" , " P = > Q, Q ( " " ), , , , . , , , :
" , . , .
: P = > Q. Q, P.
" " , , , . , "" . Q , P P = > Q, .
Modus tollens , . , , , , .
Source: https://habr.com/ru/post/1722802/More articles:Truncation Table and Statistics UPDATE - performanceHow to pack / encrypt / unzip / decrypt a bunch of files in Java? - javaSeveral sites with shared files - phphttps://translate.googleusercontent.com/translate_c?depth=1&pto=aue&rurl=translate.google.com&sl=ru&sp=nmt4&tl=en&u=https://fooobar.com/questions/1722800/how-do-i-use-getoptions-to-get-the-default-argument&usg=ALkJrhhlYHwp9HfgTF3AOsY9wLIbMrFqaANonprofit workflow creation - workflowhttps://translate.googleusercontent.com/translate_c?depth=1&pto=aue&rurl=translate.google.com&sl=ru&sp=nmt4&tl=en&u=https://fooobar.com/questions/1722803/what-are-the-available-options-to-retrieve-spring-managed-beans-in-a-log4j-appender-inside-a-spring-managed-web-application&usg=ALkJrhgppbS7zZGZKAHFeZD9ONw88nOo9gOpenERP, data recovery problem - openerpAccess spring bean from appender registration class - springC # for UI, C ++ for library - c ++.Net non-blocking web server for Comet applications - pythonAll Articles