0 Up votes0 Down votes

18 views6 pagesfinal exam for janurary 2012 csc510

Mar 14, 2013

© Attribution Non-Commercial (BY-NC)

PDF, TXT or read online from Scribd

final exam for janurary 2012 csc510

Attribution Non-Commercial (BY-NC)

18 views

final exam for janurary 2012 csc510

Attribution Non-Commercial (BY-NC)

- Limitations of Logic
- Detailed Lesson Plan
- aula7_listasenc
- 74REAL-TIME-IMAGE-PROCESSING-APPLIED-TO-TRAFFIC-QUEUE-D (2)
- Write Math
- UNISZA:TAF3023: DISCRETE MATHEMATICS PRESENTATION 1:FORESPEC GROUP
- Sets
- 63AProsententialTheoryofTruth
- Formal Methods - Lecture 02
- MME Syllabus Converted
- International Journal of Computational Engineering Research(IJCER)
- Quantifiers and Propositional Attitudes
- sol_tarea_1_2007
- 38 Functions
- C3 Graphs Derivatives
- Manual A
- 8a_a0124541r_Douglas Tan (1)
- Temporal Prepositions and Their Logic
- chap01 6thmath
- AGFP

You are on page 1of 6

CS/JAN 2012/CSC510/ITC430

INSTRUCTIONS TO CANDIDATES 1. 2. 3. This question paper consists of eight (8) questions. Answer ALL questions in the Answer Booklet. Start each answer on a new page. Do not bring any material into the examination room unless permission is given by the invigilator. Please check to make sure that this examination pack consists of: i) ii) the Question Paper an Answer Booklet-provided by the Faculty

This examination paper consists of 6 printed pages

Hak Cipta Universiti Teknologi MARA CONFIDENTIAL

CS/JAN 2012/CSC510/ITC430

p : You drive over 90 kilometers per hour. q : You get a summon for speeding. Write these propositions using p and q and logical connectives. i) ii) iii) You get a summon for speeding, but you do not drive over 90 kilometers per hour, Whenever you get a summon for speeding, you are driving over 90 kilometers per hour, If you do not drive over 90 kilometers per hour, then you will not get a summon for speeding. (6 marks)

b)

Write the negation of the following statements: i) ii) You can access the website only if you pay a subscription fee. Jamal knows Java and C++. (4 marks)

c)

)) -

QUESTION 2 a) Write the negation of the following quantified statements. Move -i as far inside the predicate as possible.

i)

ii)

3x [Q(x) v (-P(x))]

BxVyVz [(F(x,y) A G(X,Z)) - H(y,z)] (6 marks)

b)

Express each of these quantifications in English. i) ii) 3x(S(x) A -.M(x)), where domain x consists of all people; S(x): x is a student in your school and M(x): x can speak Bahasa Malaysia. Vx G Z Vy e Z (x + y Z) { Z is the set of integers } (4 marks)

CONFIDENTIAL

CONFIDENTIAL c)

CS/JAN 2012/CSC510/ITC430

Express each of these statements using quantifiers and predicates with more than one variable. i) A man qualifies for the marathon if his best previous time is less than 3 hours and a woman qualifies for the marathon if her best previous time is less than 3.5 hours. Everyone in your class has either telephoned AN or sent him an e-mail message. (6 marks)

ii)

QUESTION 3 a) If n is an even integer, then i) ii) iii) iv) Prove that n2 is even. Prove that the product of an even integer and any integer is also even. Prove that the sum of three even integer is also even. Hence prove that 9n2 + 3n - 2 is even. (8 marks) b) Give the simplest possible conclusion for arguments given below. Show all your steps. The program is running if and only if the computer is working. The computer is working or the power is off. The power is on. (4 marks) QUESTION 4 a) Use set builder notation to give a description of the set shown below. S b) c) ={3,6,9}.

Obtain the power set P(S) for the set given in (a). What are the elements of the set A ={ (x,y) | x,y e Z and x2 + y2 < 4 } , and what is its cardinality? (6 marks)

d)

A function assigns to each positive integer its smallest decimal digit. i) ii) Find the domain and range of the function. Is this function onto? Is it one-to-one? Explain your answer. (6 marks)

CONFIDENTIAL

CONFIDENTIAL

CS/JAN 2012/CSC510/ITC430

QUESTION 5 a) Provide a counterexample to show that the relation R = { ( x , y ) G R2| x 2 > y } is not transitive. (4 marks) b) Let R be the relation on the set of all people who live in Seri Iskandar. R = {{x,y) | x l i v e s w i t h i n a k i l o m e t e r of y }.

QUESTION 6 a) Draw the state diagram for the DFSA given by the state table below. Final states are s0 S3 and s 4 .

Input State

0

So

Si Si

1

s2

Si

s3 s4

S5 S4 S5

s2

S3

s4 s4 s4 s4

(5 marks)

s4

S5

b)

Construct a deterministic finite-state automaton that recognizes any input string that contains either all 1s or all Os. (6 marks)

CONFIDENTIAL

CONFIDENTIAL QUESTION 7 a)

CS/JAN 2012/CSC510/ITC430

Study the grammar given below and answer the following questions. G = { V , T , S , P } with Vocabulary, v = { a , b , s , A } , Terminals, T = { a , b , } , Starting symbol, s, and

i) What is the type of the above grammar? State your reason. (2 marks) ii) What is the language L(G) generated by G ? (3 marks) b) Develop a grammar that generates the language {1, 11, 1111, 11111111 } over (5 marks) QUESTION 8 a) Compute the weakest precondition for the following program statements based on the given post condition. The assertions are printed in bold.

i) ii) X := z + 1 ; y := x + y {y > 5}

{0,1}.

S l := s i + s 2 ; 52 : = S2 + S 3 ; 53 : = S3 + 6 ; i : = i +1 ; {sl= i3 ; s2=(i+l)3 i3 ; s 3 = 6* ( i + 1) }

(7 marks)

CONFIDENTIAL

CONFIDENTIAL

CS/JAN 2012/CSC510/ITC430

b)

show that a = dq + r is the loop invariant. (4 marks) c) Proof the correctness of the program segment if x < 0 then x:= 0 with respect to the precondition { } and the postcondition x 0. (5 marks)

CONFIDENTIAL

- Limitations of LogicUploaded bymjain3391
- Detailed Lesson PlanUploaded byAmlorepava Mary
- aula7_listasencUploaded bylariao
- 74REAL-TIME-IMAGE-PROCESSING-APPLIED-TO-TRAFFIC-QUEUE-D (2)Uploaded byPabbala Suman
- Write MathUploaded byjoniakom
- UNISZA:TAF3023: DISCRETE MATHEMATICS PRESENTATION 1:FORESPEC GROUPUploaded byforespec
- SetsUploaded byPrateek Tekchandani
- 63AProsententialTheoryofTruthUploaded byhllizi
- Formal Methods - Lecture 02Uploaded bynaeemkashif
- MME Syllabus ConvertedUploaded byUjjwal Raj Singh
- International Journal of Computational Engineering Research(IJCER)Uploaded byInternational Journal of computational Engineering research (IJCER)
- Quantifiers and Propositional AttitudesUploaded bymychief
- sol_tarea_1_2007Uploaded byCamilo Ignacio Arriagada Jara
- 38 FunctionsUploaded byAlin Fazacas
- C3 Graphs DerivativesUploaded bydmal88
- Manual AUploaded byLucia Pardon
- 8a_a0124541r_Douglas Tan (1)Uploaded byDouglas
- Temporal Prepositions and Their LogicUploaded byHarla Carley
- chap01 6thmathUploaded byNihalAbou-Ghaly
- AGFPUploaded byAnonymous lfw4mfCm
- GW_FLOSA_TOTH_ver_1Uploaded byCris Sosa
- What is a FunctionUploaded bylakadia taylor
- williamsnotebookUploaded byapi-346525459
- Malmquist Productivity Index With Grey DataUploaded bymaria shinta
- DC- Worksheet #5Uploaded byBpsuCwts
- circ03_2014Uploaded byJess Peralta
- Incoming 9th Course Description 2018Uploaded bysell_items2003
- Activity Guide - Human Machine Language - Part 2_ Min-To-FrontUploaded byVanderlei Sousa
- Summative Test in Gen. Math-1Uploaded byJosam Montero Ford
- Ainotes Module2 UpdatedUploaded byChaithra Jayram

- Topic 6 HashingUploaded byHaire Kahfi Maa Takaful
- Academic CalendarUploaded byHaire Kahfi Maa Takaful
- Surah Ad DhuaUploaded byHaire Kahfi Maa Takaful
- Branches of Philosophy Part IIUploaded byHaire Kahfi Maa Takaful
- CSC510Uploaded byHaire Kahfi Maa Takaful
- Cyber TerrorismUploaded byHaire Kahfi Maa Takaful
- LEC 02 02 Epistemology Islamic Perspective IIUM AzramUploaded byHaire Kahfi Maa Takaful
- PHI454_2013_01Uploaded byHaire Kahfi Maa Takaful
- MAT423_2013_01Uploaded byHaire Kahfi Maa Takaful
- CSC563_2014_01Uploaded byHaire Kahfi Maa Takaful
- CSC662_2013_01Uploaded byHaire Kahfi Maa Takaful
- COWAY NEW PRICEUploaded byHaire Kahfi Maa Takaful
- CSC520 2014 JUNEUploaded byHaire Kahfi Maa Takaful
- CSC520 APRIL 2011 UITMUploaded byHaire Kahfi Maa Takaful
- Solution Test1 Qmt400Uploaded byHaire Kahfi Maa Takaful
- Topic2_ArrayBasedListUploaded byHaire Kahfi Maa Takaful
- Course Info Bab401Uploaded byHaire Kahfi Maa Takaful
- TEST2QMT400 sem1 2031_answer.docxUploaded byHaire Kahfi Maa Takaful
- CSC510Uploaded byHaire Kahfi Maa Takaful
- CSC435_12_JANUploaded byHaire Kahfi Maa Takaful
- Print - How to Use BlueJUploaded byHaire Kahfi Maa Takaful

- DMS Notes.pdfUploaded byUtkarsh
- CH2_Prolog - RepresentationUploaded bySharmistha Mukherjee
- Necessary Substances: An Exercise in Axiomatic MetaphysicsUploaded byAdam Labecki
- StereotypeUploaded byapi-3727017
- What is Logical Form_ Ernest Lepore & Kirk Ludwig.pdfUploaded byonlineyyk
- Artificial Intelligence VOLUME II (AI Course Book 2)Uploaded byRey Tiburon
- risk45Uploaded byimran_chaudhry
- cs201Uploaded byminuck12
- Wilfrid Hodges Logic 1980Uploaded byIsidora Popescu
- De Morgan, Formal Logic, Or, The Calculus of Inference, Necessary and Probable (1847)Uploaded byHoracio Gianneschi
- Discrete BookUploaded byksr131
- Real AnalysisUploaded byAkash Mahalik
- Copy of Discrete-MathematicsUploaded byRicardo Elias Roche
- Tremblay LecturesUploaded byIshaan Gupta
- document.pdfUploaded byIskandar Agung Agung
- Ai Unit-2 - CopyUploaded byThyagu Rajan
- BiomedicalUploaded byMATHANKUMAR.S
- Formas lógicas y forma lógicaUploaded byelias
- Soft Computing EbooksUploaded byPawan Rajwanshi
- Sentence LogicUploaded byTaran Parch
- 1211.6258Uploaded byjguerra3d
- Jacques Dubucs, Michel Bourdeau, Eds. Constructivity and Computability in Historical and Philosophical PerspectiveUploaded byedgardo2105
- Friederick Moltmann Existence-paperUploaded byarashbehboodi
- 20117862Uploaded byMatias Osta Vélez
- Meaning 0001Uploaded byBokor Anamaria
- First Order LogicUploaded bymohammed shahid
- mfcs-hand-book.docUploaded bySridhar Rachamalla
- Critical Thinker's CharacteristicsUploaded bysandro naasi
- Speculations VI Giuseppe LongoUploaded byziggy00zaggy
- MCS-013Uploaded byArka Prava Paul

## Much more than documents.

Discover everything Scribd has to offer, including books and audiobooks from major publishers.

Cancel anytime.