{"id":5,"date":"2017-06-22T10:58:06","date_gmt":"2017-06-22T07:58:06","guid":{"rendered":"https:\/\/coursepages.uta.fi\/mtts1-rl\/?page_id=5"},"modified":"2018-05-22T17:36:53","modified_gmt":"2018-05-22T14:36:53","slug":"paasivu","status":"publish","type":"page","link":"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/","title":{"rendered":"P\u00e4\u00e4sivu"},"content":{"rendered":"<h1>Sis\u00e4lt\u00f6<\/h1>\n<p>Kurssilla k\u00e4yd\u00e4\u00e4n l\u00e4pi mm. seuraavia asioita: predikaattilogiikka, tiimisemantiikka, erilaiset riippuvuusatomit, riippuvuuslogiikan ilmaisuvoima.<\/p>\n<p>Valmista luentomateriaalia ei vie\u00e4 ole, mutta kurssin edetess\u00e4 laaditaan luentomonistetta: <a href=\"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-content\/uploads\/sites\/93\/2018\/03\/RiippuvuusLog.pdf\">Luku1<\/a>\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-content\/uploads\/sites\/93\/2018\/03\/Luku2.pdf\">Luku 2<\/a>\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-content\/uploads\/sites\/93\/2018\/05\/Luku3.pdf\">Luku 3<\/a><\/p>\n<p>Aiheesta on olemassa Jouko V\u00e4\u00e4n\u00e4sen kirjoittama oppikirja <a href=\"https:\/\/www.cambridge.org\/core\/books\/dependence-logic\/7CBD943A0FB6D751FABB0C7FCD34BC1D\">Dependence Logic<\/a>, josta l\u00f6ytyy suuri osa kurssilla k\u00e4sitelt\u00e4vist\u00e4 asioista.<\/p>\n<h1>Opetus<\/h1>\n<p>Luennoija: Lauri Hella (Lauri.Hella[\u00e4t]uta.fi), tavattavissa luentojen yhteydess\u00e4 sek\u00e4 vastaanotolla (ma 15\u201316).<\/p>\n<p>Harjoituksia ohjaa Rene L\u00f6fberg (Lofberg.Rene.A[\u00e4t]student.uta.fi).<\/p>\n<h2>Luennot<\/h2>\n<ul>\n<li class=\"opsi_opetustapa_ajankohta\">Ti \u00a0 klo 14-16\u00a0 Pinni A2089<\/li>\n<li class=\"opsi_opetustapa_ajankohta\">To\u00a0 klo 14-16\u00a0 Pinni B0020<\/li>\n<\/ul>\n<div><\/div>\n<div><\/div>\n<div class=\"opsi_opetustapa_ajankohta\">Ensimm\u00e4inen luento on tiistaina 13.3. ja viimeinen tiistaina 8.5.<\/div>\n<h2>Harjoitukset<\/h2>\n<ul>\n<li>Ma \u00a0 klo 14-16\u00a0 Pinni B0020<\/li>\n<\/ul>\n<p>Ensimm\u00e4inen harjoitus on maanantaina 19.3. ja viimeinen maanantaina 14.5.<\/p>\n<p><strong>Huom:<\/strong> Harjoitus 7 on maanantaina 14.5.<\/p>\n<h2>Harjoitusteht\u00e4v\u00e4t<\/h2>\n<p>Teht\u00e4v\u00e4t (pdf-tiedostot) tulevat t\u00e4h\u00e4n edellisen viikon tiistaihin menness\u00e4.<\/p>\n<p><a href=\"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-content\/uploads\/sites\/93\/2018\/03\/H1-18.pdf\">Harjoitus 1<\/a>\u00a0\u00a0\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-content\/uploads\/sites\/93\/2018\/03\/H2-18.pdf\">Harjoitus 2<\/a>\u00a0\u00a0\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-content\/uploads\/sites\/93\/2018\/03\/H3-18.pdf\">Harjoitus 3<\/a>\u00a0\u00a0\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-content\/uploads\/sites\/93\/2018\/04\/H4-18.pdf\">Harjoitus 4<\/a>\u00a0\u00a0\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-content\/uploads\/sites\/93\/2018\/04\/H5-18.pdf\">Harjoitus 5<\/a>\u00a0\u00a0\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-content\/uploads\/sites\/93\/2018\/04\/H6-18.pdf\">Harjoitus 6<\/a><\/p>\n<p><a href=\"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-content\/uploads\/sites\/93\/2018\/05\/H7-18.pdf\">Harjoitus 7<\/a><\/p>\n<h1>Kurssin suorittaminen<\/h1>\n<p>Riippuvuuslogiikka on matematiikan syvent\u00e4vien opintojen erikoiskurssi, jonka laajuus on 5 op. Kurssi suoritetaan kurssikokeella ja aktiivisella osallistumisella harjoituksiin, tai vaihtoehtoisesti lopputentill\u00e4. Kurssikokeesta voi saada 0-24 pistett\u00e4. Lis\u00e4ksi harjoitusteht\u00e4vist\u00e4 saa pisteit\u00e4 seuraavan taulukon mukaan:<\/p>\n<p>0\u201329% 0p \u00a0 30\u201339% 1p\u00a0\u00a0 40\u201349% 2p\u00a0\u00a0 50\u201359% 3p\u00a0\u00a0 60\u201369% 4p\u00a0\u00a0 70\u201379% 5p\u00a0\u00a0 80\u2013100% 6p<\/p>\n<p>N\u00e4m\u00e4 pisteet eiv\u00e4t ole lis\u00e4pisteit\u00e4, vaan niill\u00e4 voi parantaa yhden kurssikokeessa mahdollisesti ep\u00e4onnistuneen teht\u00e4v\u00e4n pisteit\u00e4 seuraavasti:<\/p>\n<p>Jos koeteht\u00e4v\u00e4st\u00e4 on saanut k pistett\u00e4, ja harjoituspisteiden m\u00e4\u00e4r\u00e4 on h, niin k:n saa korvata pisteill\u00e4 min{h,k+3}.<\/p>\n<p>Kurssin suorittamiseen kurssikokeella vaaditaan n. 12 pistett\u00e4.<\/p>\n<h1>Kurssikoe<\/h1>\n<p><strong>Kurssikoe pidet\u00e4\u00e4n tiistaina 15.5.\u00a0 klo 14-17 salissa Pinni A2089.<\/strong><\/p>\n<h1>Kurssin itsen\u00e4inen suorittaminen<\/h1>\n<p>Kurssin voi suorittaa my\u00f6s itsen\u00e4isesti opiskellen osallistumalla kirjalliseen tenttiin. Tenttimahdollisuutta pit\u00e4\u00e4 kysy\u00e4 kurssin vastuuhenkil\u00f6lt\u00e4 (Lauri Hella). Tentti on samankaltainen kuin kurssikoe ja se pohjautuu kurssin luentoihin. Erityisen t\u00e4rke\u00e4\u00e4 tenttiin valmistautuessa on pyrki\u00e4 ratkaisemaan t\u00e4ll\u00e4 sivulla olevia harjoitusteht\u00e4vi\u00e4. Ratkaisujen tarkastamiseen saa pyyt\u00e4\u00e4 apua ja neuvoja kurssin vastuuhenkil\u00f6lt\u00e4.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Sis\u00e4lt\u00f6 Kurssilla k\u00e4yd\u00e4\u00e4n l\u00e4pi mm. seuraavia asioita: predikaattilogiikka, tiimisemantiikka, erilaiset riippuvuusatomit, riippuvuuslogiikan ilmaisuvoima. Valmista luentomateriaalia ei vie\u00e4 ole, mutta kurssin edetess\u00e4 laaditaan luentomonistetta: Luku1\u00a0\u00a0 Luku 2\u00a0\u00a0 Luku 3 Aiheesta on olemassa Jouko V\u00e4\u00e4n\u00e4sen kirjoittama oppikirja Dependence Logic, josta l\u00f6ytyy suuri osa kurssilla k\u00e4sitelt\u00e4vist\u00e4 asioista. Opetus Luennoija: Lauri Hella (Lauri.Hella[\u00e4t]uta.fi), tavattavissa luentojen yhteydess\u00e4 sek\u00e4 vastaanotolla (ma &hellip; <a href=\"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/\" class=\"more-link\">Jatka artikkeliin <span class=\"screen-reader-text\">P\u00e4\u00e4sivu<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-5","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-json\/wp\/v2\/pages\/5","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-json\/wp\/v2\/comments?post=5"}],"version-history":[{"count":23,"href":"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-json\/wp\/v2\/pages\/5\/revisions"}],"predecessor-version":[{"id":57,"href":"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-json\/wp\/v2\/pages\/5\/revisions\/57"}],"wp:attachment":[{"href":"https:\/\/coursepages2.tuni.fi\/mtts1-rl\/wp-json\/wp\/v2\/media?parent=5"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}