• Home
  • Southern New Hampshire University
  • Discrete Mathematics MAT230
  • Introduction to Mathematical Logic in Software Engineering

Introduction to Mathematical Logic in Software Engineering

Hello everyone, my name is Alex and I am pursuing a degree in software engineering. I would say my experience with discrete mathematics is basically at a beginner level, my only experience is concepts that are applied through programming like conditional branching and things like that. With that in mind, I would say I'm confident in my ability to think critically and apply concepts to different fields. I believe everyday logic is often rather intuitive. For instance, if I asked a group of people why they did something in the order or way that they did it, I wouldn't be surprised if every response would be something along the lines of "I don't know, it just kind of made sense to do it that way." On the other hand, mathematical logic is much more structured, and rigorous by placing an emphasis on principles and proofing. Every single proposition can be proved by a series of mathematical principles. Through the study of mathematical logic, you learn how to break down large and complex problems into smaller, more mangangle bits and analyze them in order to solve them. This gives us the ability to logically make decisions and come to conclusions that arise in everyday life. For specifically software engineering, some form of mathematical logic is applied almost everytime we code something: logical operators, conditional statements, and loops, just to name a few. Thanks for reading,