Stærðfræð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.

Homework 2

  1. Exercise 12 of section 1.2 on page 26 of the textbook.

  2. Exercise 20 of section 1.2 on page 27 of the textbook. Use the rules on page 24, not a truth table.

  3. Exercise 54 of section 1.2 on page 28 of the textbook. Justify each answer.

  4. Exercise 10 a), c), e) of section 1.3 on page 40 of the textbook.

  5. 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 Windows environment for it. Then you can try your hand at solving exercises 51-54 on page 43 of the textbook.
hh (hja) hi.is, September 6th, 2005.