The document summarizes key topics to be covered in Lecture 01 on discrete mathematics including: propositions which are statements that are either true or false; truth tables; logical operators like conjunction, disjunction, exclusive OR, and implication; bi-conditional statements; compound propositions; precedence of logical operators; translating sentences; and Boolean searches and bit operations. Examples of propositions and non-propositions are provided.