\input{ugeseddelpreamble}

\begin{document}

\hoved{4}

\f{23/2}
Vi gennemgår afsnit 3.2 og 3.3 samt afsnittet ``Structural Induction'' i
noterne undtagen eksemplet s.\ 1 n.\ til s.\ 2 m.
Derefter gennemgår vi afsnit 2.3.

\f{2/3}
Vi gennemgår afsnit 2.4--2.5 undtagen afsnittene ``Representations of
integers'' og ``Al\-go\-rithms for integer operations''.

\e{9}

Giv en rekursiv definition af binære træer med højde $h$, hvor højden af træet
er defineret som antallet af knuder på den længste sti fra roden til et blad.
Brug strukturel induktion til at vise, at et binært træ af højde $h$ har højst
$2^h-1$ knuder.

\bigskip

3.\ udgave:\\
Afsnit 3.3: 18, $24^{(*)}$, 27, 28, 30, $32^{(**)}$, 36, 38\\
Afsnit 2.3: 5, 6, 13, 21, 22, 23 

\bigskip

4.\ udgave:\\
Afsnit 3.3: 18, $24^{(*)}$, 27, 28, 30, $32^{(**)}$, 36, 38\\
Afsnit 2.3: 5, 6, 13, 21, 22, 23 

\bigskip

$(*)$: Begrebet ``well-formed formula'' defineres i eks.\ 8.

$(**)$: Du behøver ikke at give et formelt bevis for, at din løsning
er rigtig.
\end{document}