التراكيب المحددة - عال ١١٠٠ عال 1100
Fundamental Structure - Logic Theory - Proof techniques - Machine Level Representation of Data
-
-
CHAPTER 1: Logic Theory
- Proposition - Negation 20:06
- Logical Connectives ( Conjunction and Disjunction ) 13:42
- Logical Connectives ( Exclusive Or and Conditional Statement ) 30:20
- Converse, Inverse and Contrapositive 10:56
- Logical Connectives ( Bio-conditional Statement ) 10:11
- مراجعة جداً مهمه عن الروابط المنطقية (Logical Connectives) 06:06
- Truth Table of Compound Proposition ( ملاحظة: طريقة ترتيب جدول الصواب عند البنات تختلف عن الأولاد ، اللي شرحتها طريقة الأولاد ) 20:14
- Well-Formed Formula - Precedence Order 10:56
- Translating English Sentence 15:23
- Propositional Equivalences 19:57
- Logic Equivalence (Laws) 13:09
- Equivalent Propositions (عال ١١٤ بنات +عال ١٠٤) 15:16
- Logic and Bit Operation 10:22
- Predicate 25:11
- Universal Quantification 23:47
- Existential Quantification 10:31
- Quantified with Restricted Domain 13:02
- Negating Quantified Expression 20:42
- Translating English into Logical Expression 21:55
- Nested Quantifies (فقط لطلاب عال ١٠٤) 39:11
- Distribution Property of Universality (فقط عال 104) 02:59
- The Argument 21:59
- Example of Valid Argument 18:23
- Rules of Inference 15:36
- Rules of Inference (Examples) 15:16
- Show that an Argument is Valid Using Rules of Inference 28:34
- tutorial 1 ( عبارة عن حل مجموعة تمارين من الكتاب عن جابتر ١) 01:07:11
- tutorial 2( عبارة عن حل مجموعة تمارين من الكتاب عن جابتر ١) 53:54
- ملخص + مراجعة شاملة لجابتر ١ 31:03
- بث لمراجعة جابتر 1 الجزء الثاني 01:22:02
-
CAPTER 2: Fundamental Structure
- What is Discrete Structure? 06:40
- Sets 21:56
- Equal Sets - Empty Set - Singleton Set - Venn Diagram 13:31
- Subset - Superset - Proper Subsets 23:33
- Important Examples about Subset and Prober Subset 15:37
- Cardinality and Cartesian Product 20:25
- Power Set 12:48
- Union - Intersection - Disjoint - Difference 23:41
- Complement - Set Identities 23:52
- Inclusion- Exclusion Theory 14:41
- Computer Representation of Sets 27:49
- Relations 28:31
- Functions and Relation on a Set 24:50
- Properties of Relations 20:14
- Example about Properties of Relation 29:57
- Another Example about Properties of Relation 13:30
- Equivalence Relation 27:53
- Partial Ordering- Comparable Elements- Total Order - Well Ordered 27:56
- Functions 23:55
- More Examples about Function 17:56
- Injection Function 21:30
- Surjection and Bijection Function 22:49
- Inverse Function 16:20
- Composite of Two Functions 26:46
- The Graph - Familiar Function 18:49
- Tutorial 3 (عبارة عن حل مجموعة تمارين من الكتاب عن جابتر ١) 01:20:19
- ملخص + مراجعة لجابتر ٢ 01:04:13
- Examples about Partial Ordering 17:46
-
CHAPTER 3: Proof Techniques
- Introduction to proof 13:36
- Introduction to Proof (Direct Proof Part 1) 34:02
- Introduction to Proof (Direct Proof Part 2) 39:26
- Proof by Contraposition 26:38
- Example about Proof by Contrapositive 06:11
- Vacuous and Trivial proof 29:57
- Proof by Contradiction (part 1) 30:08
- Proof by Contradiction (part 2) 14:53
- More Examples about Proof by Contradiction 12:24
- Counterexample 13:17
- Introduction to Mathematical Induction 06:53
- Principle of Mathematical Induction 18:52
- Example about Mathematical Induction Part1 16:49
- Example about Mathematical Induction Part2 23:42
- Example 5: Mathematical Induction 08:19
- Many Example about Principle of Mathematical induction 33:38
- Strong Induction 28:32
- Explain Strong Induction Again with More Examples 01:03:22
- Recursive Definition Part1 18:57
- Recursive Definition Part 2 20:36
- Structural Induction 34:47
- تتوريال ٤ 44:10
- Tutorial 5 (Induction and Recursion) 02:21:45
-
CHAPTER 4: Machine Level Representation of Data
- Number System 09:04
- More Information about Binary System 17:16
- Convert From ( Binary, Octal, Hexadecimal) to Decimal 33:32
- Convert From Decimal to (Binary, Octal, Hexadecimal) 33:53
- Convert (From Octal to Binary) and (From Binary to Octal) 11:46
- Convert (From Binary to Hexadecimal) and (From Hexadecimal to Binary) 08:50
- Convert (From Hexadecimal to Octal) and (From Octal to Hexadecimal) 10:58
- Introduction to Signed Binary Numbers (Signed Magnitude) 36:57
- 1's Complement and 2's Complement 20:24
- Binary Addition and Subtraction 33:23
- Examples of Adding and Subtracting Binary Numbers - Overflow 25:40
- Floating Point Representation 30:47
- BCD Code 11:58
- Tutorial 6 (Machine Level Representation of Data) 50:09
-
Exam
- Quiz 1 (أسئلة من أ. هديل) 21:35
- Quiz 1 (النموذج الأول عام 2021) 08:40
- Quiz 1 (النموذج الثاني عام 2022) 07:18
- Quiz 1 (تجميعات كويز 1 لعام 2023 الترم الثاني ) 39:44
- Quiz 2 (النموذج الأول) - عال 114 32:55
- Quiz 3 (2023 2end term) 01:07:43
- نموذج كويز 5 عال 114 (ch 4 : machine level representation) 30:58
- Mid 1 ( النموذج الأول ) 33:43
- Mid 1 ( النموذج الثاني ٢٠٢٠ ) 34:58
- Mid 1 (النموذج الثالث) 35:02
- Mid 1 (النموذج الرابع 2021) 28:46
- Mid 1 (النموذج الخامس 2022) 58:10
- Mid 1 ( النموذج السادس 1444 الترم الثاني ) - عال 114 59:29
- Mid 2 (النموذج الأول) 41:22
- Mid 2 (النموذج الثاني) 51:09
- Final (النموذج الأول) 01:47:17
- Final (عال 114 عام 1444 الترم الاول) 01:27:14
-
تتوريال
- tutorial 1 (Propostion) 01:07:11
- Tutorial 2 (Predicate - Quantifier - Inference rule) 53:54
- tutorial 3 (Set - Relation - Function) 01:20:19
- Tutorial 4 (Introduction to proof) 44:10
- Tutorial 5 (Induction and Recursion) 02:21:45
- tutorial 4: counting (عال 104) 32:00
- Tutorial 6 : Machine Level Representation of Data (عال 114 فقط) 50:09
- Tutorial 5: Graph (عال 104) 41:59
-
CHAPTER 1: Logic Theory
- Fundamental Structure - Logic Theory - Proof techniques - Machine Level Representation of Data
-
• Hadeel Mohammed Almadiny. • Lecturer in Vision Academy. • Specialty in mathematics. • Graduated from (KSU)with calss honor. ~ Experiences: • teacher in international school. • English language. • Strategic teaching course. ~ Achievements: • Title of scientific meeting leader in KSU.
-
Student feedback
5.00Course Rating
300 SAR -200SAR
Original Price 500 SAR - Hurry up!
Lectures
120 Videos
Duration
60:48:42
Material
11 Files
Assignments
No new assignments
Labs
No
Project
No
Certificate
Not Applicable
Reviews (15)
Real reviews from real students.
افضل تيتشر تدرس هذي الماده حرفيا+شاممل كل المنهج والتتوريالز والمراجعات
الشرح جدا جميل وشامل كل المنهج
أ هديل هي الأفضل بلا منازع انضباط رهيب وحرص وتفاعل وتعاملها معنا كأكثر من طلاب صدق تهتم باختباراتنا وموجودة طول مانحتاجها من بداية الترم لين نهايته ومستحيل تلقى جزئية ماغطتها بالمنهج + الشرح مميز ومفهموم والأستاذة متمكنة ما شاء الله تبارك الرحمن 🙏🏻🤍
شرح شامل المنهج والنماذج السابقه واهتمام ونصائح كان يجي منها كثيرر بالاختبارات ماقصرت أ.هديل 🤍
الافضضل خصوصا هالمادة صعبة شوي لكن شرحها يبسط لك المعلومة وتجيب اسئلة اضافية من الكتاب مره فادتني جا منها بالميد
أفضل شرح و تعامل و عطاء ماشاءالله تبارك الله 10/10 من جميع النواحي، صدق أفضل من شرح المادة و بسطها بأبسط صورة رغم صعوبتها، و المقاطع أول بأول و شرح مفهوم و شامل كل شيء الله يكتب اجرك و يسعدك شكرًا مس هديل 🤍
شرح واضح ووافي وتوصيل سهل للمعلومه حمدلله لو لا الله ثم تيتشر هديل كان احتمال كبير حملت الماده شكرا مرره تيتشر الله يكتب اجرك🤍🤍
المادة فيها مفاهيم جديده علينا حنا يالطالب وصعبه بس الاستاذة هديل شرحته شرح جدا ممتاز ولا اتوقع فيه احد يقدر يشرحه مثل شرح الاستاذة. شرحت كل شي من سلايدات وتوتوريالز وأيضا تمارين الكتاب وتشرح الإختبارات السابقة وتتابع الطلاب أول بأول.
افضل استاذه تشرح تراكيب ومحد يختلف عليها ❤️, الاستاذه متعاونه وترد على استفساراتكم بسرعه وما تقصر ابد
شرح وااضح ومفهوم تتعب مس هديل بالشرح وتجاوب سريع بالتلقرام ومو اخر مرة اخذ عندها
ماقصرت معانا الشرح كان جدا واضح وكافي ، الله يوفقها وين ما كانت 💛💛💛.
تجنننن مره فهمتني الماده واسلوبها بالشرح يدخل المخ على طول الله يسعدها
ما قصرت معنا والله حتى فاينل سابق نزلت لنا مشكوره , انصح الجميع يسجل معها بإختصار لن تندم
شرحها اكثر من رائع
من ناحية الشرح ممتازه