Wiki source code of Logiikka I, kevät 2012

Last modified by reipas@helsinki_fi on 2024/03/27 10:14
Show last authors
1 = Logiikka I, kevät 2012 =
2
3 {{info}}
4 [[Toisen kurssikokeen tuloksia>>attach:koe2_pisteet.pdf]] [[Esimerkkiratkaisuja toiseen kurssikokeeseen>>attach:koe2_malli.pdf]]
5
6 [[Opiskelijoiden pistemäärät ja pisterajat>>attach:tulokset_opiskelijoille.ods]]
7 {{/info}}
8
9
10 [[Luentopäiväkirja>>doc:mathstatKurssit.Kevät 2012.Logiikka I, kevät 2012.Logiikka I, kevät 2012 - luentopäiväkirja.WebHome]]
11 [[Viikottainen kurssikysely, täytä tästä!>>url:https://elomake.helsinki.fi/lomakkeet/32946/lomake.html||shape="rect"]]
12
13 === Luennoitsija ===
14
15 Kaarlo Reipas
16
17 Saat minut kiinni osoitteesta etunimi piste sukunimi ät helsinki piste fi.
18
19 === Kuvaus ===
20
21 Kurssilla tutustutaan matemaattisen logiikan perusteisiin, propositiologiikkaan, predikaattilogiikkaan ja malleihin. Siinä missä eri matematiikan alat tutkivat omia ilmiöitään, logiikka tutkii formaalia pohjaa näiden alojen alla. Kurssilla määritellään, mitä sellaiset asiat kuten 'väite', 'totuus' ja 'todistaminen' eri konteksteissa tarkoittavat, ja tutkitaan näiden välisiä yhteyksiä.
22
23 Kurssi suoritetaan kahdella tentillä, joiden ajat löytyvät alta. Kurssilla ei ole perinteisiä laskuharjoituksia, vaan yhteinen paja kurssin Algebra I kanssa. Tehtäviä on viikoittain noin 20-30, joista osa tarkastetaan. Paja on auki päivittäin ja siellä voi pohtia tehtäviä muiden opiskelijoiden kanssa. Paikalla on usein myös ohjaajia, jotka auttavat kurssin asioiden kanssa.
24
25 Luentoja on kolme tuntia viikossa, eikä niillä käydä läpi kaikkea kurssin sisältöä, vaan opiskelijan on välttämätöntä tutustua materiaalin myös itsenäisesti.
26
27 === Moodle ===
28
29 Kurssilla on käytössä Moodle-ympäristö, jossa opiskelijat ja ohjaajat voivat keskustella kurssiin liittyvistä asioista. Moodle löytyy [[täältä>>url:https://moodle.helsinki.fi/course/view.php?id=6202||shape="rect"]].
30
31 === Laajuus ===
32
33 10 op.
34
35 === Tyyppi ===
36
37 Aineopintoja
38
39 === Esitietovaatimukset ===
40
41 Ei erityisiä esitietovaatimuksia.
42
43 === Laskuharjoitukset ===
44
45 Tässä tarkistuslistaa laskuharjoituksista kirjatuista pistemääristä:
46
47 [[Tarkistuslista, H1>>attach:h1_pisteet.pdf]] (26.2.)
48
49 [[Tarkistuslista, H2>>attach:h2_pisteet.pdf]] (26.2.)
50
51 [[Tarkistuslista, H3>>attach:h3_pisteet.pdf]] (26.2.)
52
53 [[Tarkistuslista, H4>>attach:h4_pisteet.pdf]] (26.2.)
54
55 [[Tarkistuslista, H5>>attach:h5_pisteet.pdf]] (26.2.)
56
57 [[Tarkistuslista, H6>>attach:h6_pisteet.pdf]] (26.2.)
58
59 [[Tarkistuslista, H7>>attach:h7_pisteet2.pdf]] (7.5.)
60
61 [[Tarkistuslista, H8>>attach:h8_pisteet2.pdf]] (7.5.)
62
63 [[Tarkistuslista, H9>>attach:h9_pisteet2.pdf]] (7.5.)
64
65 [[Tarkistuslista, H10>>attach:h10_pisteet.pdf]] (7.5.)
66
67 [[Tarkistuslista, H11>>attach:h11_pisteet.pdf]] (7.5.)
68
69 [[Tarkistuslista, H12>>attach:h12_pisteet.pdf]] (7.5.)
70
71 Kurssilla on laskuharjoituksia viikoittain noin 20-30, joista noin neljäsosa on tähtitehtäviä, jotka pajaohjaajat tarkastavat. Tehtävien tekemisestä on mahdollista saada 4 lisäpistettä kumpaankin tenttiin. Tähtitehtävät ovat perustehtäviä, joiden tekeminen on välttämätöntä hyvien pistemäärien saamiseksi ja kurssin asioiden ymmärtämiseksi. Kaikista (ei vain tähti-) tehtävistä saa siis pisteitä. Kaikki tehtävät palautetaan yhdessä nipussa nidottuna kansilehden kanssa. Kansilehtiä saa pajaluokasta.
72
73 Lisäpisteitä saa seuraavasti: periodissa 3 joka viikko kunkin opiskelijan kaikkien tehtyjen tehtävien prosentuaalinen määrä kerrotaan tehtyjen tähtitehtävien prosentuaalisella määrällä. Näistä viikkokohtaisista luvuista otetaan sitten keskiarvo ja tämän lukeman mukaan lisäpisteitä saa seuraavasti:
74
75 |(((
76 0,20 - 0,39
77 )))|(((
78 1
79 )))
80 |(((
81 0,40 - 0,59
82 )))|(((
83 2
84 )))
85 |(((
86 0,60 - 0,79
87 )))|(((
88 3
89 )))
90 |(((
91 0,80 - 1,00
92 )))|(((
93 4
94 )))
95
96 Esimerkki: Ensimmäisellä viikolla on 20 tehtävää ja 5 tähtitehtävää. Jos opiskelija tekee oikein 5 tähtitehtävää ja lisäksi palauttaa 10 tähdetöntä tehtävää, saadaan luvuksi 5/5*15/20=0,75. Jos taas opiskelija on tehnyt vaikkapa 3 tähtitehtävää ja 13 tähdetöntä tehtävää, saadaan luvuksi 3/5*16/20=0,48.
97
98 [[Harjoitus 1>>attach:harjoitus1.pdf]] (Tehtävä 13 korjattu 16.1.)
99
100 [[Harjoitus 2>>attach:harjoitus2.pdf]]
101
102 [[Harjoitus 3>>attach:harjoitus3.pdf]]
103
104 [[Harjoitus 4>>attach:harjoitus4.pdf]]
105
106 [[Harjoitus 5>>attach:harjoitus5.pdf]]
107
108 [[Harjoitus 6>>attach:harjoitus6.pdf]]
109
110 [[Kertaustehtävät 1. kurssikokeeseen>>attach:koeharjoitus1.pdf]] (Tehtävät 9, 18, 21 korjattu 23.2. klo 11.14) [[Esimerkkiratkaisuja>>attach:koeharjoitus1_mallit.pdf]]
111
112 [[Harjoitus 7>>attach:harjoitus7.pdf]]
113
114 [[Harjoitus 8>>attach:harjoitus8.pdf]]
115
116 [[Harjoitus 9>>attach:harjoitus9.pdf]]
117
118 [[Harjoitus 10>>attach:harjoitus10.pdf]]
119
120 [[Harjoitus 11>>attach:harjoitus11.pdf]]
121
122 [[Harjoitus 12>>attach:harjoitus12.pdf]]
123
124 [[Kertaustehtäviä 2. kurssikokeeseen>>attach:koeharjoitus2.pdf]] (Virhe tehtävässä 23 korjattu 24.4. klo 22) [[Esimerkkiratkaisuja>>attach:koeharjoitus2_mallit.pdf]]
125
126
127
128 === Harjoitusten palauttaminen ===
129
130 Laskuharjoitukset palautetaan kirjallisesti pajassa olevaan palautuslaatikkoon. Palautuspäivä on aina perjantai klo 18.00 (pajan kellon mukaan). Tehtäviä ei voi palauttaa sähköpostitse.
131
132 Tähtitehtävät tarkastetaan, ja opiskelijat voivat noutaa tarkistetut tehtävät pajasta. Ne tähtitehtävät, joita ei hyväksytty tarkistuksessa, voi korjata ja palauttaa seuraavan viikon palautuksen yhteydessä. Nämä tarkistetaan uudestaan, ja mikäli ne edelleen hylätään, voidaan niitä korjata vielä toisen kerran.
133
134 Kun palautat tehtävät, seuraa alla annettuja ohjeita. Muuten et ole oikeutettu tehtävistä jaettaviin lisäpisteisiin.
135
136 Palautettavat paperit
137
138 (% class="alternate" %)
139 * Vedä jokaisen palauttamasi paperin molempiin reunoihin marginaali.
140 * Kirjoita jokaiseen palauttamaasi paperiin henkilökohtainen kurssikoodisi. Kurssikoodi lähetetään kaikille kurssille ilmoittautuneille sähköpostitse.
141 * Kirjoita kunkin tehtävän numero sivun oikeaan marginaaliin ja kääntöpuolella vasempaan. Kirjoita tähtitehtävissä numeron perään tähti.
142 * Vedä tehtävien välille vaakaviiva.
143 * Kirjoita selkeästi ja hyvällä tyylillä.
144
145 Kansilehti
146
147 (% class="alternate" %)
148 * Nido kaikki paperit yhteen oikean viikon kansilehden kanssa. Kansilehtiä löytyy pajasta.
149 * Merkitse kansilehteen rasti kaikkien niiden tehtävien kohdalle, jotka palautat.
150 * Palauta kaikki tehtävät samalla kansilehdellä.
151
152 Korjaaminen
153
154 (% class="alternate" %)
155 * Jos palautat korjattuja tehtäviä, kirjoita korjattu versio uudelle paperille. Liitä tämä paperi niitillä alkuperäiseen kansilehteen alkuperäisten tehtävien taakse.
156 * Kirjoita uusien paperien oikeaan marginaaliin ’KORJAUS’.
157 * ympyröi kansilehdestä niiden tehtävien numerot, jotka korjasit.
158
159 === Luentoajat ===
160
161 Luentoja on kolme tuntia viikossa.
162
163 Viikot 3-8 ja 11-17 ma 14-16, pe 11-12 A111.
164
165 Pääsiäisloma 5.-11.4.
166
167 === Paja ===
168
169 Kurssin paja on auki päivittäin oheisen taulukon mukaisesti salissa C323. 'PAJA' tarkoittaa, että paja on auki, ja siellä voi pohtia tehtäviä muiden opiskelijoiden kanssa tai itse. 'PAJA-OHJAUS' tarkoittaa, että tämän lisäksi pajaluokassa on ohjaaja tai ohjaajia avustamassa.
170
171 |=(((
172 klo
173 )))|=(((
174 MA
175 )))|=(((
176 TI
177 )))|=(((
178 KE
179 )))|=(((
180 TO
181 )))|=(((
182 PE
183 )))
184 |(((
185 8-9
186 )))|(((
187
188 )))|(((
189 PAJA
190 )))|(((
191
192 )))|(((
193 PAJA
194 )))|(((
195
196 )))
197 |(((
198 9-10
199 )))|(((
200
201 )))|(((
202 PAJA
203 )))|(((
204
205 )))|(((
206 PAJA
207 )))|(((
208 PAJA
209 )))
210 |(((
211 10-11
212 )))|(((
213
214 )))|(((
215 **PAJA-OHJAUS**
216 )))|(((
217
218 )))|(((
219 **PAJA-OHJAUS**
220 )))|(((
221 PAJA
222 )))
223 |(((
224 11-12
225 )))|(((
226
227 )))|(((
228 **PAJA-OHJAUS**
229 )))|(((
230
231 )))|(((
232 **PAJA-OHJAUS**
233 )))|(((
234 PAJA
235 )))
236 |(((
237 12-13
238 )))|(((
239 **PAJA-OHJAUS**
240 )))|(((
241 PAJA
242 )))|(((
243 **PAJA-OHJAUS**
244 )))|(((
245 PAJA
246 )))|(((
247 **PAJA-OHJAUS**
248 )))
249 |(((
250 13-14
251 )))|(((
252 **PAJA-OHJAUS**
253 )))|(((
254 PAJA
255 )))|(((
256 **PAJA-OHJAUS**
257 )))|(((
258 PAJA
259 )))|(((
260 **PAJA-OHJAUS**
261 )))
262 |(((
263 14-15
264 )))|(((
265 PAJA
266 )))|(((
267 **PAJA-OHJAUS**
268 )))|(((
269 **PAJA-OHJAUS**
270 )))|(((
271 **PAJA-OHJAUS**
272 )))|(((
273 PAJA
274 )))
275 |(((
276 15-16
277 )))|(((
278 PAJA
279 )))|(((
280 **PAJA-OHJAUS**
281 )))|(((
282 PAJA
283 )))|(((
284 **PAJA-OHJAUS**
285 )))|(((
286 PAJA
287 )))
288 |(((
289 16-17
290 )))|(((
291 **PAJA-OHJAUS**
292 )))|(((
293 PAJA
294 )))|(((
295 **PAJA-OHJAUS**
296 )))|(((
297 PAJA
298 )))|(((
299 **PAJA-OHJAUS**
300 )))
301 |(((
302 17-18
303 )))|(((
304 **PAJA-OHJAUS**
305 )))|(((
306 PAJA
307 )))|(((
308 **PAJA-OHJAUS**
309 )))|(((
310 PAJA
311 )))|(((
312 **PAJA-OHJAUS**
313 )))
314 |(((
315 18-19
316 )))|(((
317 PAJA
318 )))|(((
319 PAJA
320 )))|(((
321 PAJA
322 )))|(((
323 PAJA
324 )))|(((
325
326 )))
327 |(((
328 19-20
329 )))|(((
330 PAJA
331 )))|(((
332 PAJA
333 )))|(((
334 PAJA
335 )))|(((
336 PAJA
337 )))|(((
338
339 )))
340
341 === Kokeet ===
342
343 * 1. kurssikoe 2.3. 13-15 Exactumin auditorioissa
344 * 2. kurssikoe 4.5. 13-15 Exactumin auditorioissa
345
346 Molemmista kokeista voi saada maksimissaan 24 pistettä.
347
348 [[Ensimmäisen kurssikokeen tuloksia>>attach:Koe1_tulokset_pisteet.pdf]]
349
350 === Kirjallisuus ===
351
352 Luentomoniste on ladattavissa [[tästä>>attach:LogicOneText.pdf]] ja päivittyy kurssin edetessä. Itse laatimani suomenkielinen kompakti esitys plus lisämateriaalia [[tässä>>attach:logiikka.pdf]] ja tämäkin päivittyy kurssin edetessä. Kalvot, videoita ja Englanti-Suomi sanaluettelo [[tässä>>url:http://www.math.helsinki.fi/logic/opetus/log1/||shape="rect"]].
353
354 === [[Ilmoittaudu>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57274||shape="rect"]] ===
355
356 Unohditko ilmoittautua? [[Mitä tehdä>>doc:mathstatOpiskelu.Kysymys4]].