Johdatus logiikkaan II, kevät 2016

Ajankohtaista

•  Huomaa, että laskuharjoitukset alkavat jo  viikolla 11.
• Luennoitsija päivystää Ratkomossa tiistaisin 14-15
• Kisälliohjaaja (keltaiset liivit) Tuomas Salonen päivystää keskiviikkoisin 12-14 ja perjantaisin 15-17 ja hän ohjaa tarvittaessa myös logiikkaa
• 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.
• Tiistaina 19.4. on sekä luennot että laskuharjoitukset aivan normaalisti, laitoksen virkistäytymispäivästä huolimatta.
• 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.
• Koeviikolla ei ole Ratkomo-päivystystä, mutta luennoitsija päivystää työhuoneessaan D318 to 12.5. klo 9-11.
• Kurssitulokset löytyvät laitoksen tulossivulta (vaatii sisäänkirjautumisen), ja ilmestynevät lähiaikoina myös oodiin. Kiitokset kaikille kurssista ja hyvää kesää!
• Kokeidenkatsomistilaisuus järjestetään tiistaina 31.5. klo 9-10 kokoushuoneessa D340.

Opetusajat

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

Pääsiäisloma 24.-30.3.

Kokeet

• Kurssikoe pe 13.5. klo 12.15-14.45 Exactumin auditorioissa

Jos olet ilmoittautunut kurssille, kurssikokeeseen ei tarvitse ilmoittautua erikseen.

Kurssin voi vaihtoehtoisesti suorittaa laitoksen yleistentissä. Tiedot aikatauluista ja ilmoittautumisohjeet löydät täältä. Laskuharjoituspisteet ovat voimassa tämän vuoden toukokuun yleistentissä ja kesätenteissä. Jos haluat, että laskuharjoituspisteesi huomioidaan yleistentissä, ilmaise se selkeästi vastauspaperisi etusivulla.

Kurssimateriaali

Kurssimateriaali päivittyy tähän kurssin aikana.

Lisämateriaalina voi käyttää aikaisempien vuosien Logiikka I:n materiaaleja.

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

Ilmoittaudu kurssille

Unohditko ilmoittautua? Katso ohjeet täältä!

Laskuharjoitukset

Kurssilla käytetään ns. ½+½-laskuharjoitusmallia, 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 (näiden tekeminen aloitetaan laskuharjoitusryhmissä viikolla 11, ja niiden tulee olla tehtynä viikolla 12) Ratkaisuehdotuksia
• Tehtävät 2 (tehtävissä xEy on lyhennysmerkintä kaavalle E(x,y)) Ratkaisuehdotuksia
• Tehtävät 3 Ratkaisuehdotuksia
• Tehtävät 4 Ratkaisuehdotuksia
• Tehtävät 5 Ratkaisuehdotuksia
• Tehtävät 6 Ratkaisuehdotuksia
• Kertaustehtäviä

Kertaustehtäviin ja haastetehtäviin voi pyytää ratkaisuja liitutaululla esim. torstain 12.5. päivystyksessä huoneessa D318.

Harjoitusryhmät

Ryhmä	Päivä	Aika	Paikka	Pitäjä
1.	ti	12-14	C129	Saara Heikkilä
2.	ke	10-12	C323	Kristian Setälä
3.	ke	16-18	C321	Joni Puljujärvi
4.	to	12-14	C323	Miriam Hägele
5.	pe	10-12	C322	Jonne Nyberg
6.	pe	14-16	B321	David Forsman

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ä.