Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

870 questions

988 answers


439 users

+3 votes


I'm trying to solve exercise 4 from the current exercise sheet using the presentation we got in our exercise lesson. However, I think there is a mistake in the table on page 20.

a -> b |- {} should be equivalent to 

  •    |- a and
  • b |- {}

and therefore the entry in the table should be SPLIT (|- a, b |- {})

or am I mistaken somewhere?

in * TF "Emb. Sys. and Rob." by (1.7k points)

1 Answer

+3 votes
Best answer
You are right, we will fix that error!
by (139k points)
selected by
Imprint | Privacy Policy