Johdatus logiikkaan II, kevät 2016
Johdatus logiikkaan II, kevät 2016
Kurssin presemo
Vastuuopettaja: Åsa Hirvonen
Laajuus: 5 op
Tyyppi: Aineopintoja
57160 Johdatus logiikkaan I (5 op) ja 57161 Johdatus logiikkaan II (5 op) vastaavat yhdessä kurssia 57274 Logiikka I (10 op)
Opetus: Luennot ja laskuharjoitukset
Sisältö: Predikaattilogiikan mallit, kaavat, toteutuminen; määriteltävyys, isomorfismit, päättely
Esitietovaatimukset: Johdatus logiikkaan I tai vastaavat tiedot
The [toc] macro is a standalone macro and it cannot be used inline. Click on this message for details.
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
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
- (näiden tekeminen aloitetaan laskuharjoitusryhmissä viikolla 11, ja niiden tulee olla tehtynä viikolla 12)
- (tehtävissä xEy on lyhennysmerkintä kaavalle E(x,y))
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.
Tehtyjä tehtäviä | ≥ 40 % | ≥ 55 % | ≥ 70 % | ≥ 85 % |
---|---|---|---|---|
Pisteet | 1 | 2 | 3 | 4 |
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ä.