Wiki source code of Modaalilogiikka, syksy 2015

Last modified by huuskone@helsinki_fi on 2024/03/27 10:48
Show last authors
1 = Modaalilogiikka, syksy 2015 =
2
3
4
5 {{panel}}
6 **Vastuuopettaja:** [[Taneli Huuskonen>>doc:mathstatHenkilokunta.Huuskonen, Taneli]]
7
8 **Laajuus:** 10 op
9
10 **Tyyppi:** Syventävä opinto
11
12 **Opetus:** Luentoja 4 viikkotuntia, laskuharjoituksia 2 viikkotuntia.
13
14 **Sisältö: **Kurssilla perehdytään ns. //aleettiseen modaalilogiikkaan//, joka käsittelee klassisen lauselogiikan laajentamista välttämättömyyden ja mahdollisuuden käsitteillä sekä näihin liittyvillä päättelyillä ja ns. //Kripke-malleilla//.  Aihetta lähestytään matemaattisesti.  Erilaisten aksioomajärjestelmien ominaisuuksia, erityisesti niiden yhteyksiä Kripke-mallien luokkiin,  tutkitaan abstraktisti paneutumatta niiden sisältöön filosofian tai tietojenkäsittelytieteen näkökulmasta.  Kurssilla opittavat perustiedot ovat kuitenkin relevantteja sekä filosofeille että tietojenkäsittelijöille.
15
16 **Esitietovaatimukset:** Klassisen lauselogiikan peruskäsitteet, kuten kaava, tautologia, looginen seuraus, formaali todistus, päättelyjärjestelmän eheys ja täydellisyys, edellytetään tunnetuiksi.  Lisäksi predikaattilogiikan tunteminen voi helpottaa joidenkin asioiden omaksumista.  Kurssin //Logiikka I //tiedot riittävät hyvin.**
17 **
18 {{/panel}}
19
20 === {{toc maxLevel="4" minLevel="2" indent="20px"/}} ===
21
22 == Ajankohtaista ==
23
24 * Tenttitehtävät, malliratkaisut ja uusintatentti
25
26 == Opetusajat ==
27
28 Viikot 36-42 ja 44-50 ma 12-14 ja ti 10-12 salissa B321. Lisäksi laskuharjoituksia 2 viikkotuntia.
29
30 === Viikon 50 opetus ===
31
32 Viimeisen opetusviikon luennot (7.-8.12.) käytetään keskeisten asioiden kertaamiseen, koska uutta asiaa ei olisi tilaisuutta käsitellä harjoituksissa.  Viimeisten harjoitusten malliratkaisut lisätään etukäteen tälle sivulle itseopiskelun helpottamiseksi, ja harjoitustilaisuus 9.12. varataan niihin sekä mahdollisiin muihin asioihin liittyville kysymyksille ja keskustelulle.
33
34 == Kokeet ==
35
36 Kurssi suoritetaan [[yleistentissä>>url:http://wiki.helsinki.fi/display/mathstatOpiskelu/Yleistentit||shape="rect"]]** 10.12.2015** klo **16-20**.  Uusintatentti pidetään **28.1.2016 **klo **16-20** sekä tarvittaessa sovitusti myöhemmin.   Tentissä edellytetään osattavaksi ne oppikirjaan tai muuhun materiaaliin sisältyvät asiat, joita on käsitelty laskuharjoituksissa.
37
38
39
40 [[Tentti 10.12.2015>>attach:mod2015s_lk1.pdf]] [[Ratkaisut>>attach:mod2015s_lr1.pdf]]
41
42 == Kurssimateriaali ==
43
44 Kurssi perustuu pääasiassa Veikko Rantalan ja Ari Virtasen kirjaan //Johdatus modaalilogiikkaan //(Gaudeamus, Helsinki 2004).  Suuri osa kirjan osasta I sivuutetaan.  Muu materiaali lisätään tälle kurssisivulle.
45
46 [[Vaihtoehtoinen johdanto>>attach:modaali-1.pdf]], joka käsitellään 1. luennolla.
47
48 [[Kurssiteksti, osa 2 (korjattu)>>attach:modaali-2.pdf]]
49
50 [[Kurssiteksti, osa 3>>attach:modaali-3.pdf]]
51
52 [[Wikipedian sivu intuitionistisesta logiikasta (englanniksi)>>url:https://en.wikipedia.org/wiki/Intuitionistic_logic||shape="rect"]]
53
54 [[Bezhanishvili - de Jongh: Intuitionistic Logic (täydellisyyslause s. 18)>>url:http://www.math.uni-hamburg.de/home/khomskii/intuitionistic_old_2008/PP-2006-25.text.pdf||shape="rect"]]
55
56 == [[Ilmoittaudu kurssille>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57072||shape="rect"]] ==
57
58
59 Unohditko ilmoittautua? [[Katso ohjeet täältä!>>doc:mathstatOpiskelu.Kysymys4]]
60
61 == Laskuharjoitukset ==
62
63 === Harjoitustehtävät ===
64
65 * [[Tehtävät 1>>attach:ht_1.pdf]] [[Ratkaisut 1>>attach:hr_1.pdf]]
66 * [[Tehtävät 2>>attach:ht_2.pdf]] [[Ratkaisut 2>>attach:hr_2.pdf]]
67 * [[Tehtävät 3>>attach:ht_3.pdf]] [[Ratkaisut 3>>attach:hr_3.pdf]]
68 * [[Tehtävät 4>>attach:ht_4.pdf]] [[Ratkaisut 4>>attach:hr_4.pdf]]
69 * [[Tehtävät 5>>attach:ht_5.pdf]] [[Ratkaisut 5>>attach:hr_5.pdf]]
70 * [[Tehtävät 6>>attach:ht_6.pdf]] [[Ratkaisut 6>>attach:hr_6.pdf]]
71 * [[Tehtävät 7>>attach:ht_7.pdf]] [[Ratkaisut 7>>attach:hr_7.pdf]]
72 * [[Tehtävät 8>>attach:ht_8.pdf]] [[Ratkaisut 8>>attach:hr_8.pdf]]
73 * [[Tehtävät 9>>attach:ht_9.pdf]] [[Ratkaisut 9>>attach:hr_9.pdf]]
74 * [[Tehtävät 10>>attach:ht_10.pdf]] [[Ratkaisut 10>>attach:hr_10.pdf]]
75 * [[Tehtävät 11>>attach:ht_11.pdf]] [[Ratkaisut 11>>attach:hr_11.pdf]]
76 * [[Tehtävät 12>>attach:ht_12.pdf]] [[Ratkaisut 12>>attach:hr_12.pdf]]
77
78 === Harjoitusryhmät ===
79
80 |=(((
81 Ryhmä
82 )))|=(((
83 Päivä
84 )))|=(((
85 Aika
86 )))|=(((
87 Paikka
88 )))|=(% colspan="1" %)(((
89 Pitäjä
90 )))
91 |(((
92 1.
93 )))|(((
94 ke
95 )))|(((
96 10-12
97 )))|(((
98 B321
99 )))|(% colspan="1" %)(((
100 Taneli Huuskonen
101 )))
102
103 == Palautetta kurssista ==
104
105 Matematiikan ja tilastotieteen laitoksella on käytössä jatkuva palautteen keruu eli voit antaa palautetta missä tahansa kohdassa kurssia. Palautelomakkeeseen pääset [[täältä>>url:https://elomake.helsinki.fi/lomakkeet/11954/lomake.html||shape="rect"]].
106
107 ;