Software Engineering Course: Algebra and Mathematical Logic
How people think we do math. This'll be a sort of abridged summary of the topic, any more information you might need, I recommend you try the book (name in bottom of the post). Like anything in science and engineering, there's a crucial component that binds it all together, yup Maths! Oh boy! If your taking this course you should be well acquainted (hopefully) with some algebraic and logical terms. The examples of the ones we use for this course are: ∀ (For All) - applies to all ∃ (There exists) - At the very least one exist ⊂/⊆ (subset of/ subset or equal) - a set that is contained in a bigger set ∈ (element of) - one element that can be found in a set Let's make some examples just in case: Example 1: ∀ x ⊂ Y: function(x) --> result In English: For every x that is a subset of Y, then function of x will produce result Example 2: ∃ z ∈ Y: function(z) --> result In English: There exists a z that is an element inside of Y, ...