This page contains information, documents, and examples needed for the TI startgesprekken 2015/2016.

Read the theory that you find in file theorie startgesprek.pdf. Exercise by trying to determine the result to questions by using the derivation rules of the last chapter of the reader:
  1. s(s(s(z))) + z
  2. s(s(s(z))) + s(s(z))
  3. s(s(s(z))) + s(s(s(z)))

As optional material you may also consider further reading the current reader of one of our mathematics courses from which the above is extracted Inference systems - dictaat.pdf.

As optional material you may also try your hand with our experimental logic language compiler that we use in our courses Deduction engine.zip

Last edited Apr 9, 2015 at 8:43 AM by giuseppemag, version 6

Comments

No comments yet.