Register

#Gate2003
closed

• closed by
1,298 views
Voting & Accepting an answer helps improve the community
← Previous · Context Free languag...Next → · aptitude
← Previous in category · gate CSE discrete ma...Next in category → · Answer is provided a...
Position:
Show:

Related questions

61 61 votes
5 answers 5 answers
14.7k
14.7k views
Kathleen asked Sep 17, 2014
14,670 views
GATE CSE 2003 | Question: 60, ISRO2007-45
A program consists of two modules executed sequentially. Let $f_1(t)$ and $f_2(t)$ respectively denote the probability density functions of time taken to execute the two ...
178 178 votes
7 answers 7 answers
28.4k
28.4k views
Kathleen asked Sep 16, 2014
28,354 views
GATE CSE 2003 | Question: 33
Consider the following formula and its two interpretations \(I_1\) and \(I_2\).\(\alpha: (\forall x)\left[P_x \Leftrightarrow (\forall y)\left[Q_{xy} \Leftrightarrow \neg...
79 79 votes
8 answers 8 answers
27.1k
27.1k views
Kathleen asked Sep 16, 2014
27,132 views
GATE CSE 2003 | Question: 32
Which of the following is a valid first order formula? (Here \(\alpha\) and \(\beta\) are first order formulae with $x$ as their only free variable)$((∀x)[α] ⇒ (∀x)[β]) ⇒...
84 84 votes
6 answers 6 answers
26.4k
26.4k views
Kathleen asked Sep 17, 2014
26,439 views
GATE CSE 2003 | Question: 72
The following resolution rule is used in logic programming.Derive clause $(P \vee Q)$ from clauses $(P\vee R),(Q \vee ¬R)$Which of the following statements related to thi...