Discrete Maths is a study of things which are discrete, which means things which can be counted. Discrete Maths forms the basis of a lot of concepts in algorithms and Computer science in general. I am starting this #100DaysOfX which Discrete Maths, to have a sufficient understanding of the concepts. I am using resources from NPTEL, MIT OCW, and ArsDigita University.

The plan is to follow the 3 lectures mentioned in the references and the Rosen book on Discrete math.

Day 16 | Thursday 21 March 2019¶

Days Progress¶

• Just a revision of implication, exclusive OR.

Day 15 | Wednesday 20 March 2019¶

Days Progress¶

• Completed the logical inference lecture from NPTEL's Discrete Maths

Thoughts¶

• logical inference for propositional calculus
• Fallacy
• logical inference for Quantifiers
• Normal Forms
• CNF
• DNF

Day 14 | Tuesday 19 March 2019¶

Days Progress¶

• Revision of Preposition calculus from Rosen Book.

Thoughts¶

• Books are easier to understand once, the concept is understood.

Day 13 | Monday 18 March 2019¶

Days Progress¶

• Revision of lecture 4 from NPTEL's Discrete Maths

Thoughts¶

• Learned that Implication and Equivalence are not the same.
• Understood about logical relationship involving quantifiers.

Day 12 | Wednesday 13 March 2019¶

Days Progress¶

• Revision of lecture 4 from NPTEL's Discrete Maths

Thoughts¶

• Now learned properly about Predicates and Quantifiers.
• Scope of Quantifiers.
• Valid, Satisfiable and unsatisfiable predicates.

Day 11 | Tuesday 12 March 2019¶

Days Progress¶

• Again listened to the 4th lecture of NPTEL's Discrete Maths

Day 10 | Monday 11 March 2019¶

Days Progress¶

• Listened to the 4th lecture of NPTEL's Discrete Maths
• Learned a little about logical inference.

Thoughts¶

• Still confusion over Predicate and Quantifiers.

Day 09 | Thursday 28 February 2019¶

Days Progress¶

• Reading and listening to explanation on how to negate a quantifiers.
• Learning about scope of a quantifiers.

Thoughts¶

• Still have doubts on these topics.

Day 08 | Wednesday 27 February 2019¶

Days Progress¶

In between the 4th Lecture of NPTEL's Discrete Maths

Thoughts¶

• Great lecture on predicate logic
• Valid Expression
• Satisfiable Expression
• Unsatisfiable Expression

Day 07 | Tuesday 26 February 2019¶

Days Progress¶

Listened to the 2nd lecture of MIT 6.042J YouTube play-list

Thoughts¶

• Introduces to the concept of Induction proof.

Day 06 | Monday 25 February 2019¶

Days Progress¶

Completed the 3rd Lecture of NPTEL's Discrete Maths.

Thoughts¶

• Predicate and Quantifiers.

• Predicate
• Predicate Logic
• n-ary predicate
• Quantifiers
• Universal
• Existential
• Binding Variables
• Logical equivalence involving quantifiers.

Day 05 | Friday 22 February 2019¶

Today was a rest day for Discrete Maths.

Day 04 | Thursday 21 February 2019¶

Days Progress¶

• Listened to the 2nd lecture of MIT 6.042J YouTube play-list
• Introduces to the concept of Induction proof.

Thoughts¶

• Today was focused on listening to the lecture, so have not taken detailed notes.

Day 03 | Wednesday 20 February 2019¶

Days Progress¶

Completed the 2nd Lecture of NPTEL's Discrete Maths.

Thoughts¶

• Proving implication without drawing all possible rows of truth table.
• Proved that implication is not associative.
• Simplified complex compound propositions.
• Conversion between English to logic and vice versa.
• Rules of inference

• Modus Ponens
• Modus Tollens

Day 02 | Tuesday 19 February 2019¶

Days Progress¶

1. Complete the First lecture of MIT 6.042J YouTube play list

Thoughts¶

• I have not taken any notes, but the lecture was mostly focused on methods of proof, propositions and connectives.

Day 01 | Monday 18 February 2019¶

Days Progress¶

1. Complete the First lecture of NPTEL's YouTube play list .

Thoughts¶

This lecture covers these topics:-

1. Logic
2. Propositions
3. Logical Connectives ($$\&$$, $$|$$, $$\sim$$) and its truth tables
4. Implication. ($$\Rightarrow$$)
5. Equivalence. ($$\Leftrightarrow$$)
7. Logical Identities

Understanding Equivalence and Implication was little tough.

These 2 video's provided the additional help.

Related Posts

Category

#100DaysOfDiscreteMath