Question

(Mid Term, Marks = 10, Lesson No. )

CONNECTED = {| is a connected undirected graph}. Give an algorithm that decides this language and show that CONNECTED € P.

Answer:

Question

(Mid Term, Marks = 5, Lesson No. )

In numbers 561, 2984. Show that these numbers relatively prime or not.

Answer:

Question

(Mid Term, Marks = 5, Lesson No. )

Is the following statement TRUE or FALSE? Justify your answer. ∀x∀y∃z [ R1(x, y, z) ∨ R1(y, x, z) ∨ R2(x, y) ], where universe is the set of positive integers and R1 = MINUS, that is, MINUS (x, y, z) = TRUE whenever x – y = z, and R2(x, y) = TRUE whenever x = y.

Answer:

Question

(Mid Term, Marks = 5, Lesson No. )

Show that the set of all positive real numbers has one-to-one correspondence with the set of all real numbers.

Answer:

Question

(Mid Term, Marks = 5, Lesson No. )

Consider the pair of numbers 64 and 32965. Show that they are relatively prime or not.

Answer:

Question

(Mid Term, Marks = 10, Lesson No. )

In the Silly Post Correspondence Problem (SPCP), the iop string in each pairhas the same length as the bottom string. Show that SPCP is decidable.

Answer:

Question

(Mid Term, Marks = 10, Lesson No. )

Show that some true statements in TH(N, +, x) are not provable.

Answer:

Question

(Mid Term, Marks = 5, Lesson No. )

Show that the set of all odd integers has one-to-one correspondence with the set of all even integers.

Answer:

Question

(Mid Term, Marks = 5, Lesson No. )

Consider the pair of numbers 234 and 399. Show that they are relatively prime or not.

Answer:

Question

(Mid Term, Marks = 10, Lesson No. )

Show that set of provable statements in TH(N, +, x) is turing recognizable.

Answer:

Select a course code for Subjective Questions:

ACC311 CS001 CS101 CS201 CS301 CS607 CS701 CS702 CS703 CS704 CS707 CS708 CS710 CS711 CS718 CS721 CS724 ECO401 ECO403 ENG101 ENG301 MGT703 MTH501 STA301

Select a course code for Objective Questions:

ACC311 ACC501 BIF101 BIF401 BIF501 BIO101 BIO201 BIO202 BIO203 BIO204 BIO301 BIO302 BIO303 BIO401 BIO503 BNK603 BT101 BT201 BT301 BT302 BT401 BT402 BT403 BT404 BT405 BT406 BT501 BT504 BT505 BT604 CHE201 CHE301 CS001 CS101 CS201 CS202 CS204 CS301 CS302 CS304 CS311 CS401 CS402 CS403 CS408 CS501 CS502 CS504 CS506 CS508 CS601 CS602 CS604 CS605 CS607 CS609 CS610 CS614 CS707 CS710 ECO401 ECO402 ECO403 ECO404 EDU302 EDU401 EDU402 EDU501 EDU601 ENG101 ENG201 ENG301 ENG501 FIN611 FIN624 FIN625 ISL201 IT430 MCM101 MCM301 MGMT623 MGT101 MGT211 MGT301 MGT401 MGT402 MGT501 MGT502 MGT503 MGT510 MGT601 MGT603 MKT501 MKT610 MKT630 MTH101 MTH202 MTH302 MTH501 MTH601 MTH634 PAK301 PHY101 PHY301 PSY101 PSY403 PSY502 PSY512 SOC101 SOC301 SOC401 STA301 STA630 STA641 ZOO102 ZOO401 ZOO501 ZOO502 ZOO503 ZOO504 ZOO505 ZOO506 ZOO510 ZOO630