• We are available for any custom works this month
  • Main office: Springville center X264, Park Ave S.01
  • Call us (123) 456-7890 - (123) 555-7891
  
  
  

Course Info

  • MATHEMATICAL LOGIC AND PROVING TECHNIQUES

MATHEMATICAL LOGIC AND PROVING TECHNIQUES

About this Course

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 Syllabus

Syllabus Info
SET THEORY
Sets, Subsets and Set Operations
Laws of Set Theory
Application of Venn Diagrams

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

PROVING TECHNIQUES
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

Frequently Asked Questions

Course FAQ
Q1 : Is it hard?
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.