Discrete Structures CS114
This course will introduce the student to a body of mathematical concepts essential for the mastery of some of the higher‐level computer science courses. Topics include: set theory, functions and re
-
- Course Overview
-
Chapter 1: Propositional logic
-
Chapter 2: Set, Relation and Function
-
Chapter 3: Introduction to Proofs
- Lecture 1: Direct Proof 32:51
- Lecture 2: Vacuous Proof 37:05
- Lecture 3: Counterexample Proof and Tutorial 3 Solution 32:04
- Lecture 4: Mathematical induction - Part 1 35:58
- Lecture 5: Mathematical Induction - Part 2 19:00
- Lecture 6: Strong Induction 33:14
- Lecture 7: Recursive Definitions and Structural induction 38:09
-
Chapter 4: Machine Level Representation of Data
-
Tutorials and Exercises
- Tutorial 1 Solution 21:57
- Nested Quantifiers Homework Solution 06:09
- Chapter 1 more Exercises
- More Exercises about Predicates, Quantifiers and Rule of Inference
- Tutorial 2 Solution 37:10
- Exercises for Sets (Chapter 2)
- Exercises for Rule of Inference
- Tutorial Solution (Sets and Relations)
- Sets Tutorial Solution 19:12
- Tutorial for Relations 29:31
- Tutorial for Functions
- More Exercises for Relation 08:58
- Function Exercises from Book (Section 2.3)
- Tutorial 3 Solution (Proof Techniques)
- Exercise for Contradiction Proof 05:01
- Tutorial 4 Solution (Proofs Part 2)
- Tutorial 4 (Mathematical Induction) 22:23
- Tutorial 6 Solution 20:14
-
Revision and Exams Solution
- Online Exam 1 Solution 13:13
- Exams Collection Solution
- Midterm 1 exam Solution 14:04
- Online Quiz Solution for Relation
- Revision and Exercises for Function and Proofs 15:45
- Exam Solution (Proofs) 15:36
- Exam Collection Solution (Proofs) 23:44
- Revision for Final Exam 39:35
- Final Exams Solution 22:30
- Midterm 2 Exam Solution 22:07
- Revision for Strong Induction and WOP 21:52
-
دراسة ذاتية
This course will introduce the student to a body of mathematical concepts essential for the mastery of some of the higher‐level computer science courses. Topics include: set theory, functions and relations, propositional and predicate logic, proof techniques, machine level representation of data. -
Eng. Enaam Ahmed Mohammed holds a B.sc of Computer Engineering (2004) from Cairo University - Egypt and Master degree in IT (2007) from SIKKIM MANIPAL University - India. She has teaching experience for more than 15 years and has professional Experience in the following fields: • Oracle 9i – Certified from oracle (OCA) • Visual Studio .Net ( C
) • C, C++ • Visual Basic 6 • PHP • JavaScript • HTML, CSS She worked as a Teacher at many Universities and educational centers from 2005 - 2010 such as UMS University, Al Wataneia University, NCC Eduction center and APTECH Worldwide center. From the beginning of 2010 till now she had taught many courses for different Saudi Arabia Universities such as PNU, KSU, PSU, Shaqra University and Imamu University. She has experience for teaching many courses as below: • Database fundamentals. • Software Engineering. • Networking and Network Protocols. • Information security. • Programming language (Java, C++, C
, Python) • Operating system. • Multi-tier and Web development. • System Analysis and design. • Data warehouse and Data Mining • Object Oriented design • Support and Decision Making Systems • Data Structure -
Student feedback
3.00
500 SAR
Lectures
53 Videos
Duration
17:41:41
Material
16 Files
Assignments
Yes, Completely
Labs
No
Project
No
Certificate
Not Applicable
Reviews (4)
Real reviews from real students.
المادة صعبه ويبيلها فهم وفيها افكار كثييرة . طبعًا انا ما شفت الا اول شابتر لاني ما احتجت احد يشرح لي بس كان شرحها جميل وكنت اشوف التجميعات الي تنزلهم واذا عندي اسئلة كنت اسألها وماتقصر معي شكرًا لك 💓
الشابتر الأول والثاني كان الشرح فيها كويس الشابتر الثالث أبدا ما كان الشرح يوصل المعلومة بعض النقاط يتم ما تنشرح بشكل كافي وجتنا فالامتحانات الأستاذة ما شاء الله واضح فاهمة المنهج وملمة فيه لكن ما تستعجل فالشرح وتعطي بعض المفاهيم حقها
...
The revision and exams solutions were helpful,thank you