VU current papers 2026: what came in the exam

CS636 paper bhot zada easy tha. Mcqs ek doe file kro aur handouts ko achy sy concept clear kro ho jay gay. Even Quizzes kr lo gay toe mcqs done. 1. inRange function. 2. Two Ways of Specify Function in VDM-SL: 3. 3. Role of Well-Formedness: 4. Which Operator Joins Two Sequences? 5. aur yahi long ma tah example likhni thi. 6. Completeness of Formal Method: 7. operation k 4 part k name just Tip: sary last exam ma jo current papers yt pr yah kahi b share hoy hain, inko combine krain aur wo rady aur Maha rana ki file kr lain. 100% percent paper wohi sy aye ga.CS636 paper bhot zada easy tha. Mcqs ek doe file kro aur handouts ko achy sy concept clear kro ho jay gay. Even Quizzes kr lo gay… See more See less

1 .2funaction given identify which one is fun definition which one one is function signature? 2 .ek consistency k related tha scenario base rha k contradions statements foraml method mn Kesy remove hoti hn? 3.purpose of In range function? Long questions 1,predecate logic with examples? 2.which function removes last elements from sequence? 3.why well formdness is essential in formal methods? Mcqs are mostly from last topic Robustness jesy k add robot or remove robot finish work statemts de thi just batan a tha1 .2funaction given identify which one is fun definition which one one is function signature? 2 .ek consistency k related tha… See more See less

5 Quiz from SDM-SL 4 Quiz from Robot Monoitring System Short Question inRange function Short Question why proofs important in formal methods Operator that are used to SQ: statement were given and asked about function definition and signature LQ: function that returns last element of sequence write down function LQ:Five instricts in SDMSL LQ: 1 Long from RMS table correct statement match with functions5 Quiz from SDM-SL 4 Quiz from Robot Monoitring System Short Question inRange function Short Question why proofs important in… See more See less

*cs636* paper zyda tar robotness waly topic sy aya tha add and remove robotness wala long mn b tha mcq b aik short b aya tha is and 2 sequence ko*cs636* paper zyda tar robotness waly topic sy aya tha add and remove robotness wala long mn b tha mcq b aik short b aya tha is… See more See less

paper was easy mcqs to yaad nai short qs 1. name the operations that takes two sets as input and return a set 2. Why proofs are important in formal methods 3. What is universal quantifier 4. What is elems give an example long qs 1. Name any five intrinsic types in VDM-SL 2. Why well formedness is essential 3. Set were given and their cardinality was askedpaper was easy mcqs to yaad nai short qs 1. name the operations that takes two sets as input and return a set 2. Why proofs are… See more See less

Long questions 1. What is predicte logic? 2. Why essential to ensure the well-formeds of formal modal? 3. What is difference between j and k? Is trh k sets given thy j = {10,11,33,34,44}, k={11, 33,44}. Short questions 2. Which operator domain restriction operator? 3. Which operator join two sequences.? 4. Write the name of set operator? 5. Contradict truth table bnana tha P ∧ ~P ka.Long questions 1. What is predicte logic? 2. Why essential to ensure the well-formeds of formal modal? 3. What is difference… See more See less