Písemný test IB000: 11.1. 2007, var A... 1). Ve formalizmu deklarativního jazyka z přednášky zapište deklarace pro následující funkce: a)funkce f(x,y),jejížhodnotoumábýtabsolutníhodnotarozdílu x y. b)funkce g(x,y,z,t),jejížhodnotoumábýtminimumzhodnot x,y,z,t. c)funkce h(x,y,z,t),jejížhodnotoumábýtsoučettřívětšíchzevšechčtyřargumentů.(neboli ten nejmenší z argumentů nezapočítáme.) (Hodnocení 12 bodů. Pište řešení přímo k zadání na stejný(!) list papíru.) 1
Písemný test IB000: 11.1. 2007, var A... 2). Podívejte se na následující dva symbolicky zapsané algoritmy.(dobře si povšimněte drobných rozdílů v horních i dolních mezích cyklů.) 2 A: for a 1,2,3,...,n-1,n do for b 1,2 do for c 1,2,3,...,a-1,a do B: for a 0,1,2,...,n-1,n do for b 1,2,3,...,n-1,n do Vašim úkolem je rozhodnout a dokázat, který z algoritmů A nebo B vytiskne více či méně znaků x na svém výstupu(vzhledem ke společnému vstupu n). (Hodnocení 16 bodů. Pište řešení přímo k zadání na stejný(!) list papíru.)
Písemný test IB000: 11.1. 2007, var B... 1). Ve formalizmu deklarativního jazyka z přednášky zapište deklarace pro následující funkce: a)funkce f(x,y),jejížhodnotoumábýtabsolutníhodnotarozdílu y x. b)funkce g(x,y,z,u),jejížhodnotoumábýtminimumzhodnot x,y,z,u. c)funkce h(x,y,z,u),jejížhodnotoumábýtsoučintřívětšíchzevšechčtyřargumentů.(neboli ten nejmenší z argumentů nezapočítáme.) (Hodnocení 12 bodů. Pište řešení přímo k zadání na stejný(!) list papíru.) 3
Písemný test IB000: 11.1. 2007, var B... 2). Podívejte se na následující dva symbolicky zapsané algoritmy.(dobře si povšimněte drobných rozdílů v horních i dolních mezích cyklů.) 4 A: for a 1,2 do for b 1,2,3,...,n-1,n do for c 1,2,3,...,b-1,b do B: for a 0,1,2,...,n-1,n do for b 1,2,3,...,n-1,n do Vašim úkolem je rozhodnout a dokázat, který z algoritmů A nebo B vytiskne více či méně znaků x na svém výstupu(vzhledem ke společnému vstupu n). (Hodnocení 16 bodů. Pište řešení přímo k zadání na stejný(!) list papíru.)
Písemný test IB000: 11.1. 2007, var C... 1). Ve formalizmu deklarativního jazyka z přednášky zapište deklarace pro následující funkce: a)funkce f(x,y),jejížhodnotoumábýtabsolutníhodnotarozdílu x y. b)funkce g(x,y,z,v),jejížhodnotoumábýtmaximumzhodnot x,y,z,v. c)funkce h(x,y,z,v),jejížhodnotoumábýtsoučintřímenšíchzevšechčtyřargumentů.(neboli ten největší z argumentů nezapočítáme.) (Hodnocení 12 bodů. Pište řešení přímo k zadání na stejný(!) list papíru.) 5
Písemný test IB000: 11.1. 2007, var C... 2). Podívejte se na následující dva symbolicky zapsané algoritmy.(dobře si povšimněte drobných rozdílů vhorníchmezíchcyklů.aprošťouralydodávám,žepokudjenapsáno i,i+1,...,japlatí j < i, tak se jedná o prázdný seznam hodnot.) 6 A: for a 1,2,3,...,k-1,k do for b 1,2 do for c 1,2,3,...,a-b,a-b+1 do B: for a 1,2,3,...,k-1,k do for b 1,2,3,...,k-1,k do Vašim úkolem je rozhodnout a dokázat, který z algoritmů A nebo B vytiskne více či méně znaků x na svém výstupu(vzhledem ke společnému vstupu k). (Hodnocení 16 bodů. Pište řešení přímo k zadání na stejný(!) list papíru.)
Písemný test IB000: 11.1. 2007, var D... 1). Ve formalizmu deklarativního jazyka z přednášky zapište deklarace pro následující funkce: a)funkce f(x,y),jejížhodnotoumábýtabsolutníhodnotarozdílu y x. b)funkce g(x,y,z,w),jejížhodnotoumábýtmaximumzhodnot x,y,z,w. c)funkce h(x,y,z,w),jejížhodnotoumábýtsoučettřímenšíchzevšechčtyřargumentů.(neboli ten největší z argumentů nezapočítáme.) (Hodnocení 12 bodů. Pište řešení přímo k zadání na stejný(!) list papíru.) 7
Písemný test IB000: 11.1. 2007, var D... 2). Podívejte se na následující dva symbolicky zapsané algoritmy.(dobře si povšimněte drobných rozdílů vhorníchmezíchcyklů.aprošťouralydodávám,žepokudjenapsáno i,i+1,...,japlatí j < i, tak se jedná o prázdný seznam hodnot.) 8 A: for a 1,2 do for b 1,2,3,...,k-1,k do for c 1,2,3,...,b-a,b-a+1 do B: for a 1,2,3,...,k-1,k do for b 1,2,3,...,k-1,k do Vašim úkolem je rozhodnout a dokázat, který z algoritmů A nebo B vytiskne více či méně znaků x na svém výstupu(vzhledem ke společnému vstupu k). (Hodnocení 16 bodů. Pište řešení přímo k zadání na stejný(!) list papíru.)