Scribd
Upload
429 views5 pages

Logic and Set Theory

Uploaded by

Shela Ramos
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
429 views5 pages

Logic and Set Theory

Uploaded by

Shela Ramos
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 5

Course Code: M 104

Course Title: LOGIC AND SET THEORY

Course Credits: 3 units

Semester: First Semester

Pre-requisite: (none)

Course Description: This course provides an introduction to the basic concepts and results of mathematical logic and set theory. This course introduces basic
notions that will be needed as background for most of the computer science courses. Also, the course will familiarize students with abstract
mathematical thinking. This course explains how different mathematical theories can be modeled inside the set theoretic universe, and
discuss the role of axiom choices.

Learning Outcomes:

At the end of the semester, the students must:

1. properly used the vocabulary and symbolic notations of higher mathematics in definitions, theorems, and problems;

2. analyzed the logical structure of statements symbolically, including the proper use of logical connectives, predicates, and quantifiers;

3. master the construction of truth tables, prove or disprove a hypothesis, and evaluate the truth of a statement using pinciples of logic;.

4. solved problems and write proofs using the concepts of set theory, including the methods of Venn Diagrams and truth tables;

5. solved problems and write proofs using the basic definitions and the fundamental properties of subsets and operations on the real numbers, integers,
rational and irrational, even and odd, prime numbers, multiples or factors of whole numbers.

Course Requirements:

1. Written evaluation (quizzes, assignments, chapter tests, prelim, midterm, final).


2. Involvement (recitation, board work, group work, seatwork).
3. Problem Sets/Worksheets
Evaluation and Grading System:

1. Evaluation:

Major Exams (prelims, midterms, finals)


40%
Quizzes
25%
Board work/Group work/Recitation
25%
Problem Sets/Worksheets
10%

2. Cumulative:

Prelim Grade = Class standing (60%) + Periodical Exam (40%)

Midterm = Tentative Midterm Grade (70%) + Prelim Grade (30%)

Final Grade = Tentative Final Grade (70%) + Midterm Grade (30%)

References:

1. Oronce and Mendoza et.al. e-Math 7, Rex Book Store, Inc. © 2012

2. Nocon R., Nocon E., -Essential Mathematics for the Modern World

3. Cabero, Lopez, Salamat, Sta. Maria et.al. - Discrete Mathematics, Natinal Book Store, 2010

3. Internet
Number of Hours: 3 hours every week or 54 hours in semester.

Weeks Topics

1. . Introduction to Numbers

1.1. Classification of Numbers


2.1.1. Real Number System
3 weeks
2.1.2. Prime Numbers
1.2. Fibonacci Sequence
1.3. Arithmetic Sequence
1.4. Geometric Sequence

2. Introduction to Sets

2.1. Basic Ideas of Sets


2.2. The Set of Real Numbers
2.3. Properties of Real Numbers
2.4. The Set of Integers
3 weeks 2.5. Adding Integers
2.6. Subtracting Integers
2.5. Multiplying Integers
2.6. Dividing Integers
2.7. The Set of Rational Numbers
2.8. Square roots
2.9. Scientific Notation
3. Set Theory

3.1. Definition of Sets


2 weeks 3.2. Properties of Sets
3.3. Specifying a Sets
3.4. Set Notation
3.5. Types of Sets

4. Introduction to Logic

3 weeks 4.1. Definition of Logic


4.2. Mathematical Language
4.3. Elements of Mathematical Language

5. Logic and Compound Statements

5.1. Logical Form and Logical Equivalence


5.2. Propositions and Connectives
4 weeks 5.3. Predicate Logic
5.4. Methods of Formal Proofs
5.5. Conditional Statements
5.6. Valid and invalid Arguments
5.7. Truth Table

6. The Logic of Quantified Statements

4 weeks 6.1. Introduction to Predicates and Quantified Statements


6.2. Statements of Containing Multiple Quantifiers
6.3. Arguments with Quantified Statements
7. Mathematical Induction
3 weeks
7.1. Proving the statement is true by Mathematical induction
7.2. Divisibility Induction

You might also like