Stærðfræðimynstur í tölvunarfræði

Weekly note 1

In this first week we will cover the organization of the course and then start on material from Chapter 1 of the textbook. This includes propositions (section 1.1). Next week we will continue with propositions (1.2) and cover quantifiers (1.3 - 1.4).

Below are 5 excercises that you are to solve and turn in to your section teacher before noon monday september 5th. 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 1

  1. Exercise 6 a), b), e), f) in chapter 1.1 on page 16 of the textbook.

  2. Exercise 14 in chapter 1.1 on page 17 of the textbook.

  3. Exercise 16 a), c), d), e) in chapter 1.1 on page 20 of the textbook.

  4. Exercise 36 in chapter 1.1 on page 19 of the textbook.

  5. Exercise 60 in chapter 1.1 on page 20 of the textbook.

Hand these exercices in before noon monday september 5th.

Also take a look at the following excercices:
From chapter 1.1:
3, 9, 13, 25, 47, 57.

Please note that the above exercises are for you to practice on, and that they are only useful to you if you try to solve them yourselves (not by looking at someone else solving them!). The exercises in bold are more "interesting" than the others and it is more likely that they will be covered in the sections.

hh (hja) hi.is, August 31st, 2005.