First set of exercises!

Exercise 3 p.36 and Exercise 9 p.44. For rules see further down the page.

Added note: Hint for Ex 3(a): Use result of Ex.2(b), also on p.36.

Second set of exercises!

Exercise 7 p.56 and Exercise 14, (d) and (e) p. 69. To be handed in not later than November 19th.

Third and final set of exercises!

Exercises in my Mat-Y notes: Øvelse 3.1 p. AM12 (without the final question) and Øvelse 3.3 p. AM13.Page numbers are the same in the 2001- and the 2002 edition of the notes. Answers to be handed in preferably before Christmas, but January 13 is also OK.

Logic E2002

Progress, plans, goto this page

Except for initial material posted here in danish, the homepage will be in english.

Questions/suggestions etc.: send an e-mail to: topsoe@math.ku.dk.

Lectures by Flemming Topsøe, Tuesdays, 3-5 p.m. in Aud. 7.

Formal info, see studienævnets oplysninger

We use: Hamilton, A. G.: Logic for mathematicians. Second edition. Cambridge University Press, Cambridge, 1988. viii+228 pp. ISBN 0-521-36865-0.
Hamiltons bog koster ca. 450 kr. og fås (forhåbentlig til alle senest 2 uger efter semesterstart) i Universitetsbogladen. klik her for en anmeldelse af bogen (MR) og her for endnu en (Zbl) or look here (Amazon).

I now regret that I did not use a more modern and concise book, namely the following one: Ebbinghaus, Flum and Thomas: "Mathematical Logic", Springer (2.nd edition, 1994).

Mange vil sikkert også have glæde af at se i den netop udkomne bog: "Moderne elementær logik" af Vincent Hendricks og Stig Andur Pedersen (begge RUC). Fra Høst og Søn 2002. se her!.

Det er muligt jeg første gang gennemgår stof fra Mat Y-kurset, se her for elektronisk adgang til noterne, udgave 2002 eller se her for god indholdsfortegnelse til noterne, 2001 eller, for specielt relevant bevis for udsagnslogikkens fuldstændighed, klik her og se under uge 17.

Links

Der er masser. Her er nogle. Pas på I ikke farer vild på nettet - og spilder tiden.

• dansk netværk i logik etc. Her findes en masse, specielt videre links til logik-relevante hjemmesider. Så jeg behøver egentlig ikke give flere links!
• Matilde. This is the homepage for Danish Mathematicians Newsletter. The latest issue (summer 2002) was devoted to foundations and contains stuff on logic which might interest you.
• GoedelsIncompletenessTheorem-fra Wolfram
• kursus fra IT-højskolen

Evaluering

Der er en del opgaver i Hamilton (og andre steder) og mange lette. Jeg vil stille et mindre antal opgaver i løbet af semestret. Foreløbig har jeg vedtaget, at der stilles opgaver som følger:

• Opgave stilles 24.09, besvarelse afleveres senest 1.10.
• Opgave stilles 29.10 (udskudt til 05.11), besvarelse afleveres senest 12.11 (udskudt til 19.11).
• Opgave stilles 17.12, besvarelse afleveres senest 13.01, 2003.

Jeg vil til sidste gang kun stille ganske få, evt. kun een enkeltopgave. Dermed er der gode muligheder for at få evalueringsdelen afsluttet inden jul.

Iøvrigt vil jeg lytte til ønsker, protester etc. efter 1.10 og evt. rette kravene ind efter en rimelighedsbetragtning.