difinition of formal methods in discrete mathematics?

Answer 1

In mathematics, logic, and computer science, a formal language is a set of finite-length words (i.e. character strings) drawn from some finite alphabet, and the scientific theory that deals with these entities is known as formal language theory. Note that we can talk about formal language in many contexts (scientific, legal, linguistic and so on), meaning a mode of expression more careful and accurate, or more mannered than everyday speech. The sense of formal language dealt with in this article is the precise sense studied in formal language theory.

Answer 2

i'd say the Axiomatic technique, the idea of "info", adherence to good judgment. besides the undeniable fact that, i extremely do not understand if any of those techniques is extremely what mathematicians "do" at the same time as doing mathematics, or only how they contemporary the outcomes. I recommend books coping with Mathematical good judgment or Foundations. i bump into it only as confusing to describe doing math as an artist would describe doing artwork. For me math is a human social pastime, with certain regulations, some express and many implicit. even besides the undeniable fact that I easily have realized a lot math from books, those books were nevertheless written through mathematicians, and the made from a subculture with certain shared values, i do not understand if those can ever be completely defined.