{"id":5,"date":"2017-06-22T10:58:06","date_gmt":"2017-06-22T07:58:06","guid":{"rendered":"https:\/\/coursepages.uta.fi\/mttma9\/?page_id=5"},"modified":"2018-02-27T10:51:07","modified_gmt":"2018-02-27T08:51:07","slug":"paasivu","status":"publish","type":"page","link":"https:\/\/coursepages2.tuni.fi\/mttma9\/","title":{"rendered":"P\u00e4\u00e4sivu"},"content":{"rendered":"<h1>Sis\u00e4lt\u00f6<\/h1>\n<p>Kurssilla k\u00e4sitell\u00e4\u00e4n seuraavia asioita: Modaalilogiikan kaavat, Kripke-kehykset ja -mallit, modaliteetit, validisuus malleissa ja kehyksiss\u00e4, modaalisysteemit, modaalilogiikan todistusteoriaa, korrespondenssiteoriaa.<\/p>\n<p>Luennoilla seurataan Ari Virtasen laatimaa luentomonistetta, joka pohjautuu oppikirjaan Rantala-Virtanen: <a href=\"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-content\/uploads\/sites\/87\/2018\/01\/modaalilogiikka.pdf\">Johdatus modaalilogiikkaan<\/a>. Oppikirjaa ei tarvitse hankkia, mutta siin\u00e4 on paljon aiheeseen liittyv\u00e4\u00e4 mielenkiintoista lis\u00e4materiaalia, jota ei kurssilla k\u00e4sitell\u00e4.<\/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 P\u00e4\u00e4talo A2b<\/li>\n<li class=\"opsi_opetustapa_ajankohta\">To\u00a0 klo 14-16\u00a0 P\u00e4\u00e4talo A2b<\/li>\n<\/ul>\n<div><\/div>\n<div><\/div>\n<div class=\"opsi_opetustapa_ajankohta\">Ensimm\u00e4inen luento on tiistaina 16.1. ja viimeinen torstaina 1.3.<\/div>\n<div class=\"opsi_opetustapa_ajankohta\"><strong>Poikkeus:<\/strong> Torstaina 15.2. luento on salissa P\u00e4\u00e4talo A3<\/div>\n<div>\n<h2>Luentojen eteneminen<\/h2>\n<p>T\u00e4h\u00e4n tulee viikoittain tieto luennoilla k\u00e4sitellyist\u00e4 asioista.<\/p>\n<ol>\n<li>viikko (16.1. ja 18.1.): Johdanto (Luku 1) ja Todistus induktiolla kaavan pituuden suhteen (Luvun 3.1 loppuun). Luentomonisteen sivut 4-11 ja 22-24.<\/li>\n<li>viikko (23.1. ja 25.1.): L-semantiikka (Luku 2) ja Korvauss\u00e4\u00e4nt\u00f6 semanttisesti (Luku 3.2). Luentomonisteen sivut 12-21 ja 24-26.<\/li>\n<li>viikko (30.1. ja 1.2.): Kripke-semantiikka (Luku 4). Luentomonisteen sivut 26-36.<\/li>\n<li>viikko (6.2. ja 8.2.): Modaalilogiikan systeemit (Luku 5). Luentomonisteen sivut 37-46.<\/li>\n<li>viikko (13.2. ja 15.2.): Modaalilogiikan todistusteoriaa (Luku 6) ja Luotettavuus (Luvun 7 alku). Luentomonisteen sivut 47-58.<\/li>\n<li>viikko (20.2. ja 22.2.): Luotettavuus (Luvun 7 loppu), Korrespondenssiteoriaa (Luvun 8.1 loppuun) ja T\u00e4ydellisyys (Luvun 9.2 loppuun). Luentomonisteen sivut 58-63 ja 70-76.<\/li>\n<li>viikko (27.2.): T\u00e4ydellisyys (Luku 9.3.). Luentomonisteen sivut 76-78. Lis\u00e4ksi koealueen kertaus.<\/li>\n<\/ol>\n<\/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 22.1. ja viimeinen maanantaina 26.2.<\/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\/mttma9\/wp-content\/uploads\/sites\/87\/2018\/01\/H1-18.pdf\">Harjoitus 1<\/a>\u00a0\u00a0\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-content\/uploads\/sites\/87\/2018\/01\/H2-18.pdf\">Harjoitus 2<\/a>\u00a0\u00a0\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-content\/uploads\/sites\/87\/2018\/01\/H3-18.pdf\">Harjoitus 3<\/a>\u00a0\u00a0\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-content\/uploads\/sites\/87\/2018\/02\/H4-18.pdf\">Harjoitus 4<\/a>\u00a0\u00a0\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-content\/uploads\/sites\/87\/2018\/02\/H5-18.pdf\">Harjoitus 5<\/a>\u00a0\u00a0\u00a0\u00a0 <a href=\"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-content\/uploads\/sites\/87\/2018\/02\/H6-18.pdf\">Harjoitus 6<\/a><\/p>\n<h1>Kurssin suorittaminen<\/h1>\n<p>Johdatus modaalilogiikkaan on matematiikan aineopintojen 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>Kurssikoe on <strong>torstaina 1.3. klo 14-17<\/strong> salissa <strong>P\u00e4\u00e4talo A2b<\/strong>. Kurssin voi suorittaa my\u00f6s lopputentill\u00e4; ensimm\u00e4inen tenttitilaisuus on 6.4. tiedekunnan yleisen tentin yhteydess\u00e4.<\/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 yll\u00e4mainittuun Ari Virtasen luentomonisteeseen. Monisteesta tulee opiskella Luvut 2-9, ja 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\u00e4sitell\u00e4\u00e4n seuraavia asioita: Modaalilogiikan kaavat, Kripke-kehykset ja -mallit, modaliteetit, validisuus malleissa ja kehyksiss\u00e4, modaalisysteemit, modaalilogiikan todistusteoriaa, korrespondenssiteoriaa. Luennoilla seurataan Ari Virtasen laatimaa luentomonistetta, joka pohjautuu oppikirjaan Rantala-Virtanen: Johdatus modaalilogiikkaan. Oppikirjaa ei tarvitse hankkia, mutta siin\u00e4 on paljon aiheeseen liittyv\u00e4\u00e4 mielenkiintoista lis\u00e4materiaalia, jota ei kurssilla k\u00e4sitell\u00e4. Opetus Luennoija: Lauri Hella (Lauri.Hella[\u00e4t]uta.fi), tavattavissa luentojen yhteydess\u00e4 &hellip; <a href=\"https:\/\/coursepages2.tuni.fi\/mttma9\/\" 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\/mttma9\/wp-json\/wp\/v2\/pages\/5","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-json\/wp\/v2\/comments?post=5"}],"version-history":[{"count":26,"href":"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-json\/wp\/v2\/pages\/5\/revisions"}],"predecessor-version":[{"id":62,"href":"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-json\/wp\/v2\/pages\/5\/revisions\/62"}],"wp:attachment":[{"href":"https:\/\/coursepages2.tuni.fi\/mttma9\/wp-json\/wp\/v2\/media?parent=5"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}