|
DataMuseum.dkPresents historical artifacts from the history of: MIKADOS |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about MIKADOS Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 4992 (0x1380)
Types: TextFile
Notes: Mikados_K
Names: »KURSUS.K«
└─⟦eb89399bc⟧ Bits:30008990 SOM ISFORIG, MEN KUN K-FILER
└─⟦this⟧ »KURSUS.K«
KURSUS I EMNEKREDSEN LOGIK OG MÆNGDELÆRE
i forårssemestret 1980.
Kursets samlede omfang var ca. 60 konfrontationstimer, i forbindelse med
hvilke følgende tekster blev læst:
Bell, J.L. and Machover, M. A Course in Mathematical Logic.
North-Holland Publishing Company, 1977, Amsterdam.
Ch. 1. Beginning mathematical logic. s. 5-48
-1. General considerations.
-2. Structures and formal languages.
-3. Higher-order languages.
-4. Basic syntax.
-5. Notational conventions.
-6. Propositional semantics.
-7. Propositional tableaux.
-8. The elimination theorem for propositional tableaux.
-9. Completeness of propositional tableaux.
-10. The propositional calculus.
-11. The propositional calculus and tableaux.
-12. Weak completeness of the propositional calculus.
-13. Strong completeness of the propositional calculus.
-14. Propositional logic based on and .
-15. Propositional logic based on , , and .
-16. Historical and bibliographical remarks.
Ch. 2. First-order logic. s. 48-93
-1. First-order semantics.
-2. Freedom and bondage.
-3. Substitution.
-4. First-order tableaux.
-5. Some "book-keeping" lemmas.
-6. The elimination theorem for first-order tableaux.
-7. Hintikka sets.
-8. Completeness of first-order tableaux.
Ch. 3. First-order logic (Continued). s. 108-124
-1. The first-order predicate calculus.
-2. The first-order predicate calculus and tableaux.
-3. Completeness of the first-order predicate calculus.
-4. First order-logic based on .
-5. What have we achieved?
-6. Historical and bibliographical remarks.
Ch. 5. Model theory. s. 161-173
-1. Basic ideas of model theory.
-2. The Løwenheim-Skolem theorems.
Charles Pinter: Set Theory, Addison-Wesley 1971.
Ch. 0. Historical introduction. s. 1-20
Ch. 1. Classes and sets. s. 21-50
Ch. 5. The axiom of choice and related principles. s. 111-123
Ch. 7. Finite and infinite sets. s. 138-149
Ch. 8. Arithmetic of cardinal numbers. s. 150-165
I arbejdet med sidstnævnte bog er der lagt mere vægt på at få en overordnet
videnskabsteoretisk forståelse af mængdekonstruktioner, end på at opnå en
egentlig teknisk beherskelse af stoffet, mens der i arbejdet med logikteksten
er lagt vægt på beherskelse af tableau-teknikken i 1.ordens prædikat-logik,
og på forståelse af centrale sætninger som Løwenheim-Skolem teoremet.
Kursets deltagere har sideløbende med kurset deltaget i seminarrækken:
Matematikkens Videnskabsteori, afholdt ved Matematisk Institut ved Københavns
Universitet. I løbet af seminarrækken er følgende emner blevet behandlet:
J.S.Mills talopfattelse.
Frege: Grundlagen der Aritmetik.
Russells matematikopfattelse og filosofi.
Gødels ufuldstændighedssætninger.
Intuitionisme, Brouwer.
Lakatos: Proofs and refutations.
Bloor: Knowledge and social imagery.
Kurset har således udover at dække emnekredsen 7,B1 (se særstudieordning for
matematik, oktober 75), haft tilknytning til knudepunkterne 7, A2 og A3 om-
handlende "Matematikkens erkendelsesteoretiske status" og "Aksiomatisk be-
handling af områder i faget".
Evalueringskriterier:
For at gennemføre kurset skal man
1) have taget aktivt del i diskussionerne af stoffet,
2) have foretaget en selvstændig fremlæggelse af et stykke af stoffet, og
3) have bidraget aktivt til løsningen af opgaver.
Afgørelsen af, om 1) - 3) er opfyldt, træffes af undertegnede.
Stig Andur Pedersen
juni 1980.
0x0000…002a Line {l1=0x28, l2=»KURSUS I EMNEKREDSEN LOGIK OG MÆNGDELÆRE«, l3=0x28}
0x002a…0043 Line {l1=0x17, l2=»i forårssemestret 1980.«, l3=0x17}
0x0043…0046 Line {l1=0x01, l2=» «, l3=0x01}
0x0046…0090 Line {l1=0x48, l2=»Kursets samlede omfang var ca. 60 konfrontationstimer, i forbindelse med«, l3=0x48}
0x0090…00b4 Line {l1=0x22, l2=»hvilke følgende tekster blev læst:«, l3=0x22}
0x00b4…00b7 Line {l1=0x01, l2=» «, l3=0x01}
0x00b7…00f4 Line {l1=0x3b, l2=»Bell, J.L. and Machover, M. A Course in Mathematical Logic.«, l3=0x3b}
0x00f4…0128 Line {l1=0x32, l2=»North-Holland Publishing Company, 1977, Amsterdam.«, l3=0x32}
0x0128…0174 Line {l1=0x4a, l2=»Ch. 1. Beginning mathematical logic. s. 5-48«, l3=0x4a}
0x0174…0192 Line {l1=0x1c, l2=» -1. General considerations.«, l3=0x1c}
0x0192…01b9 Line {l1=0x25, l2=» -2. Structures and formal languages.«, l3=0x25}
0x01b9…01d7 Line {l1=0x1c, l2=» -3. Higher-order languages.«, l3=0x1c}
0x01d7…01eb Line {l1=0x12, l2=» -4. Basic syntax.«, l3=0x12}
0x01eb…0209 Line {l1=0x1c, l2=» -5. Notational conventions.«, l3=0x1c}
0x0209…0228 Line {l1=0x1d, l2=» -6. Propositional semantics.«, l3=0x1d}
0x0228…0246 Line {l1=0x1c, l2=» -7. Propositional tableaux.«, l3=0x1c}
0x0246…0280 Line {l1=0x38, l2=» -8. The elimination theorem for propositional tableaux.«, l3=0x38}
0x0280…02ae Line {l1=0x2c, l2=» -9. Completeness of propositional tableaux.«, l3=0x2c}
0x02ae…02d0 Line {l1=0x20, l2=»-10. The propositional calculus.«, l3=0x20}
0x02d0…02ff Line {l1=0x2d, l2=»-11. The propositional calculus and tableaux.«, l3=0x2d}
0x02ff…0336 Line {l1=0x35, l2=»-12. Weak completeness of the propositional calculus.«, l3=0x35}
0x0336…036f Line {l1=0x37, l2=»-13. Strong completeness of the propositional calculus.«, l3=0x37}
0x036f…039b Line {l1=0x2a, l2=»-14. Propositional logic based on and .«, l3=0x2a}
0x039b…03cc Line {l1=0x2f, l2=»-15. Propositional logic based on , , and .«, l3=0x2f}
0x03cc…03fa Line {l1=0x2c, l2=»-16. Historical and bibliographical remarks.«, l3=0x2c}
0x03fa…03fd Line {l1=0x01, l2=» «, l3=0x01}
0x03fd…044a Line {l1=0x4b, l2=»Ch. 2. First-order logic. s. 48-93«, l3=0x4b}
0x044a…0467 Line {l1=0x1b, l2=» -1. First-order semantics.«, l3=0x1b}
0x0467…0482 Line {l1=0x19, l2=» -2. Freedom and bondage.«, l3=0x19}
0x0482…0496 Line {l1=0x12, l2=» -3. Substitution.«, l3=0x12}
0x0496…04b2 Line {l1=0x1a, l2=» -4. First-order tableaux.«, l3=0x1a}
0x04b2…04d4 Line {l1=0x20, l2=» -5. Some "book-keeping" lemmas.«, l3=0x20}
0x04d4…050c Line {l1=0x36, l2=» -6. The elimination theorem for first-order tableaux.«, l3=0x36}
0x050c…0521 Line {l1=0x13, l2=» -7. Hintikka sets.«, l3=0x13}
0x0521…054d Line {l1=0x2a, l2=» -8. Completeness of first-order tableaux.«, l3=0x2a}
0x054d…0550 Line {l1=0x01, l2=» «, l3=0x01}
0x0550…059f Line {l1=0x4d, l2=»Ch. 3. First-order logic (Continued). s. 108-124«, l3=0x4d}
0x059f…05c9 Line {l1=0x28, l2=» -1. The first-order predicate calculus.«, l3=0x28}
0x05c9…0600 Line {l1=0x35, l2=» -2. The first-order predicate calculus and tableaux.«, l3=0x35}
0x0600…063a Line {l1=0x38, l2=» -3. Completeness of the first-order predicate calculus.«, l3=0x38}
0x063a…065e Line {l1=0x22, l2=» -4. First order-logic based on .«, l3=0x22}
0x065e…067b Line {l1=0x1b, l2=» -5. What have we achieved?«, l3=0x1b}
0x067b…06a9 Line {l1=0x2c, l2=» -6. Historical and bibliographical remarks.«, l3=0x2c}
0x06a9…06ac Line {l1=0x01, l2=» «, l3=0x01}
0x06ac…06fb Line {l1=0x4d, l2=»Ch. 5. Model theory. s. 161-173«, l3=0x4d}
0x06fb…071e Line {l1=0x21, l2=» -1. Basic ideas of model theory.«, l3=0x21}
0x071e…0743 Line {l1=0x23, l2=» -2. The Løwenheim-Skolem theorems.«, l3=0x23}
0x0743…0746 Line {l1=0x01, l2=» «, l3=0x01}
[…0x1…]
0x0749…077b Line {l1=0x30, l2=»Charles Pinter: Set Theory, Addison-Wesley 1971.«, l3=0x30}
0x077b…077e Line {l1=0x01, l2=» «, l3=0x01}
0x077e…07ca Line {l1=0x4a, l2=»Ch. 0. Historical introduction. s. 1-20«, l3=0x4a}
0x07ca…0817 Line {l1=0x4b, l2=»Ch. 1. Classes and sets. s. 21-50«, l3=0x4b}
0x0817…0866 Line {l1=0x4d, l2=»Ch. 5. The axiom of choice and related principles. s. 111-123«, l3=0x4d}
0x0866…08b5 Line {l1=0x4d, l2=»Ch. 7. Finite and infinite sets. s. 138-149«, l3=0x4d}
0x08b5…0904 Line {l1=0x4d, l2=»Ch. 8. Arithmetic of cardinal numbers. s. 150-165«, l3=0x4d}
0x0904…0907 Line {l1=0x01, l2=» «, l3=0x01}
[…0x1…]
0x090a…0957 Line {l1=0x4b, l2=»I arbejdet med sidstnævnte bog er der lagt mere vægt på at få en overordnet«, l3=0x4b}
0x0957…09a2 Line {l1=0x49, l2=»videnskabsteoretisk forståelse af mængdekonstruktioner, end på at opnå en«, l3=0x49}
0x09a2…09f1 Line {l1=0x4d, l2=»egentlig teknisk beherskelse af stoffet, mens der i arbejdet med logikteksten«, l3=0x4d}
0x09f1…0a3e Line {l1=0x4b, l2=»er lagt vægt på beherskelse af tableau-teknikken i 1.ordens prædikat-logik,«, l3=0x4b}
0x0a3e…0a85 Line {l1=0x45, l2=»og på forståelse af centrale sætninger som Løwenheim-Skolem teoremet.«, l3=0x45}
0x0a85…0a88 Line {l1=0x01, l2=» «, l3=0x01}
0x0a88…0ad0 Line {l1=0x46, l2=»Kursets deltagere har sideløbende med kurset deltaget i seminarrækken:«, l3=0x46}
0x0ad0…0b1f Line {l1=0x4d, l2=»Matematikkens Videnskabsteori, afholdt ved Matematisk Institut ved Københavns«, l3=0x4d}
0x0b1f…0b6a Line {l1=0x49, l2=»Universitet. I løbet af seminarrækken er følgende emner blevet behandlet:«, l3=0x49}
0x0b6a…0b6d Line {l1=0x01, l2=» «, l3=0x01}
0x0b6d…0b87 Line {l1=0x18, l2=»J.S.Mills talopfattelse.«, l3=0x18}
0x0b87…0ba9 Line {l1=0x20, l2=»Frege: Grundlagen der Aritmetik.«, l3=0x20}
0x0ba9…0bd4 Line {l1=0x29, l2=»Russells matematikopfattelse og filosofi.«, l3=0x29}
0x0bd4…0bf7 Line {l1=0x21, l2=»Gødels ufuldstændighedssætninger.«, l3=0x21}
0x0bf7…0c10 Line {l1=0x17, l2=»Intuitionisme, Brouwer.«, l3=0x17}
0x0c10…0c32 Line {l1=0x20, l2=»Lakatos: Proofs and refutations.«, l3=0x20}
0x0c32…0c58 Line {l1=0x24, l2=»Bloor: Knowledge and social imagery.«, l3=0x24}
0x0c58…0c5b Line {l1=0x01, l2=» «, l3=0x01}
0x0c5b…0caa Line {l1=0x4d, l2=»Kurset har således udover at dække emnekredsen 7,B1 (se særstudieordning for«, l3=0x4d}
0x0caa…0cf8 Line {l1=0x4c, l2=»matematik, oktober 75), haft tilknytning til knudepunkterne 7, A2 og A3 om-«, l3=0x4c}
0x0cf8…0d44 Line {l1=0x4a, l2=»handlende "Matematikkens erkendelsesteoretiske status" og "Aksiomatisk be-«, l3=0x4a}
0x0d44…0d63 Line {l1=0x1d, l2=»handling af områder i faget".«, l3=0x1d}
0x0d63…0d66 Line {l1=0x01, l2=» «, l3=0x01}
0x0d66…0d7d Line {l1=0x15, l2=»Evalueringskriterier:«, l3=0x15}
0x0d7d…0da0 Line {l1=0x21, l2=»For at gennemføre kurset skal man«, l3=0x21}
0x0da0…0da3 Line {l1=0x01, l2=» «, l3=0x01}
0x0da3…0dda Line {l1=0x35, l2=»1) have taget aktivt del i diskussionerne af stoffet,«, l3=0x35}
0x0dda…0dde Line {l1=0x02, l2=» «, l3=0x02}
0x0dde…0e29 Line {l1=0x49, l2=»2) have foretaget en selvstændig fremlæggelse af et stykke af stoffet, og«, l3=0x49}
0x0e29…0e2c Line {l1=0x01, l2=» «, l3=0x01}
0x0e2c…0e5f Line {l1=0x31, l2=»3) have bidraget aktivt til løsningen af opgaver.«, l3=0x31}
0x0e5f…0e62 Line {l1=0x01, l2=» «, l3=0x01}
0x0e62…0ea2 Line {l1=0x3e, l2=»Afgørelsen af, om 1) - 3) er opfyldt, træffes af undertegnede.«, l3=0x3e}
0x0ea2…0ea5 Line {l1=0x01, l2=» «, l3=0x01}
0x0ea5…0ee5 Line {l1=0x3e, l2=» Stig Andur Pedersen«, l3=0x3e}
0x0ee5…0f1c Line {l1=0x35, l2=» juni 1980.«, l3=0x35}
0x0f1c…0f20 00 00 69 20 ┆ i ┆
0x0f20…0f40 66 6f 72 62 69 6e 64 65 6c 73 65 20 6d 65 64 48 22 68 76 69 6c 6b 65 20 66 7c 6c 67 65 6e 64 65 ┆forbindelse medH"hvilke følgende┆
0x0f40…0f60 20 74 65 6b 73 74 65 72 20 62 6c 65 76 20 6c 7b 73 74 3a 22 01 20 01 21 22 6c 6f 67 69 6b 2d 62 ┆ tekster blev læst:" !"logik-b┆
0x0f60…0f80 6f 67 65 6e 2c 20 6a 65 67 20 6d 61 6e 67 6c 65 72 20 74 69 74 6c 65 6e 22 21 4a 43 68 2e 20 31 ┆ogen, jeg mangler titlen"!JCh. 1┆
0x0f80…0fa0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ┆ ┆
[…0x1f…]