![]() Describe the strengths and limitations of propositional and predicate logic.Convert logical statements from informal language to propositional and predicate logic expressions.Describe how symbolic logic can be used to model real-life situations or applications, including those arising in computing contexts such as software analysis (e.g., program correctness), database queries, and algorithms.Describe the basics of counting including counting arguments, permutations and combinations and binomial coefficients.Demonstrate different aspects of descriptive statistics, including methods of collecting data, frequency distribution, measures of central tendency, variation and position, and use of z-scores.Discuss the concepts of digital logic: logic gates, flip-flops, counters, circuit minimization.Identify and implement logical connectives, truth tables, normal forms and validity.Describe Boolean values and perform standard operations on them.Explain the Pigeonhole Principle, cardinality and “countability.”. ![]() Demonstrate usage of functions, relations and sets.Apply proof techniques (direct proof, proof by contradiction, and induction) in the construction of a sound argument.Apply formal logic proofs and/or informal, but rigorous, logical reasoning to real problems such as predicting the behavior of software or solving problems such as puzzles.Interpret and write proofs, both directly and through contradiction.MAJOR COURSE LEARNING OBJECTIVES: Upon successful completion of this course the student will be expected to: Other topics include sets, functions, notation, proofs, proof techniques, relations, induction, counting and countability, probability, and partitions. Students will learn the applicable mathematical vocabulary and its correct usage. This course introduces students to discrete mathematical concepts including reasoning and proof, especially with the discrete phenomenon often used in the field of Computer Science. PREREQUISITES: CSCI 101 - Computer Science I or ( SDEV 140 and CSCI 179 )
0 Comments
Leave a Reply. |