Logiikka I, kevät 2014

= Logiikka I(% style="letter-spacing: 0.1em;font-size: 18.0pt;" %), (%%)kevät 2014 =

**Luennoitsija(% style="color: rgb(0,0,0);line-height: 13.0pt;font-size: 10.0pt;" %): [[Åsa Hirvonen>>doc:mathstatHenkilokunta.Hirvonen, Åsa]](%%)**

4

5

**Laajuus:** 10(% style="line-height: 13.0pt;font-size: 10.0pt;" %) op.

6

7

**Tyyppi:** Aineopintoja

8

9

**Esitietovaatimukset:** Ei erityisiä esitietovaatimuksia.

10

11

**Opetus:** Kurssin opetus koostuu laskuharjoitustehtävistä, ohjauksesta sekä luennoista. Kurssi suoritetaan kahdella kurssikokeella. Pääosa opiskelusta on laskuharjoitustehtävien tekemistä ja kurssimateriaalin lukemista. Näihin molempiin saa apua ohjaajilta, jotka päivystävät Exactumin 3. kerroksessa joka päivä. Viikottaiset tehtävät palautetaan kirjallisesti. Tämän jälkeen tehtäviin liittyviä asioita käsitellään luennoilla.

12

13

=== {{toc minLevel="2"/}} ===

14

15

=== Ajankohtaista ===

16

17

* 27.5. Kurssin arvostelu on valmistunut. Tulokset ovat [[täällä>>attach:LogiikkaI_kevät2014_tulokset.pdf]].

18

* 22.5. Kurssikokeen ja korvaavan kokeen [[tulokset>>attach:logiikka1_kevät2014_kurssikoe2_ja_korvaava_koe_tuloslista.pdf]] ovat valmiit. Kurssin arvosanat valmistuvat viimeistään ensi viikolla.

19

* 28.4. Tarkista, että sinulle on kirjattu oikea määrä harjoitustehtäviä: [[tunnukset L001-L199>>attach:Log_k14A_harjoituspisteet.pdf]], [[tunnukset L200->>attach:Log_k14B_harjoituspisteet.pdf]]. Kummassakin tehtäväkategoriassa 45%:lla sai yhden pisteen ja 80%:lla kaksi.

20

* 25.4. Koeviikolla ohjausta ma 28.4. klo 12-14 ja ti 29.4. klo 14-16.30.

21

* 16.4. Harjoituksen 12 tehtävässä 4 P:n kuuluisi olla R (korjattu tehtäväpaperiin 16.4.)

22

* 1.4. Harjoituksen 10 tehtävästä 6 oli jäänyt eksistenssikvanttori puuttumaan. Tehtävä on nyt korjattu.

23

* 26.3. Harjoituksen 9 kansilehdissä on ylimääräinen tähti - oikeat tähtitehtävät ovat tehtäväpaperin mukaiset.

24

* 26.3. Ratkaisuehdotukset [[kurssikokeeseen>>attach:kurssikoe1_ratk.pdf]] ja [[korvaavaan kokeeseen>>attach:korvaava_kurssikoe1_ratk.pdf]] ovat valmistuneet.

25

* 19.3. Tarkista, että sinulle on kirjattu oikea määrä harjoitustehtäviä: [[tunnukset L001-L199>>attach:Log_k14A_alkukurssin_harjoitukset.pdf]], [[tunnukset L200->>attach:Log_k14B_alkukurssin_harjoitukset.pdf]]

26

* 19.3. Kurssikokeen ja korvaavan kokeen [[tulokset>>attach:logiikka1_kevät2014_kurssikoe1_tuloslista.pdf]] ovat valmiit.

27

* 14.3. Lisäys: harjoituksen 8 tehtävät liittyvät kurssimateriaalin lukuihin 2.7-2.9.

28

* 14.3. Linkki suomenkieliseen materiaaliin korjattu - nyt sieltä löytyy koko moniste.

29

* 13.3. Ensi viikolla järjestetään kokeenkatsomistilaisuus pe 21.3. luennon jälkeen klo 12-13 laitoksen kokoushuoneessa D340. Kokeesta saa ottaa kopion, mutta sitä **ei voi ottaa mukaansa**.

30

* 13.3. Kurrsimateriaalin loppuossan suomennos on ilmestynyt.

31

* Koeviikolla on ohjauspäivystys luokassa C323 **torstaina 27.2. klo 13-16**.

32

* 20.2. Harjoitukset 7 ilmestyvät koeviikolla (palautusaikaa on 12.3. asti).

33

* 14.2. Koeviikkoa edeltävänä perjantaina 21.2. on kertaustunti. Koealue on propositiologiikka.

34

* 11.2. Korvaavaan kokeeseen osallistumisen linjaa on höllennetty - ota yhteyttä luennoitsijaan, ellet pääse välikokeeseen 28.2.

35

* 7.2. Harjoitusten 5 viimeinen korjauspäivä on merkitty väärin kansilehteen; se on tehtäväpaperin mukaisesti 12.3., väliviikon jälkeen.

36

* 7.2. Logiikan ohjausta luokassa C323 on saatavana myös perjantaisin luennon jälkeen (ja sitä järjestetään lisää, jos on kysyntää).

37

* 7.2. Ratkaisuehdotukset harjoituksen 1 tähtitehtäviin ilmestyneet.

38

* 31.1. Tämän viikon tehtävät on tarkistettu ja paperit ilmestyvät aamupäivän aikana C-käytävän laatikoihin. Tähtitehtävistä tarkistettiin ainoastaan tehtävä 12. Tarkistakaa siis itse muiden tähtitehtävienne oikeellisuus ja tarvittaessa kysykää ohjaajilta neuvoa.

39

* 22.1. Ratkaisuehdotukset ensimmäisten harjoitusten tähdettömiin tehtäviin ilmestyneet.

40

* 21.1. Tarkistetut tehtävät ilmestyvät aina palautusta seuraavana perjantaina C-käytävän laatikoihin. Hakekaahan viikon 1 tehtävänne, niin ehditte vielä tarvittaessa korjata niitä.

41

* 21.1. Ohjausluokassa on ollut hämmennystä korjauskuvioiden suhteen. Kukka (pyöreähkö, isompi) tarkoittaa oikeaa ratkaisua, lehti (pienempi, musta) tarkoittaa korjaustarvetta. Valitettavasti lehtiä ja kukkia on hieman erilaisia, [[täällä>>doc:mathstatKurssit.Kevät 2014.Algebra I, kevät 2014.Palautusohjeet.WebHome]] on kooste käytössä olevista leimoista.

42

* 15.1. Kaikille tähän mennessä ilmoittautuneille on nyt lähetetty kurssitunnukset. Ellet ole omaasi saanut, otathan yhteyttä luennoitsijaan.

43

* Ohjaus alkaa tällä viikolla ohjausluokassa C323. Ohjausajat löytyvät [[täältä>>doc:mathstatKurssit.Syksy 2012.Lineaarialgebra ja matriisilaskenta I, syksy 2012.Aukioloajat.WebHome]]. Maanantaina 13.1. logiikan ohjaus alkaa vasta luentojen jälkeen.

44

* Ensimmäiset harjoitustehtävät ovat ilmestyneet. Huomaa, että palautusaika on jo **keskiviikkona 15.1.**

45

* Ilmoittautuminen on alkanut. Harjoitustehtävien palauttamiseksi tarvitset henkilökohtaisen kurssitunnuksen, minkä takia **toivomme, että ilmoittaudut maanantaihin 13.1. klo 10.00 mennessä**.

=== Harjoitukset ===

Kurssilla annetaan viikottain laskuharjoituksia, jotka opiskelijat ratkovat ja palauttavat kirjallisesti. Laskuharjoitusten tekeminen alkaa heti ensimmäisellä luentoviikolla. Tehtävien tekeminen ei ole pakollista, mutta välttämätöntä kurssin sisällön oppimiseksi. On hyvin vaikea päästä kokeesta läpi, jos ei ole tehnyt laskuharjoituksia.

50

51

Laskuharjoituksia tehdään ohjaajien avustuksella Exactumin kolmannessa kerroksessa salissa C323 sekä käytävillä. Ohjauksessa voi viettää aikaa niin paljon kuin haluaa. Ohjausta on tarjolla useita tunteja viikossa.

52

53

Laskuharjoitustehtäviä on kahdenlaisia:

54

55

1. //Tähdellä merkitytyt tehtävät.// Näistä osa tarkistetaan yksityiskohtaisesti. Se, mitkä tähtitehtävät tarkistajat käyvät läpi, päätetään vasta palautuspäivän jälkeen. Jos ratkaisu ei läpäise tarkistusta, sen saa korjata ja palauttaa uudelleen. Tähtitehtävistä saa pisteitä vain siinä tapauksessa, että ne ovat läpäisseet tarkistuksen. Näiden tehtävien tarkoitus on paitsi sisällön oppiminen myös matemaattisen ilmaisun harjoittelu.

56

1. //Tähdettömät tehtävät.// Ohjaajat eivät tarkista näitä tehtäviä yksityiskohtaisesti. Opiskelijan vastuulla on tarkistaa omat ratkaisunsa kurssisivulle ilmestyvistä esimerkkiratkaisuista.

57

58

Harjoitustehtäviä tekemällä ansaitsee lisäpisteitä, jotka lasketaan erikseen tähdillä merkityistä tehtävistä ja tähdettömistä tehtävistä. Kummastakin kategoriasta voi saada maksimissaan kaksi lisäpistettä (yhteensä maksimissaan neljä pistettä).

59

60

Kurssikokeista voi saada yhteensä korkeintaan 48 pistettä.

61

62

==== Harjoitustehtävät ====

63

64

Harjoitustehtävät ilmestyvät tähän.

65

66

[[Harjoitus 1>>attach:h1.pdf]]

67

68

[[Harjoitus 2>>attach:h2.pdf]]

69

70

[[Harjoitus 3>>attach:h3.pdf]]

71

72

[[Harjoitus 4>>attach:h4.pdf]]

73

74

[[Harjoitus 5>>attach:h5.pdf]]

75

76

[[Harjoitus 6>>attach:h6.pdf]]

77

78

[[Kertaustehtävät 1>>attach:kert1.pdf]], näitä ei palauteta eikä niihin tule malleja.

79

80

[[Harjoitus 7>>attach:h7.pdf]]

81

82

[[Harjoitus 8>>attach:h8.pdf]]

83

84

[[Harjoitus 9>>attach:h9.pdf]]

85

86

[[Harjoitus 10>>attach:h10.pdf]] (korjattu 1.4.)

87

88

[[Harjoitus 11>>attach:h11.pdf]]

89

90

[[Harjoitus 12>>attach:h12.pdf]]

91

92

[[Kertaustehtävät 2>>attach:kert2.pdf]], näitä ei palauteta eikä niihin tule malleja.

==== Harjoitusten palauttaminen ====

97

98

Laskuharjoitustehtävien ratkaisut palautetaan kirjallisesti salin C323 edessä käytävällä olevaan palautuslaatikkoon kunkin viikon keskiviikkona. Tehtäviä ei voi palauttaa sähköpostitse.

99

100

(% style="color: rgb(255,102,0);" %)**Kun palautat tehtävät, noudata [[(% style="color: rgb(255, 102, 0); color: rgb(255, 102, 0)" %)palautusohjeita>>url:http://wiki.helsinki.fi/display/mathstatKurssit/Palautusohjeet||shape="rect"]](%%)**(%%). Kurssilla on satoja opiskelijoita ja ohjaajien työstä tulee raskasta, jos tehtävät on palautettu vähänkin huolimattomasti.

101

102

Tähdellä merkityt tehtävät tarkastetaan, ja opiskelijat noutavat tarkastetut ratkaisunsa laatikoista salin C323 edestä C-käytävältä. Tehtävät on lajiteltu kurssikoodin mukaan. Ne tehtävät, joiden ratkaisut kaipaavat korjausta, voi palauttaa uudelleen. Korjaamista saa yrittää kahdella seuraavalla palautuskerralla. Viimeinen palautuspäivä korjatuille tehtäville on siis kahden viikon päästä alkuperäisestä palautuspäivästä.

=== Luennot ===

Viikot 3-8 ja 11-17 ma 14-16, pe 11-12 A111.

107

108

Pääsiäisloma 17.-23.4.

109

110

**Luennolla käsiteltiin** (kaikkea ei löydy kalvoilta):

111

13.1. käytännön asioita ja propositiolauseita, [[kalvot>>attach:1_13.pdf]]

112

17.1. propositiolauseita ja induktiota

113

20.1. totuusjakaumia ja totuustauluja sekä totuusfunktioita, [[kalvot>>attach:1_20.pdf]]24.1. totuusfunktiot, disjunktiivinen ja konjunktiivinen normaalimuoto, (% class="confluence-link" %)[[kalvot>>attach:1_24.pdf]]

114

27.1. luonnollista päättelyä, (% class="confluence-link confluence-link" %)[[kalvot>>attach:1_27.pdf]]

115

31.1. harjoituksen 3 tehtäviä 9, 13 ja 14

116

3.2. luonnollista päättelyä ja eheyslausetta, [[kalvot>>attach:2_3.pdf]]

117

7.2. luonnollista päättelyä, [[kalvo>>attach:2_07.pdf]]

118

10.2. semanttisia puita, [[kalvot>>attach:2_10.pdf]]

119

14.2. puita ja eheyslausetta sekä mall(% class="confluence-link confluence-link confluence-link confluence-link" %)eja, [[kalvot>>attach:2_14.pdf]](% class="confluence-link confluence-link" %)

120

17.2. malleja, aakkostoja, tulkintafunktioita, jne. [[kalvot>>attach:2_17.pdf]]

121

21.2. Propositiologiikan kertaus, [[kalvot>>attach:2_21.pdf]]

122

10.3. Kaavat, tulkintafunktiot, toteutuminen, [[kalvot>>attach:3_10.pdf]]

123

14.3. Selvennyksiä (notaatio, aakkosto, Tarskin totuusmääritelmä), totuus, validisuus, loogiset seuraukset ja ekvivalenssit, [[kalvot>>attach:3_14.pdf]]

124

17.3. Vapaat ja sidotut muuttujat, määriteltävyys, [[kalvot>>attach:3_17.pdf]]

125

21.3. Projektiot, sijoitus, vapaa muuttujalle, [[kalvot>>attach:3_21.pdf]]

126

24.3. Päättely predikaattilogiikassa, [[kalvot>>attach:3_24.pdf]]

127

28.3. Predikaattilogiikan eheyslause, [[kalvot>>attach:3_28.pdf]]

128

31.3. Aksioomat ja teoriat, semanttiset puut, [[kalvot>>attach:3_31.pdf]]

129

4.4. Semanttisen todistuksen eheys, [[kalvot>>attach:4_04.pdf]]

130

7.4. n-paikkaiset relaatiot ja funktiot, [[kalvot>>attach:4_07.pdf]]

131

11.4. isomorfismi, [[kalvot>>attach:4_11.pdf]]

132

14.4. Isomorfismi säilyttää totuuden, [[kalvot>>attach:4_14.pdf]]

\\

=== Kokeet ===

* 1. kurssikoe 28.2. klo 13-15 Exactumin auditorioissa

138

* 2. kurssikoe 2.5. klo 13-15 Exactumin auditorioissa

139

140

Jos olet ilmoittautunut kurssille, kokeisiin ei tarvitse ilmoittautua.

141

142

Kummastakin kurssikokeesta voi saada korkeintaan 24 pistettä. Pelkästään toisen kurssikokeen suorittaminen ei riitä. Jotta voisi päästä kurssista läpi, on molemmistä kokeista saatava vähintään 8 pistettä. (Tämä ei kuitenkaan riitä läpipääsyyn, vaan on vain välttämätön ehto sille.)

143

144

Jos et jostakin painavasta syystä pääse kurssikokeeseen, voit osallistua korvaavaan kokeeseen. Ota tällöin yhteyttä luennoitsijaan mahdollisimman pian. Painavia syitä ovat esimerkiksi sairastuminen tai päällekäinen tentti. Työhön liittyvät menot eivät pääsääntöisesti ole tällainen syy.

145

146

Kurssin voi suorittaa myös laitoksen [[yleistentissä>>url:http://wiki.helsinki.fi/display/mathstatOpiskelu/Yleistentit||rel="nofollow" shape="rect" class="external-link"]]. Tällöin laskuharjoituksista myönnettäviä lisäpisteitä ei kuitenkaan oteta huomioon. Jos suoritat kurssin yleistentissä, ei siitä tarvitse ilmoittaa luennoitsijalle. Ilmoittautuminen hoituu WebOodin kautta.

=== Kirjallisuus ===

Kurssi seuraa Jouko Väänäsen monistetta [[Logic One>>attach:LogicOne.pdf]] (päivitetty versio 13.3.). [[S>>attach:LogiikkaYksi.pdf]][[uomennos löytyy täältä>>attach:LogiikkaYksi.pdf]].

151

152

===== Muu kirjallisuus (aikaisempien kurssien monisteita): =====

153

154

* Åsa Hirvonen: [[Logik I>>attach:logik.pdf]].

155

* Kaarlo Reipas: [[Logiikka I>>attach:reipas_logiikka.pdf]].

156

* Hannele Salminen, Jouko Väänänen. Johdatus logiikkaan. Gaudeamus 1992.

157

158