MATHEMATICAL LOGIC AND PROVING TECHNIQUES

About this Course

Course Description

This subject is a foundation course for students majoring in mathematics at undergraduate level. Students will learn set theory, truth and falsity of statements, construction of truth tables, laws of logic and various methods of proving. Even though the subject is tailored toward the usage of logic in mathematics by using symbolic logic, students will find it useful in everyday life usage.

Course Learning Outcomes

1 ) Explain the concepts of properties of sets and operations, laws of set theory, logical connectives, premises and arguments in solving mathematical problems.
2 ) Apply appropriate proof of proposition or mathematical statements using basic proof techniques.
3 ) Performs (plan, conduct and analyze outcome of) truth and falsity of statements, laws of logic and use of truth tables to show the validity of arguments.

Course Details

STATUS : Open
DURATION : FLEXIBLE
EFFORT : 4 hours per week
MODE : 100% Online
COURSE LEVEL : Beginner
LANGUAGE : English
CLUSTER : Science & Technology ( ST )

 Syllabus

Sets, Subsets and Set Operations
Laws of Set Theory
Application of Venn Diagrams

Logical Connectives
Laws of Logic
Logical Implication
Arguments
Quantifier, Nested Quantifier

Introduction and The Forward - Backward Method
Mathematical Terminology and Construction Method
The Choose Method and Specialization Method
The Contradiction Method and Contrapositive Method
Induction Method

Our Instructor

DR. SHAMSATUN NAHAR BINTI AHMAD

Course Instructor
UiTM Kampus Segamat

SITI NUR AISYAH BINTI AZEMAN

Course Instructor
UiTM Kampus Tapah

NOR SITI KHADIJAH BINTI ARUNAH

Course Instructor
UiTM Kampus Segamat

NOR ALWANI BINTI OMAR

Course Instructor
UiTM Kampus Tapah

MASNIRA BINTI RAMLI

Course Instructor
UiTM Kampus Machang

RUSNANI BINTI MOHAMAD KHALID

Course Instructor
UiTM Kampus Segamat

 Frequently Asked Questions

A1 : This course is a basic mathematical course that students had been exposed during school. However, there are some new subtopics that will be introduced.