Wiki source code of Logik I, våren 2013

Last modified by jramo@helsinki_fi on 2024/03/27 10:36
Show last authors
1
2
3 = Logik I, våren 2013 =
4
5 {{note}}
6 Kursen är över - tack för denna vår. Ge respons för kursen och hjälp oss utveckla undervisningen! Kursens deltagare har per epost fått en länk till en responsblankett (mejla föreläsaren om ni tappat bort den).
7 {{/note}}
8
9 === Föreläsare ===
10
11 [[Åsa Hirvonen>>doc:mathstatHenkilokunta.Hirvonen, Åsa]]
12
13 === Aktuellt ===
14
15 * 21.5. Andra kursförhöret är rättat och resultaten dyker upp på anslagstavlan snarligen. Provpappren är hos föreläsaren - kom och bekanta er med dem enligt egen tidtabell (jag är vanligtvis på plats mellan 8 och 16, mejla i förväg om ni vill försäkra er om att jag är nåbar). Kontrollera också att era [[tilläggspoäng>>attach:logik_k13_lisapisteet0426.pdf]] stämmer.
16 * 13.5. [[Lösningar>>attach:mathstatKurssit.Logiikka I, kevät 2013.WebHome@logiikka1_k13_kurssikoe2_ratkaisut.pdf]] för andra kursförhöret (på finska). Möjlighet att se provpappren ordnas snarligen.
17 * Handledning i räknestugan under provveckan må 29.4. kl 12-16 och to 2.5. kl 12-17
18 * 26.4. [[Här>>attach:logik_k13_lisapisteet0426.pdf]] finns en förteckning över tilläggspoängen från räkneövningarna.
19 * 26.4. Provområdet i första kursförhöret är predikatlogiken.
20 * 16.4. Uppgift 6 i övning 12 begränsas till fallet n=2.
21 * 9.4. uppgift 4 i övning 11 behandlas som asteriskfri (dvs. lösningarna granskas inte)
22 * Uppgift 4 i övning 11 korrigerad 8.4.
23 * Uppgift 2 i övning 11 korrigerad 4.4.
24 * Möjlighet att se sina provpapper erbjuds i samband med måndagens föreläsning 25.3.
25 * 15.3. Uppgifter 13 och 14 i övning 9 rättade.
26 * 11.3. Ny (% class="confluence-link" %) (%%)[[(% class="confluence-link" %)tidtabell>>url:https://wiki.helsinki.fi/display/mathstatKurssit/Aukioloajat||shape="rect"]](%%) i räknestugan
27 * 4.3. P.g.a. prov- och mellanveckor förlängs inlämningstiden för korrigeringar av övning 6 till 13.3.
28 * Inga föreläsningar veckorna 9 och 10. Ingen handledning under vecka 10.
29 Logikhandledning i räknestugan under vecka 9: onsdag 15-16 (s), torsdag 11-12 (s) och 15-16 (fi). Allmän handledning i korridoren enligt vanlig tidtabell.
30 * 22.2. Gällande semantiska träd: märk att en satslogisk formel är satisfierbar om formeln har ett //slutligt// semantiskt träd (dvs. ett där reglerna tillämpats maximalt) med en öppen gren. Bäst är att alltid kontrollera sannignsvärdet på formeln för den värdering man får.
31 * 22.2. Provområdet för första kursförhöret är kapitel 1 i materialet (satslogik).
32
33 === Omfattning ===
34
35 10 sp.
36
37 === Typ ===
38
39 Ämnesstudier
40
41 === Undervisning ===
42
43 Undervisningen består av övningsuppgifter, handledning och föreläsningar. För studerandena ligger huvudtyngden på övningarna och på att självständigt studera kursmaterialet. Uppgifterna lämnas in skriftligen varefter motsvarande teman bahandlas på föreläsningarna. Både med övningar och material kan man få hjälp av handledarna i räknestugan på Exactums 3. våning. Kursen avläggs med två kursprov. Övningsuppgifterna ger tilläggspoäng.
44
45 === Förhandskunskaper ===
46
47 Kursen förutsätter inga speciella förhandskunskaper.
48
49 === Föreläsningstider ===
50
51 Veckorna 3-8 och 11-17, måndag 12-14 och torsdag 9-10 i rum B321.
52
53 Påsklov 28.3.-3.4.
54
55 === Övningsuppgifter ===
56
57 På kursen ges varje vecka övningsuppgifter som studerandena löser och lämnar in skriftligen. De första uppgifterna lämnas in redan den första föreläsningsveckan. Övningsuppgifterna är inte obligatoriska men de är en viktig del av kursmaterialet och i det närmaste oubärliga för att ta till sig kursens innehåll.
58
59 Kursen har inga traditionella räkneövningsgrupper. Istället löser man uppgifterna under handledning (eller enskilt) och lämnar in dem skriftligen. Handledning ges i Exactums räknestuga C323. En närmare tidtabell för när det finns logikhandledare på plats finns [[här>>doc:mathstatKurssit.Syksy 2012.Lineaarialgebra ja matriisilaskenta I, syksy 2012.Aukioloajat.WebHome]], men man får naturligtvis använda räknestugan också andra tider.
60
61 Kursen har två sorters räkneuppgifter. De märkta med asterisk kontrolleras och berättigar till poäng enbart då de är rätt lösta. Om de gått fel får man korrigera dem och lämna in dem på nytt. Också de asterisklösa uppgifterna lämnas in, men de kontrolleras inte detaljerat. Det ligger alltså på studerandens ansvar att kontrollera att de förstått de här uppgifterna rätt. Modellsvar på uppgifterna läggs upp på kursens nätsida.
62
63 Genom att lösa räkneuppgifter kan man få tilläggspoäng. För båda sorternas uppgifter (med och utan asterisk) kan man få maximalt 4 tilläggspoäng enligt följande tabell:
64
65 |=(((
66 Lösta
67 )))|=(((
68 ≥45%
69 )))|=(((
70 ≥60%
71 )))|=(((
72 ≥75%
73 )))|=(((
74 ≥90%
75 )))
76 |(((
77 Poäng
78 )))|(((
79 1
80 )))|(((
81 2
82 )))|(((
83 3
84 )))|(((
85 4
86 )))
87
88 Man kan alltså sammanlagt få 8 tilläggspoäng för räkneuppgifterna. Kursproven ger maximalt 24 poäng var.
89
90 ==== Uppgifter ====
91
92 [[Övning 1>>attach:h1.pdf]] Läs igenom anvisningarna om inlämning innan du börjar lösa uppgifterna.
93
94 [[Övning 2>>attach:h2_sve.pdf]] (uppgift 6 rättad 17.1.)
95
96 [[Övning 3>>attach:h3_sve.pdf]]
97
98 [[Övning 4>>attach:h4_sve.pdf]]
99
100 [[Övning 5>>attach:h5_sve.pdf]] (uppgift 14 rättad 8.2.)
101
102 [[Övning 6>>attach:h6_sve.pdf]] Sista inlämning av korrigeringar 13.3. (till skillnad från vad det står på uppgiftspappret)
103
104 [[Övning 7>>attach:h7_sve.pdf]] (returneras först på fredag 1.3.)
105
106 [[Övning 8>>attach:h8_sve.pdf]] (returneras 13.3.)
107
108 [[Övning 9>>attach:h9_sve.pdf]] (uppgifterna 13 och 14 rättade 15.3.)
109
110 [[Övning 10>>attach:h10_sve.pdf]]
111
112 [[Övning 11>>attach:h11_sve.pdf]] (uppgift 2 rättad 4.4., uppgift 4 rättad 8.4.)
113
114 [[Övning 12>>attach:h12_sve.pdf]] (uppgift 3 preciserad 15.4., uppgift 6 förenklad 16.4.)
115
116 [[Övning 13>>attach:h13_sve.pdf]]
117
118 [[Repetitionsuppgifter>>attach:hrep.pdf]] (lämnas inte in)
119
120 ==== Inlämning av uppgifter ====
121
122 Uppgifterna lämnas in varje vecka senast på onsdag klockan 18.00. En inlämningslåda finns utanför rum C323 i Exactums 3. våning. Uppgifter kan inte lämnas in med epost.
123
124 De asteriskförsedda uppgifterna kontrolleras. Kontrollerade papper returneras till studerandena i en låda utanför C323. Uppgifter som inte godkänts får korrigeras högst två gånger. Den sista inlämningsdagen för korrigerade uppgifter är två veckor efter uppgifternas ursrungliga sista inlämningsdag.
125
126 I korrigeringen används följande symboler:
127
128 * Röd blomma - uppgiften godkänd
129 * Svart kors - uppgiften bör korrigeras
130
131 Då du lämnar in uppgifter, följ instruktionerna nedan för att garantera att de registreras korrekt.
132
133 Uppgiftspapper
134
135 * Rita marginal vid båda kanterna av varje papper.
136 * Skriv din personliga kurskod på varje papper. Kurskoden skickas per epost åt alla som anmält sig till kursen.
137 * Skriv uppgiftens nummer i höger marginal på fram- och vänster marginal på baksidan av pappret. Skriv ut asterisken vid asteriskuppgifter.
138 * Dra ett vågrätt streck mellan uppgifterna.
139 * Skriv tydligt och välformulerat.
140 * Använd inte konceptpapper.
141
142 Titelblad
143
144 * Nita ihop alla papper tillsammans med rätt veckas titelblad (finns utanför C323).
145 * Sätt på titelbladet ett kryss i rutan för de uppgifter du lämnar in. Lämna in endast lösta uppgifter (enligt kriteriet 'ärligt försök duger').
146 * Lämna in alla veckans uppgifter under samma titelblad.
147
148 Korrigering av uppgifter
149
150 * Om du lämnar in korrigerade uppgifter, skriv den nya versionen på ett nytt papper som du nitar fast i den ursprungliga bunten bakom de ursprungliga uppgifterna.
151 * Skriv KORREKTION i höger marginal på de nya pappren.
152 * Ringa på titelbladet in numren på de uppgifter du korrigerat.
153
154
155
156 === Prov ===
157
158 * 1. kursprovet 1.3. 13-15 i Exactums auditorier
159 * 2. kursprovet 3.5. 13-15 i Exactums auditorier
160
161 Vardera kursprovet ger maximalt 24 poäng. Det räcker inte att delta i bara ena provet. För att få kursen godkänd måste man få minst 8 poäng för vardera provet. (Det här räcker inte för att få kursen godkänd utan är bara ett nödvändigt krav.)
162
163 Alternativt kan kursen avläggas med [[tentamen>>doc:mathstatOpiskelu.Yleistentit]]. Då räknas tilläggspoängen från övningsuppgifterna inte med.
164
165 === Kurslitteratur ===
166
167 Kursmaterialet består av ett kompendium sammanställt av föreläsaren (uppenbarar sig här så småningom) samt övningsuppgifterna och deras lösningar.
168
169 [[Kapitel 1.1>>attach:logik_kap1_1.pdf]]
170
171 [[Kapitel 1.2>>attach:logik_kap1_2.pdf]] OBS! Implikationens sanningsvärden rättade
172
173 [[Kapitel 1.3>>attach:logik_kap1_3.pdf]]
174
175 [[Kapitel 1.4>>attach:logik_kap1_4.pdf]] (ny version 30.1.)
176
177 [[Kapitel 1.5>>attach:logik_kap1_5.pdf]]
178
179 [[Kapitel 1.6>>attach:logik_kap1_6.pdf]]
180
181 [[Kapitel 2.1>>attach:logik_kap2_1.pdf]]
182
183 [[Kapitel 2.2>>attach:logik_kap2_2.pdf]]
184
185 [[Kapitel 2.3>>attach:logik_kap2_3.pdf]]
186
187 [[Kapitel 2.4>>attach:logik_kap2_4.pdf]]
188
189 [[Kapitel 2.5>>attach:logik_kap2_5.pdf]]
190
191 [[Kapitel 2.6>>attach:logik_kap2_6.pdf]]
192
193 [[Kapitel 2.7>>attach:logik_kap2_7.pdf]]
194
195 [[Kapitel 2.8>>attach:logik_kap2_8.pdf]] (tryckfel i Exempel 68 rättade 15.4.)
196
197 [[Kapitel 2.9>>attach:logik_kap2_9.pdf]] (rättad version 10.4.)
198
199 [[Kapitel 2.10>>attach:logik_kap2_10.pdf]]
200
201 [[Kapitel 2.11>>attach:logik_kap2_11.pdf]]
202
203 [[Kapitel 2.12>>attach:logik_kap2_12.pdf]]
204
205
206
207 === Tilläggslitteratur ===
208
209 * Jouko Väänänens kursmaterial [[Logic One>>attach:mathstatKurssit.Logiikka I, kevät 2013.WebHome@LogicOneText.pdf]].
210 * Hannele Salminen, Jouko Väänänen. Johdatus logiikkaan. Gaudeamus 1992.
211 * Kaarlo Reipas' kompenduim [[Logiikka I>>attach:mathstatKurssit.Logiikka I, kevät 2012.WebHome@logiikka.pdf]].
212
213 === [[Anmälning>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57274||shape="rect"]] ===
214
215 Glömde du att anmälä dig? [[Vad göra?>>url:http://wiki.helsinki.fi/display/mathstatOpiskelu/Kysymys4||shape="rect"]]