Wiki source code of Logiikan paja, kevät 2011

Last modified by jvaanane@helsinki_fi on 2024/03/27 10:06
Show last authors
1 = Logiikan paja, kevät 2011 =
2
3 === Ohjaaja ===
4
5 [[Thomas Vikberg>>doc:mathstatHenkilokunta.Vikberg, Thomas]]
6 Viikolla 6 sijaisena toimii Kaarlo Reipas
7
8 === Ohjausajat ===
9
10 Viikot 3-8 ja 11-17 ma 10-12, ke 10-12, to 10-12 C322.
11
12 Pääsiäisloma 21.-27.4.
13 (% style="color: rgb(255,0,0);" %)**Huom! Paja alkaa heti ensimmäisellä kurssin luentoviikolla.**
14
15 === Kuvaus ===
16
17 Pajassa suoritetaan kurssi [[Logiikka I>>doc:mathstatKurssit.Home.Kevät 2011.Logiikka I, kevät 2011.WebHome]] samoilla välikokeilla kuin muutkin kurssilaiset. Pajaan voivat ilmoittautua kaikki osallistujamäärärajoitusten puitteissa.
18
19 Paja kokoontuu kolmesti viikossa käsittelemään kurssin asioita. Pajassa on aina ohjaaja ja pääpaino on ohjatuissa harjoituksissa joissa ratkotaan tehtäviä henkilökohtaisessa ohjauksessa. Viikkotehtävien määrä on suurempi kuin perinteisissä "tehdään kotona"-laskareissa ja tavoitteena on, että kurssilainen oppii asiat itse tekemällä. Tehtävät myös palautetaan viikoittain ohjaajalle.
20
21 Pajan rakenteen takia on suotavaa että pajaan ilmoittautuneella on mahdollisuus osallistua pajan tilaisuuksiin. Erillisistä harjoitustehtävistä johtuen pajassa ei voi vierailla muista harjoitusryhmistä.
22
23 Käytyäsi pajassa ymmärrät [[tämän vitsin>>url:http://xkcd.com/704/||shape="rect"]].
24
25 === Materiaali ===
26
27 * [[Kurssin luentomateriaali>>url:http://www.math.helsinki.fi/logic/opetus/log1/||shape="rect"]]
28 * [[Ensimmäisen kerran kalvot>>attach:kalvot.pdf]]
29
30 ==== Tehtävät ====
31
32 * [[Viikolle I>>attach:tehtavat1.pdf]] | [[Ratkaisuehdotuksia>>attach:laskari-ratkaisut.pdf]]
33 * [[Viikolle II>>attach:tehtavat2.pdf]] | [[Ratkaisuehdotuksia>>attach:laskari2-ratkaisut.pdf]]
34 * [[Viikolle III>>attach:tehtavat3.pdf]] (Tehtävät 14-21 maanantaiksi viikolla 4). | [[Ratkaisuehdotuksia>>attach:ratkaisut3.pdf]]
35 * [[Viikolle IV>>attach:tehtavat4.pdf]] | [[Ratkaisuehdotuksia>>attach:ratkaisut4.pdf]]
36 * Viikolla V teemme Logiikka I kurssin harjoitukset [[4>>url:http://wiki.helsinki.fi/download/attachments/58367694/harj4.pdf?version=1&modificationDate=1297090421372||shape="rect"]] ja [[5>>url:http://wiki.helsinki.fi/download/attachments/58367694/harj5.pdf?version=1&modificationDate=1297418886993||shape="rect"]]. | [[Ratkaisut ilmestyvät sivulle Logiikka I, kevät 2011>>doc:mathstatKurssit.Home.Kevät 2011.Logiikka I, kevät 2011.WebHome]]
37 * [[Viikolle VI>>attach:tehtavat6.pdf]] | Ratkaisuehdotuksia: Tehtävät [[1-3>>url:https://wiki.helsinki.fi/download/attachments/58367694/log1_h6_ratk.pdf?version=1&modificationDate=1300701934316||shape="rect"]]
38 * [[Viikolle VII>>attach:tehtavat7.pdf]]| Ratkaisuehdotuksia: Tehtävät [[1-18>>attach:mallit7.pdf]] [[19-21>>url:https://wiki.helsinki.fi/download/attachments/58367694/log1_h6_ratk.pdf?version=1&modificationDate=1300701934316||shape="rect"]] [[22-26>>url:https://wiki.helsinki.fi/download/attachments/58367694/Log_harj7.pdf?version=1&modificationDate=1301299320892||shape="rect"]]
39 * [[Viikolle VIII>>attach:tehtavat8.pdf]] | Ratkaisuehdotuksia: Tehtävät [[2010/7>>url:http://www.math.helsinki.fi/logic/opetus/log1/malliratkaisut6.pdf||shape="rect"]] [[2011/7>>url:https://wiki.helsinki.fi/download/attachments/58367694/Log_harj7.pdf?version=1&modificationDate=1301299320892||shape="rect"]]
40 * [[Viikolle IX>>attach:tehtavat9.pdf]] | Ratkaisuehdotuksia: Tehtävät [[1-7>>attach:mallit9.pdf]] [[8-11 13-16>>url:https://wiki.helsinki.fi/download/attachments/58367694/img020.pdf?version=1&modificationDate=1302177740755||shape="rect"]]
41 * [[Viikolle X>>url:https://wiki.helsinki.fi/download/attachments/58367694/harj9.pdf?version=1&modificationDate=1301040337035||shape="rect"]] | [[Ratkaisuehdotuksia>>url:https://wiki.helsinki.fi/download/attachments/58367694/logharj9_ratk.pdf?version=1&modificationDate=1302518186492||shape="rect"]]
42 * [[Viikolle XI>>attach:tehtavat11.pdf]] | [[Ratkaisuehdotuksia>>url:https://wiki.helsinki.fi/download/attachments/58367694/log10ratk.pdf?version=1&modificationDate=1303809392873||shape="rect"]]
43 * [[Viikolle XII>>attach:tehtavat12.pdf]] | [[Ratkaisuehdotuksia>>url:https://wiki.helsinki.fi/download/attachments/58367694/log1_h11_ratk.pdf?version=1&modificationDate=1304149815778||shape="rect"]]
44 * [[Bonustehtävät>>attach:bonusteh.pdf]] | Ratkaisuehdostuksia: Tehtävät [[1-4>>attach:bonus1-4.PDF]] [[5-6>>attach:bonus.pdf]] [[14-15>>attach:bonus14-16.pdf]]
45 Esimerkki kielentämisestä (viime viikon tehtävä kaksi):(((
46 >Oletamme että, jos A pätee, niin kaikilla x, A pätee.
47 > Jos edelleen oletamme, että A pätee niin voimme
48 > osoittaa, että kaikilla x, A pätee.Olemme siis saaneet, että että kaikilla x, A pätee,
49 > niin silloin pätee myös, että:
50 > kaikilla x, A pätee,
51 > tai,
52 > kaikilla x, A:n vastakohta pätee.Jos oletamme edellisen tuloksen vastakohtan, niin
53 > yhdessä ne muodostaa ristiriidan.
54 > Joten oletuksemme, että A pätee on väärä, joten A:n
55 > vastakota pätee.
56 )))
57
58 ===== Lisäpisteet =====
59
60 Tehtävistä saa lisäpisteitä siten, että 50% antaa 2 pistettä, 70% 3 pistettä ja 90% 4 pistettä.
61
62 Lisäpisteet lasketaan vähiten tehdyn viikon mukaan. Tarkoitus on, että kaikki saavat 4 lisäpistettä.
63
64 [[Pajalaisten ratkaistut tehtävät>>url:http://wiki.helsinki.fi/pages/viewpage.action?pageId=65148115||shape="rect"]] (vaatii sisäänkirjautumisen)
65
66 === [[Ilmoittaudu>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57274||shape="rect"]] ===
67
68 Unohditko ilmoittautua? [[Mitä tehdä>>doc:mathstatOpiskelu.Kysymys4]].