Ctl 120, 2004k
Matematiikan perusteita kieliteknologian opiskelijoille
Kurssin tavoitteet
Kurssin tavoitteeena on johdattaa opiskelijat matemaattisluonteisiin
formaaleihin menetelmiin, erityisesti kielitieteellisiä sovelluksia
silmälläpitäen. Tavoitteena on erityisesti:
- laskennallisten mallien idea ja sovellusmahdollisuudet
- matemaattisen päättelyn ja todistamisen luonne ja vahvuus
- innostunut ja peloton suhtautuminen matemaattisiin menetelmiin
- tutustuminen muutamiin keskeisiin diskreetin matematiikan
käsitteisiin ja menetelmiin
Kurssilla käsiteltävät menetelmät ovat laskennallisesti yksinkertaisia --
työläitä laskutoimituksia ja ulkoaopittavia ihmeellisiä kaavoja ei
juuri nähdä.
Opetusjärjestelyt
Kurssin kontaktiopetus koostuu luennoista ja laskuharjoituksista. Näille
on varattu ajat:
- maanantaisin kello 9-12, S20A, ls 334D, viimeisillä viikoilla on lisäksi opetusta torstaina
Kurssi alkaa 8.3. ja päättyy 29.4..
Kurssin opettajana toimii Kari Lehtonen,
<kari.lehtonen@stadia.fi>.
Ilmoittautuminen
Kurssille ilmoittaudutaan sähköpostitse opettajalle,
Kari.Lehtonen@stadia.fi.
Ilmoittautumisviestin toivotaan olevan seuraavanmuotoinen:
- Otsikkona (Subject):
Ilmoittaudun kurssille Ctl120
- Viestin sisältönä:
Sukunimi,Etunimi,01234567
missä 01234567 on ilmoittautujan opiskelijanumero.
Kurssin suorittaminen
Kurssi voidaan suorittaa kotitenttinä.
Tehtävät jaetaan viimeisellä opetuskerralla 29.4.2004.
Tehtävät tulevat myös kurssin verkkosivuille mainittuna päivänä.
Tehtävien käsittelemiseen on aikaa seuraavalle viikolle.
Tehtävien palautusta varten varataan (viimeisellä opetuskerralla tai
sähköpostitse) henkilökohtainen aika 15 minuuttia tiistaina 4.5.2004
kello 16-19 tai keskiviikkona 5.5.2004 kello 9-11:30. Varalla maanantai
3.5. kello 16-19. Mainitse sähköpostivarauksessasi ensisijainen toive
sekä muut mahdolliset ajat.
Kotikoe löytyy täältä
Palautuskeskustelujen varaustilanne löytyy täältä.
Uusintakuulustelusta sovitaan opettajan kanssa.
Kurssin sisältö
- Johdanto
- Johdattelevia esimerkkejä ja probleemoja
- Matematiikka laskennallisena mallina ja formaalisena järjestelmänä
- Logiikkaa ja formaaliset järjestelmät
- Mitä on todistaminen ja johtaminen?
- Logiikan perusteita
- Induktio ja rekursio
- Algebraa
- Joukot ja niiden operaatiot
- Relaatiot ja funktiot
- Äärettömyydet
- Algebrallisia struktuureja
- Kombinatoriikkaa
- Kieliopit ja automaatit
Viikko-ohjelma
Päiväkirjasta
löytyvät mm. tuntien aiheet ja kotitehtävät.
Tehtäviä
Tehtäväkokelmiin tulee (jossain vaiheessa) lisätehtäviä pohdittavaksi sekä
kertaustehtäviä tenttiä varten.
- Johdanto
- Logiikkaa
- Algebraa
- Kombinatoriikkaa
Kirjallisuutta
- Diskreetin matematiikan oppikirjoja
- Merikoski, Virtanen & Koivisto. 1998. Diskreetti
Matematiikka I. Tampereen yliopisto. [Tämä on virallinen kurssikirja,
joka on hyvä hankkia.]
- Partee, Meulen & Wall. 1993. Mathematical Methods in
Linguistics. Kluwer.
- Lipschutz & Lipson. 1997. Discrete Mathematics. Schaum's.
- Grimaldi. 1985-. Discrete and Combinatorial Mathematics.
Addison-Wesley. [useita erilaisia laitoksia]
- Käsikirjoja
- Kivelä. 1998. M niinkuin matematiikka. MFKA-Kustannus Oy.
[myös verkossa]
- Gullberg. 1997. Mathematics: From the Birth of Numbers. Norton.
- Gellert et al. 1977. The VNR Concise Encyclopedia of Mathematics. Van Nostrand. [myös saksaksi]
- Muuta
- Lakoff & Núñez. 2002. Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being. Basic Books.
- Gardner. 1978. aha! Insight. Freeman.
- Vala. ????. Pisteen neliöiminen. ?.
- Hersh. 1997. What is Mathematics, Really?. Oxford University Press.
- Pollock. 1990. Technical methods in philosophy. Westview Press.
- Rucker. 1982. Infinity and the Mind. Harvester Press.
- Rucker. Mieli ja äärettömyys - äärettömyyden tiedettä ja filosofiaa.
Verkkoresursseja
- Käsikirjoja
- Tehtäviä
- Muita matematiikan kursseja kielitieteilijöille
- Muuta
[Kielitieteen laitoksen kotisivu]
[Ctl 120 - syksy 2002]
[Ctl 120 - syksy 2001]
[Ctl 120 - syksy 2000]
[Ctl 120 - syksy 1999]
Kari Lehtonen, kari.lehtonen@stadia.fi
(Helsingin ammattikorkeakoulu) tai
kari.lehtonen@ling.helsinki.fi (Helsingin yliopisto).
Kotisivu ammattikorkeakoululla.
Last modified: Mon Apr 26 16:40:01 EEST 2004