Semestral TEST TICT 2020 PDF

Preview

Summary

student project...

Description

SEMESTRAL(TEST(ON(THE(COURSE(OF(THE(THEORY(OF(ICT(

WS(2020/2021(

Fill$in$this$document$in$Acrobat$Reader$and$save$the$result$in$Moodle.$ ! student's!name:!! ???

date:! 14-dec-2020

! 1.#How#many#subsets#has#the#power#set#of#an#empty#set?#Mark#all#correct#answers.# 0 (no)# 1 (one) 2 (two) 3 (three) ! 2.#What#is#the#Cartesian#product#of###A = {1,2}###and###B = {a,b}?##Mark#all#correct#answers.# {(1,b) , (2,a)} {(1,a) , (2,b)} {(1,a) , (2,b) , (a,2) , (b,1)} {(1,a) , (2,a) , (1,b) , (2,b)} ! 3.#Consider#the#following#machine#defined#here.#Mark#all#correct#statements.# #

This#machine#is#not#a#finite-state#because#it#has#a#potential#never-ending#loop.#

#

This#machine#accepts#an#infinite#number#of#correct#input#combinations.#

#

This#machine#generates#an#infinite#number#of#correct#output#combinations.#

#

This#machine#needs#a#stack#for#its#operation.#

# ! 4.# Consider#the#following#Prolog#program.#Which# of#the#following#queries# would# succeed#to#a# true# result?#Mark#all#correct#answers.# monkish(P) :- male(P), not married(P).

?- monkish(tom).

male(tom).

?- monkish(henry).

male(henry).

?- monkish(Who).

married(tom).

?- monkish(_).

! 5.#Consider# ##[X , Y | Z] = [a , b , c]###to#be#a#Prolog#expression.# What#of#the#following#results# would#be#answered#during#an#attempt#for#succeed?#Mark#all#correct#answers.# X=a, Y=b, Z=c. X=a, Y=b, Z=[c]. X=[a], Y=[b], Z=c. false....