Last modified by pankka@helsinki_fi on 2024/03/27 10:27
Show last authors
1 = Johdatus logiikkaan II, kevät 2016 =
2
3
4
5 {{panel}}
6 --**Kurssin presemo**--\\
7
8 **Vastuuopettaja:** [[Åsa Hirvonen>>doc:mathstatHenkilokunta.Hirvonen, Åsa]]
9
10 **Laajuus:** 5 op
11
12 **Tyyppi:** Aineopintoja
13
14 (% class="p1" %)
15 (% class="s1" %)57160 (%%)Johdatus logiikkaan I (5 op) ja 57161 Johdatus logiikkaan II (5 op) vastaavat yhdessä kurssia 57274 Logiikka I (10 op)
16
17 **Opetus:** Luennot ja laskuharjoitukset**
18 **
19
20 **Sisältö:** Predikaattilogiikan mallit, kaavat, toteutuminen; määriteltävyys, isomorfismit, päättely
21
22 **Esitietovaatimukset: **Johdatus logiikkaan I tai vastaavat tiedot
23 {{/panel}}
24
25 === {{toc maxLevel="4" minLevel="2" indent="20px"/}} ===
26
27 == Ajankohtaista ==
28
29 * Huomaa, että laskuharjoitukset alkavat jo  viikolla 11.
30 * Luennoitsija päivystää Ratkomossa tiistaisin 14-15
31 * Kisälliohjaaja (keltaiset liivit) Tuomas Salonen päivystää keskiviikkoisin 12-14 ja perjantaisin 15-17 ja hän ohjaa tarvittaessa myös logiikkaa
32 * Pääsiäisloma katkaisee opetuksen tasan viikoksi, jonka jälkeen opetus jatkuu, kuin taukoa ei olisi ollutkaan. Laskuharjoitukset jakautuvat pääsiäisen ympärille niin, että osa ryhmistä kokoontuu ennen lomaa, osa loman jälkeen, mutta käsiteltävät tehtävät ovat aivan samoja.
33 * Tiistaina 19.4. on sekä luennot että laskuharjoitukset aivan normaalisti, laitoksen virkistäytymispäivästä huolimatta.
34 * Keskiviikkona 4.5. Exactum sulkee jo 16.00 ja torstaina 5.5. talo on kokonaan kiinni, joten Jonin ja Miriamin laskuharjoitukset on peruttu. Jos ette pääse muihin ryhmiin vierailemaan, voitte lähettää ratkaisunne Jonille tai  Miriamille, niin he kirjaavat tehdyt tehtävät.
35 * Koeviikolla ei ole Ratkomo-päivystystä, mutta luennoitsija päivystää työhuoneessaan D318 to 12.5. klo 9-11.
36 * Kurssitulokset löytyvät [[laitoksen tulossivulta>>doc:mathstatKurssit.KOETULOKSET EXAM RESULTS.WebHome]] (vaatii sisäänkirjautumisen), ja ilmestynevät lähiaikoina myös oodiin. Kiitokset kaikille kurssista ja hyvää kesää!
37 * Kokeidenkatsomistilaisuus järjestetään tiistaina 31.5. klo 9-10 kokoushuoneessa D340.
38
39 == Opetusajat ==
40
41 Viikot 11-18 ma 14-16 ja ti 10-12 auditoriossa A111. Lisäksi laskuharjoituksia 2 viikkotuntia.
42
43 Pääsiäisloma 24.-30.3.
44
45 == Kokeet ==
46
47 * Kurssikoe pe 13.5. klo 12.15-14.45 Exactumin auditorioissa
48
49 Jos olet ilmoittautunut kurssille, kurssikokeeseen ei tarvitse ilmoittautua erikseen.
50
51 Kurssin voi vaihtoehtoisesti suorittaa laitoksen yleistentissä. Tiedot aikatauluista ja ilmoittautumisohjeet löydät [[täältä>>doc:mathstatOpiskelu.Yleistentit]]. Laskuharjoituspisteet ovat voimassa tämän vuoden toukokuun yleistentissä ja kesätenteissä. Jos haluat, että laskuharjoituspisteesi huomioidaan yleistentissä, ilmaise se selkeästi vastauspaperisi etusivulla.
52
53 == Kurssimateriaali ==
54
55 Kurssimateriaali päivittyy [[tähän>>attach:Johdatus_logiikkaan_2.pdf]] kurssin aikana.
56
57 Lisämateriaalina voi käyttää aikaisempien vuosien Logiikka I:n materiaaleja.
58
59 * Jouko Väänänen: [[Logic One>>url:http://wiki.helsinki.fi/download/attachments/135071108/LogicOneTextNew.pdf?version=1&modificationDate=1421075528702&api=v2||shape="rect"]] (tai sen [[suomennosta>>url:http://wiki.helsinki.fi/download/attachments/135071108/LogiikkaYksi.pdf?version=1&modificationDate=1421075949495&api=v2||shape="rect"]])
60 * Kaarlo Reipas: [[Logiikka I>>url:http://wiki.helsinki.fi/download/attachments/135071108/reipas_logiikka.pdf?version=1&modificationDate=1421076030174&api=v2||shape="rect"]]
61 * Hannele Salminen, Jouko Väänänen: Johdatus logiikkaan. Gaudeamus 1992.
62
63 == [[Ilmoittaudu kurssille>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57161||shape="rect"]] ==
64
65
66 Unohditko ilmoittautua? [[Katso ohjeet täältä!>>doc:mathstatOpiskelu.Kysymys4]]
67
68 == Laskuharjoitukset ==
69
70 Kurssilla käytetään ns. [[½+½-laskuharjoitusmallia>>doc:mathstatOpiskelu.12+12 -laskuharjoitusmalli]], jossa ensimmäisen tunnin aikana käydään kotitehtäviä läpi ja toisen tunnin aikana aloitellaan seuraavan viikon tehtävien tekemistä. Ensimmäiselle viikolle ei ole kotitehtäviä, vaan tehtäviä tehdään yhdessä.
71
72 === Harjoitustehtävät ===
73
74 * [[Tehtävät 1>>attach:laskaripohja_JL2_h1.pdf]] (näiden tekeminen aloitetaan laskuharjoitusryhmissä viikolla 11, ja niiden tulee olla tehtynä viikolla 12) [[Ratkaisuehdotuksia>>attach:RatkaisutH1.pdf]]
75 * [[Tehtävät 2>>attach:laskaripohja_JL2_h2.pdf]] (tehtävissä xEy on lyhennysmerkintä kaavalle E(x,y)) [[Ratkaisuehdotuksia>>attach:RatkaisutH2.pdf]]
76 * [[Tehtävät 3>>attach:laskaripohja_JL2_h3.pdf]][[ Ratkaisuehdotuksia>>attach:laskaripohja_JL2_h3-ratk.pdf]]
77 * [[Tehtävät 4>>attach:laskaripohja_JL2_h4.pdf]] [[Ratkaisuehdotuksia>>attach:ratkaisut_JL2_h4.pdf]]
78 * [[Tehtävät 5>>attach:laskaripohja_JL2_h5.pdf]] [[Ratkaisuehdotuksia>>attach:laskaripohja_JL2_h5-ratk.pdf]]
79 * [[Tehtävät 6>>attach:laskaripohja_JL2_h6.pdf]][[ Ratkaisuehdotuksia>>attach:laskaripohja_JL2_h6-ratk.pdf]]
80 * [[Kertaustehtäviä>>attach:laskaripohja_JL2_kert.pdf]]
81
82 Kertaustehtäviin ja haastetehtäviin voi pyytää ratkaisuja liitutaululla esim. torstain 12.5. päivystyksessä huoneessa D318.
83
84 === Harjoitusryhmät ===
85
86 |=(((
87 Ryhmä
88 )))|=(((
89 Päivä
90 )))|=(((
91 Aika
92 )))|=(((
93 Paikka
94 )))|=(% colspan="1" %)(((
95 Pitäjä
96 )))
97 |(((
98 1.
99 )))|(((
100 ti
101 )))|(((
102 12-14
103 )))|(((
104 **C129**
105 )))|(% colspan="1" %)(((
106 Saara Heikkilä
107 )))
108 |(((
109 2.
110 )))|(((
111 ke
112 )))|(((
113 10-12
114 )))|(((
115 C323
116 )))|(% colspan="1" %)(((
117 Kristian Setälä
118 )))
119 |(% colspan="1" %)(((
120 3.
121 )))|(% colspan="1" %)(((
122 ke
123 )))|(% colspan="1" %)(((
124 16-18
125 )))|(% colspan="1" %)(((
126 C321
127 )))|(% colspan="1" %)(((
128 Joni Puljujärvi
129 )))
130 |(% colspan="1" %)(((
131 4.
132 )))|(% colspan="1" %)(((
133 to
134 )))|(% colspan="1" %)(((
135 12-14
136 )))|(% colspan="1" %)(((
137 C323
138 )))|(% colspan="1" %)(((
139 Miriam Hägele
140 )))
141 |(% colspan="1" %)(((
142 5.
143 )))|(% colspan="1" %)(((
144 pe
145 )))|(% colspan="1" %)(((
146 10-12
147 )))|(% colspan="1" %)(((
148 C322
149 )))|(% colspan="1" %)(((
150 Jonne Nyberg
151 )))
152 |(% colspan="1" %)(((
153 6.
154 )))|(% colspan="1" %)(((
155 pe
156 )))|(% colspan="1" %)(((
157 14-16
158 )))|(% colspan="1" %)(((
159 B321
160 )))|(% colspan="1" %)(((
161 David Forsman
162 )))
163
164 === Laskuharjoituspisteet ===
165
166 Opiskelijoita palkitaan sekä tehtävien tekemisestä että läsnäolosta laskuharjoitustilaisuuksissa.
167
168 Tehdyistä tehtävistä jaetaan lisäpisteitä oheisen taulukon mukaisesti.
169
170 |=(((
171 Tehtyjä tehtäviä
172 )))|=(((
173 ≥ 40 %
174 )))|=(((
175 ≥ 55 %
176 )))|=(((
177 ≥ 70 %
178 )))|=(((
179 ≥ 85 %
180 )))
181 |(((
182 Pisteet
183 )))|(((
184 1
185 )))|(((
186 2
187 )))|(((
188 3
189 )))|(((
190 4
191 )))
192
193 Joka kerta, kun opiskelija on läsnä koko laskuharjoitustilaisuuden ajan, lisäpisterajat putoavat yhdellä prosenttiyksiköllä. Jos opiskelija on laskuharjoitustilaisuuksissa paikalla esimerkiksi kaikki 7 kertaa, hänen tarvitsee tehdä 78 % tehtävistä saadakseen täydet harjoituspisteet.
194
195 == Palautetta kurssista ==
196
197 Matematiikan ja tilastotieteen laitoksella on käytössä jatkuva palautteen keruu eli voit antaa palautetta missä tahansa kohdassa kurssia. Palautelomakkeeseen pääset [[täältä>>url:https://elomake.helsinki.fi/lomakkeet/11954/lomake.html||shape="rect"]].
198
199