Course

Introduction
IS184101 – Logic and Discrete Structure
Ahmad Muklason, Ph.D.
Course Introduction
IS184101- Logic and Discrete Structure
Ahmad Muklason, Ph.D.
 Outline
Pre-course Survey
Learning Outcome
Lesson Plan
Textbook
Assessment
Class Rules

INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya -

www.its.ac.id
Indonesia
 Pre-course Survey

• Goto menti.com

www.its.ac.id INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya -

 Learning outcome

• Able to apply logic and math to solve business problem

• Able to implement logical, critical, systematic, and innovative
thinking in the context of developing and implementing science
and technology

www.its.ac.id INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya -

 Lesson Plan

www.its.ac.id INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya -

 Lesson Plan

Lesson Plan:
Logic and Proof:
Propositional Logic,
Predicate and Set Theories Number Theory
Quantifier, Rules of
Inference, Proof

Induction and
Counting Relations
Recursion

Algorithmic
Graph Theory
Problem Solving

www.its.ac.id INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya -

 Textbooks

• Kenneth H. Rosen, Discrete Mathematics and its Applications,

Seventh edition, McGraw-Hill International Edition. 2012.
• Roland Backhouse, Algorithmic problem solving. John Wiley & Sons,
2011

www.its.ac.id INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya -

 Textbooks

www.its.ac.id INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya -

 Online Resources

• The Rosen companion website, http://www.mhhe.com/rosen

• The Richard companion website,
http://condor.depaul.edu/~rjohnson/dm7th/
• The Mathematical Zone, http://www.mathzone.com
• Applications of Discrete Mathematics,
http://highered.mheducation.com/sites/0073383090/student_view0
/applications_of_discrete_mathematics.html
• Coursera, https://www.coursera.org/learn/discrete-mathematics/
• Brilliant, https://brilliant.org/math/combinatorics/
www.its.ac.id INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya -
 Assessment

• 20% - Pop Quizzes (Pre-Test and Post Test)

• 25% - Courseworks
• 55% - Exams (mid-terms: 25%, final: 30%)

www.its.ac.id INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya -

 Online Class Rules

Please bear in mind, that when joining on zoom meeting, you should:
1. Turn your video on at least during the first 30 minutes.

2. Use Name: Full Name - NRP; e.g. Juliah Robah - 5211840000999

3. Raise your hand if you want to say something.

4. Stay seated.

5. Don’t do other tasks while the class is ongoing.

6. Come prepared and participate.

www.its.ac.id INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya -

 Online Class Rules

• Be active:
• Ask question
• Answer question
• Give a comment
• Each week 3 - 6 students will be
awarded a badge that in turn could be
converted into mark
• Best Performing student on each Pop
Quiz will be awarded a badge too.

www.its.ac.id INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya -

 Online Class Rules

• Do attend at least 80% of total meeting

• Do completion track on classroom.its.ac.id
• Don’t miss any Pop Quizzes
• Try to start early on homework assignments
• Follow the instructions and submit assignments on time

www.its.ac.id INSTITUT TEKNOLOGI SEPULUH NOPEMBER, Surabaya –

TERIMA
KASIH
 TERIMA KASIH

GAMBAR BISA DIGANTI / DIHAPUS