NEW HORIZON COLLEGE OF ENGINEERING, BENGALURU

Autonomous College affiliated to VTU, Accredited by NAAC with 'A' grade, Accredited by NBA

Department of Basic Sciences and Humanities (Mathematics)

Assignment-1
Semester: I Course: DISCRETE MATHEMATICS Course Code: 18MCA12

Section/Branch: MCA Date of Announcement: 05-11-2018 Date of Submission: 12-11-2018

Answer all questions.

Sl. RBT
QUESTIONS Marks Levels CO’s
No.
1. Write a flow chart for proof of the result CO1
𝑛(𝑛+1) 2.5 L3
1 + 2 + 3 + ⋯ + 𝑛 = 2 by mathematical induction. CO2
2. Write a C-Program to print Lucas sequence up to 𝑛 terms. CO1
2.5 L4
CO2
3. Write a C-Program to find the GCD of any two numbers. Examine the CO1
2.5 L5
program by taking different data. CO2

Staff In-charge HOD

 NEW HORIZON COLLEGE OF ENGINEERING, BENGALURU
Autonomous College affiliated to VTU, Accredited by NAAC with 'A' grade, Accredited by NBA

Department of Basic Sciences and Humanities (Mathematics)

Assignment-2
Semester: I Course: DISCRETE MATHEMATICS Course Code: 18MCA12

Section/Branch: MCA Date of Announcement: 28-12-2018 Date of Submission: 04-01-2019

Answer all questions.

Sl. RBT
QUESTIONS Marks Levels CO’s
No.
1. Define Logical equivalence and verify the compound statements 𝑝 ∧ (⇁ CO1
𝑞 ∨ 𝑟) and 𝑝 ∨ (𝑞 ∧⇁ 𝑟)for equivalence. 2.5 L3
CO2
2. Write a brief note on quantified statements with more than one variable.
CO1
Further, find the negation of the following quantified statement. 2.5 L4
CO2
∀𝑥, ∃𝑦, [{𝑝(𝑥, 𝑦) ∧ 𝑞 (𝑥, 𝑦)} → 𝑟(𝑥, 𝑦)]
3. Justify, the Knowledge of Logic fundamentals is necessary for Computer
CO1
Science students and also list out the applications of mathematical logics 2.5 L5
CO2
in Computer Science.

Staff In-charge HOD