Johdatus logiikkaan II, kevät 2016

Last modified by pankka@helsinki_fi on 2024/03/27 10:27

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 tähän kurssin aikana.

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

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

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