Wiki source code of Johdatus logiikkaan II, syksy 2016
Last modified by thyttine@helsinki_fi on 2024/03/27 10:50
Show last authors
author | version | line-number | content |
---|---|---|---|
1 | = Johdatus logiikkaan II, syksy 2016 = | ||
2 | |||
3 | |||
4 | |||
5 | {{panel}} | ||
6 | **Vastuuopettaja:** [[Tapani Hyttinen>>doc:mathstatHenkilokunta.Hyttinen, Tapani]] | ||
7 | |||
8 | **Laajuus:** 5 op | ||
9 | |||
10 | **Tyyppi:** Aineopintoja | ||
11 | |||
12 | **Opetus:** | ||
13 | |||
14 | **Sisältö: Katso kurssimateriaali** | ||
15 | |||
16 | **Esitietovaatimukset: Johdatus logiikkaan I** | ||
17 | {{/panel}} | ||
18 | |||
19 | === {{toc maxLevel="4" minLevel="2" indent="20px"/}} === | ||
20 | |||
21 | == Ajankohtaista == | ||
22 | |||
23 | * | ||
24 | |||
25 | == Opetusajat == | ||
26 | |||
27 | Luennot viikoilla 44-50 ke klo 14-16 ja pe klo 12-14 auditoriossa B123. Lisäksi laskuharjoituksia 2 viikkotuntia. | ||
28 | |||
29 | HUOM! Perjantain luento 9.12. on vaihdettu saliin A111. | ||
30 | |||
31 | == Kokeet == | ||
32 | |||
33 | * Kurssikoe to 15.12. klo 16.15-18.45 Exactumin auditorioissa | ||
34 | |||
35 | Kurssikokeen kesto on 2,5 h. | ||
36 | |||
37 | Kurssikokeessa ei tarvita apuvälineitä, kynä riittää. | ||
38 | |||
39 | == Kurssimateriaali == | ||
40 | |||
41 | Luennot perustuvat Åsa Hirvosen laatimaan monisteeseen joka löytyy [[tästä>>attach:Johdatus_logiikkaan_2.pdf]]. | ||
42 | |||
43 | |||
44 | |||
45 | == [[Ilmoittaudu kurssille>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57161||shape="rect"]] == | ||
46 | |||
47 | |||
48 | Unohditko ilmoittautua? [[Katso ohjeet täältä!>>doc:mathstatOpiskelu.Kysymys4]] | ||
49 | |||
50 | == Laskuharjoitukset == | ||
51 | |||
52 | Ensimmäiset harjoitukset ovat 7.11 alkavalla viikolla. | ||
53 | |||
54 | Laskuharjoituksista saa lisäpisteitä: 30% 1 piste, 50% 2 pistettä ja 70% 3 pistettä. | ||
55 | |||
56 | Lisäpisteitä laskettaessa mukaan otetaan vain harjoitusten 1-5 tehtävät. | ||
57 | |||
58 | === Harjoitustehtävät === | ||
59 | |||
60 | * [[Harjoitus 1>>attach:harj1.pdf]] (tehtävänantoa tarkennettu 18.10) [[Vihjeitä>>attach:vihj1.pdf]] | ||
61 | * [[Harjoitus 2>>attach:harj2.pdf]] (tehtävä 5 korjattu 8.11) [[Vihjeitä>>attach:vihj2.pdf]] | ||
62 | * [[Harjoitus 3>>attach:harj3.pdf]] [[Vihjeitä>>attach:vihj3.pdf]] | ||
63 | * [[Harjoitus 4>>attach:harj4.pdf]] [[Vihjeitä>>attach:vihj4.pdf]] | ||
64 | * [[Harjoitus 5>>attach:harj5.pdf]] [[Vihjeitä>>attach:vihj5.pdf]] | ||
65 | * [[Harjoitus 6>>attach:harj6.pdf]] (tehtävässä 3 korjattu painovirhe) [[Vihjeitä>>attach:vihj6.pdf]] | ||
66 | * [[Lisätehtäviä>>attach:harj7.pdf]] [[Vihjeitä>>attach:vihj7.pdf]] | ||
67 | |||
68 | === Harjoitusryhmät === | ||
69 | |||
70 | |=((( | ||
71 | Ryhmä | ||
72 | )))|=((( | ||
73 | Päivä | ||
74 | )))|=((( | ||
75 | Aika | ||
76 | )))|=((( | ||
77 | Paikka | ||
78 | )))|=(% colspan="1" %)((( | ||
79 | Pitäjä | ||
80 | ))) | ||
81 | |((( | ||
82 | 1. | ||
83 | )))|((( | ||
84 | ma | ||
85 | )))|((( | ||
86 | 10-12 | ||
87 | )))|((( | ||
88 | C322 | ||
89 | )))|(% colspan="1" %)((( | ||
90 | Joonas Nuutinen | ||
91 | ))) | ||
92 | |((( | ||
93 | 2. | ||
94 | )))|((( | ||
95 | ke | ||
96 | )))|((( | ||
97 | 16-18 | ||
98 | )))|((( | ||
99 | C322 | ||
100 | )))|(% colspan="1" %)((( | ||
101 | Tapani Hyttinen | ||
102 | ))) | ||
103 | |(% colspan="1" %)((( | ||
104 | 3. | ||
105 | )))|(% colspan="1" %)((( | ||
106 | to | ||
107 | )))|(% colspan="1" %)((( | ||
108 | 12-14 | ||
109 | )))|(% colspan="1" %)((( | ||
110 | C322 | ||
111 | )))|(% colspan="1" %)((( | ||
112 | Juho Leppänen | ||
113 | ))) | ||
114 | |(% colspan="1" %)((( | ||
115 | 4. | ||
116 | )))|(% colspan="1" %)((( | ||
117 | pe | ||
118 | )))|(% colspan="1" %)((( | ||
119 | 14-16 | ||
120 | )))|(% colspan="1" %)((( | ||
121 | C322 | ||
122 | )))|(% colspan="1" %)((( | ||
123 | Toni Annala | ||
124 | ))) | ||
125 | |||
126 | == Palautetta kurssista == | ||
127 | |||
128 | 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"]]. | ||
129 | |||
130 |