Logik og Diskret Matematik (Forår 2013)

Denne kursusbeskrivelse udvider og supplerer kursusbeskrivelsen på kursus.ruc.dk. Undervisningen finder sted i Hus 27.2, lokale III, på mandage 1300-1600 og torsdage 0915-1200.

 

Mere detaljeret information kan findes i nedenstående kursusplan (med forbehold for ændringer).

 

#

Dag

Pensum

Sider

Opgaver

Afleveringer

1

Mandag 11/3

1.1 og slides udsagnslogik

1-16

1.1.1, 1.1.3, 1.1.5, 1.1.7, 1.1.13, 1.1.25, 1.1.27, 1.1.37, 1.1.44, 1.1.49

 

2

Torsdag

14/3

1.2

21-27

1.1.51, 1.2.5, 1.2.7, 1.2.9, 1.2.11, 1.2.42, 1.2.43, 1.2.56, 1.2.60ab, 1.2.61

 

3

Mandag 18/3

1.3 og slides prædikatlogik

30-46

1.3.1, 1.3.5, 1.3.7, 1.3.12, 1.3.17, 1.3.25, 1.3.51, 1.3.59

1.1.50, 1.2.6, 1.2.22, 1.2.44

4

Torsdag 21/3

1.4

50-58

ej ex. 8, 16

1.4.1, 1.4.9, 1.4.20ab, 1.4.27ab, 1.4.29ab, 1.4.33abc

Miniprojekt 1 udleveres

5

Mandag 25/3

1.5, 1.6, 1.7

63-72,

75-85,

86-94

1.5.1, 1.5.3cd, 1.5.5, 1.5.13ab, 1.5.33, 1.6.2, 1.6.10, 1.6.15, 1.6.39

1.3.18abc, 1.3.50, 1.3.52, 1.4.50, 1.4.52

6

Torsdag 4/4

2.1, 2.2

111-128

2.1.7, 2.1.15, 2.1.17, 2.1.21, 2.1.28ab, 2.2.4, 2.2.16, 2.2.45

Miniprojekt 1 afleveres kl. 0915

7

Mandag 8/4

2.3

133-146

2.3.4a, 2.3.10, 2.3.11, 2.3.19ab, 2.3.25, 2.3.28, 2.3.29, 2.3.35, 2.3.36, 2.3.38, 2.3.76

1.5.24, 1.5.30, 1.6.16,

2.2.20, 2.2.46

8

Torsdag 11/4

3.1, A-3

167-172, 176-177

1.5.31, A-3.1, A-3.3, 3.1.1, 3.1.3, 3.1.9, 3.1.13

9

Mandag 15/4

3.2 (evt. A-2)

180-190

3.2.1abcd, 3.2.3, 3.2.17, 3.2.19ab

2.3.18ab, 2.3.68, A-3.2, 3.1.6

10

Torsdag 18/4

3.3

193-199

ej ex. 5, 6

3.1.14, 3.3.13, 3.3.23, 3.3.27

Miniprojekt 2 udleveres

11

Mandag

22/4

4.1,4.2

263-294

4.1.3, 4.1.9 (brug ex. 1), 4.1.33, 4.1.47, 4.2.27, 4.2.42

3.2.6, 3.2.18, 3.3.4, 3.3.12ab

12

Torsdag 25/4

4.3

294-311

4.3.1ab, 4.3.3ab, 4.3.7ac, 4.3.25a, 4.3.26ac

 

13

Mandag 29/4

12.1

785-793

12.1.5, 12.1.7, 12.1.8, 12.1.13, 12.1.21

4.1.6, 4.2.4, 4.3.24ac

14

Torsdag 2/5

12.5

827-837

ej ex. 2

12.5.1, 12.5.3, 12.5.7, 12.5.11, 12.5.15

Miniprojekt 2 afleveres kl. 0915

Intensiv

 

Mandag 10/6

Spørgetime

 

 

 

Torsdag 13/6

Eksamen

 

Husk portefølje bestående af afleveringer og miniprojekter!