Johdatus logiikkaan I, kevät 2016

The [toc] macro is a standalone macro and it cannot be used inline. Click on this message for details.
This macro generates standalone content. As a consequence you need to make sure to use a syntax that separates your macro from the content before and after it so that it's on a line by itself. For example in XWiki Syntax 2.0+ this means having 2 newline characters (a.k.a line breaks) separating your macro from the content before and after it.

Ajankohtaista

•  Ensimmäinen luento ma 18.1. Laskarit alkavat heti ensimmäisellä viikolla (ensimmäiset laskarit ti 19.1.)
• Huomatkaa, että luennoitsija päivystää Ratkomossa tiistaisin 14-15
• Kisälliohjaaja Tuomas Salonen (ke 12-14 ja pe 15-17, keltaiset liivit) ohjaa myös logiikkaa
• Koeviikolla ei ole Ratkomo-päivystystä, mutta luennoitsija päivystää keskiviikkona 9.3. klo 9-11 työhuoneessaan D318 - tervetuloa kysymään kurssista
• Laskuharjoitus- ja läsnäolotiedot ovat nyt laitoksen koetulossivulla (vaatii sisäänkirjautumisen). Käykäähän tarkistamassa tietonne, ja laittakaa luennoitsijalle sähköpostia, jos löydätte korjattavaa.
• 8.4. Kokeet on arvosteltu ja tulokset ovat laitoksen koetulossivulla, samoin tilastot pisteiden jakautumisesta. Kurssitulokset saadaan Oodiin ensi viikolla.
• Kokeidenkatsomistilaisuus järjestetään ke 13.4. klo 10-11 kolmannen kerroksen kokoushuoneessa D340.
• 14.4. Tulosten pitäisi ilmestyä lähiaikoina oodiin. Tässä pisterajat, arvosanajakauma sekä pikku graafi laskaripisteiden ja koepisteiden korrelaatiosta.

Opetusajat

Viikot 3-9 ma 14-16 ja ti 10-12 auditoriossa A111. Lisäksi laskuharjoituksia 2 viikkotuntia.

Koe

• Kurssikoe pe 11.3. klo 12.15-14.45 Exactumin auditorioissa
  Kokeessa ei saa käyttää laskimia eikä taulukkokirjoja

Jos olet ilmoittautunut kurssille, kokeeseen ei tarvitse ilmoittautua.

Yleistentti

Kokeen voi suorittaa myös laitoksen yleistentissä. Tarkemmat tiedot yleistenteistä löydät täältä. Yleistenttiin ilmoittaudutaan weboodissa. Laskuharjoituspisteet ovat voimassa tämän vuoden toukokuun yleistentissä sekä kesätenteissä. Jos haluat, että laskuharjoituspisteesi huomioidaan yleistentissä, ilmaise se selkeästi vastauspaperisi etusivulla.

Kurssimateriaali

Kurssimateriaali löytyy tästä ja päivittyy kurssin edetessä. Sisältö vastaa suurilta osin viime vuoden kurssin Logiikka I propositiologiikan osiota.

Lisämateriaalina voi käyttää esim. seuraavia opuksia:

• Jouko Väänänen: Logic One (tai sen suomennosta)
• Kaarlo Reipas: Logiikka I
• Hannele Salminen, Jouko Väänänen: Johdatus logiikkaan. Gaudeamus 1992.
• Joni Puljujärven induktiotodistuskokoelma

Ilmoittaudu kurssille

Unohditko ilmoittautua? Katso ohjeet täältä!

Laskuharjoitukset

Kurssilla käytetään ns. ½+½-laskarimallia, 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ä.

Harjoitustehtävät

• Tehtävät 1 Ratkaisuehdotuksia Haastetehtävän ratkaisuhahmotelma
• Tehtävät 2 Ratkaisuehdotuksia Haastetehtävän ratkaisuhahmotelma
• Tehtävät 3 Ratkaisuehdotuksia Haastetehtävän ratkaisuhahmotelma
• Tehtävät 4 Ratkaisuehdotuksia Haastetehtävän ratkaisuhahmotelma
• Tehtävät 5 Ratkaisuehdotuksia
• Tehtävät 6 Ratkaisuehdotuksia
• Kertaustehtävät (näistä ei saa lisäpisteitä, mutta ne soveltuvat erinomaisesti kokeeseen kertaamiseen) Ratkaisuehdotuksia

Harjoitusryhmät

Laskuharjoituspisteet

Opiskelijoita palkitaan sekä tehtävien tekemisestä että läsnäolosta laskuharjoitustilaisuuksissa.

Tehdyistä tehtävistä jaetaan lisäpisteitä oheisen taulukon mukaisesti.

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.

Palautetta kurssista

Matematiikan ja tilastotieteen laitoksella on käytössä jatkuva palautteen keruu eli voit antaa palautetta missä tahansa kohdassa kurssia. Palautelomakkeeseen pääset täältä.