StŠrfrŠimynstur Ý t÷lvunarfrŠi
Weekly note 2
This week we have covered sections 1.3 and 1.4 on quantifiers, and started
on section 1.5 on proofs. Next week we will finish that and go on to
sections 1.6 and 1.7 on sets.
Below are 5 excercises that you are to solve and turn in to your section
teacher before noon monday september 12th. Remember to mark your solutions
with the number of your section and the name of the section teacher. Also
below are few extra excercises that you can use to practice on and make sure
that you have understood the material. Some of them will be solved in the
sections if there is time. Note that solutions to all odd-numbered exercises
are at the back of the textbook.
- Exercise 12 of section 1.2 on page 26 of the textbook.
- Exercise 20 of section 1.2 on page 27 of the textbook. Use the rules on page 24, not a truth table.
- Exercise 54 of section 1.2 on page 28 of the textbook. Justify each answer.
- Exercise 10 a), c), e) of section 1.3 on page 40 of the textbook.
- Exercise 30 of section 1.3 on page 42 of the textbook.
Hand these exercices in before noon monday september 12th.
Also take a look at the following excercices:
- From section 1.2:
- 7, 19, 27, 49.
- From section 1.3:
- 5, 13, 27, 39, 41.
Some of them will be covered in the sections if there is time.
For those who want to try something new, it might be interesting to take a
look at Prolog. Prolog is a logic programming language and it is
discussed on page 39 of the textbook. You can get a
free Prolog compiler and
environment for it. Then you can try your hand at solving exercises 51-54 on page 43 of
hh (hja) hi.is, September 6th, 2005.