Wiki source code of Logiikka I, kevät 2010

Last modified by jvaanane@helsinki_fi on 2024/03/27 10:03
Show last authors
1 = Logiikka I, kevät 2010 =
2
3 === Luennoitsija ===
4
5 [[Jouko Väänänen>>doc:mathstatHenkilokunta.Väänänen, Jouko]]
6
7 === Laajuus ===
8
9 10 op.
10
11 === Tyyppi ===
12
13 Aineopintoja.
14
15 === Esitietovaatimukset ===
16
17 Ei erityisiä esitietovaatimuksia.
18
19 === Sisältö ===
20
21 Kurssi tarjoaa johdatuksen propositio- ja predikaattilogiikkaan. Kummankin logiikan kohdalla käsitellään semantiikka, luonnollinen päättely, ja semanttisten puiden menetelmä.
22
23 === Luentoajat ===
24
25 Viikot 3-8 ja 11-17 ma 14-16, ti 14-16, pe 11-12 A111, lisäksi laskuharjoituksia 2 viikkotuntia.
26
27 == Maaliskuun 26 ei luentoa. March 26 no lecture. ==
28
29 Pääsiäisloma 1.-7.4.
30
31 === Kokeet ===
32
33 * 1. kurssikoe 5.3. 13-15 Exactumin auditorioissa
34 * 2. kurssikoe 7.5. 13-15 Exactumin auditorioissa
35
36 === Kirjallisuus ===
37
38 Kurssimateriaali tulee [[verkkoon>>url:http://www.math.helsinki.fi/logic/opetus/log1/||shape="rect"]]. Samoin laskuharjoitustehtävät.
39
40 === Moodle ===
41
42 Kurssin käytössä on [[Moodle-työalue>>url:http://www.geom.pro/moodle/course/view.php?id=11||shape="rect"]]. Siellä voi kysyä ja keskustella kurssiin liittyvistä asioista. "Enrollment key" on Logiikka1.
43
44 === Interaktiiviset oppaat ===
45
46 Sekä verkkosivulla, että Moodlessa on interaktiivisia oppaita jo 9 kappaletta kurssiin liittyvistä aiheista. Kokeile niitä!
47
48 === [[Ilmoittaudu>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57274||shape="rect"]] ===
49
50 Unohditko ilmoittautua? [[Mitä tehdä>>doc:mathstatOpiskelu.Kysymys4]].
51
52 === Laskuharjoitukset ===
53
54 Laskuharjoituksista saa lisäpisteitä laskettujen tehtävien suhteessa. Lisäpisteet lisätään kevään 2010 kurssikoetulokseen.
55
56 |=(((
57 Ryhmä
58 )))|=(((
59 Päivä
60 )))|=(((
61 Aika
62 )))|=(((
63 Paikka
64 )))|=(((
65 Pitäjä
66 )))
67 |(((
68 1.
69 )))|(((
70 ma
71 )))|(((
72 10-12
73 )))|(((
74 C122
75 )))|(((
76 Meeri Kesälä
77 )))
78 |(((
79 2.
80 )))|(((
81 ti
82 )))|(((
83 8-10
84 )))|(((
85 C122
86 )))|(((
87 Juha Ruokolainen
88 )))
89 |(((
90 3.
91 )))|(((
92 ti
93 )))|(((
94 10-12
95 )))|(((
96 C122
97 )))|(((
98 Meeri Kesälä
99 )))
100 |(((
101 4.
102 )))|(((
103 ti
104 )))|(((
105 12-14
106 )))|(((
107 C122
108 )))|(((
109 Risto Kaila
110 )))
111 |(((
112 5.
113 )))|(((
114 ti
115 )))|(((
116 16-18
117 )))|(((
118 C122
119 )))|(((
120 Risto Kaila
121 )))
122 |(((
123 6.
124 )))|(((
125 ke
126 )))|(((
127 8-10
128 )))|(((
129 C122
130 )))|(((
131 Risto Kaila
132 )))
133 |(((
134 7.
135 )))|(((
136 ke
137 )))|(((
138 14-16
139 )))|(((
140 C129
141 )))|(((
142 Alexandr Nuija
143 )))
144 |(((
145 8.
146 )))|(((
147 to
148 )))|(((
149 12-14
150 )))|(((
151 C122
152 )))|(((
153 Lauri Tuomi
154 )))
155 |(((
156 9.
157 )))|(((
158 to
159 )))|(((
160 16-18
161 )))|(((
162 C122
163 )))|(((
164 Lauri Tuomi
165 )))
166 |(((
167 10.
168 )))|(((
169 pe
170 )))|(((
171 9-11
172 )))|(((
173 C322
174 )))|(((
175 Lauri Tuomi
176 )))
177 |(((
178 11.
179 )))|(((
180 pe
181 )))|(((
182 14-16
183 )))|(((
184 C122
185 )))|(((
186 Alexandr Nuija
187 )))
188
189 **Tammikuussa opintonsa aloittavien opiskelijoiden ryhmä**
190
191 |=(((
192 Ryhmä
193 )))|=(((
194 Päivä
195 )))|=(((
196 Aika
197 )))|=(((
198 Paikka
199 )))|=(((
200 Pitäjä
201 )))
202 |(((
203 1.
204 )))|(((
205 to
206 )))|(((
207 10-12
208 )))|(((
209 B120
210 )))|(((
211 Thomas Vikberg
212 )))
213
214 Lisäpisteet:
215
216 |=(((
217 tehty
218 )))|(((
219 pistettä
220 )))
221 |(((
222 9
223 )))|(((
224 1
225 )))
226 |(((
227 18
228 )))|(((
229 2
230 )))
231 |(((
232 28
233 )))|(((
234 3
235 )))
236 |(((
237 37
238 )))|(((
239 4
240 )))
241 |(((
242 47
243 )))|(((
244 5
245 )))
246 |(((
247 56
248 )))|(((
249 6
250 )))