Ctl 120, 2002s
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:
- tiistaisin kello 9-12, Sv20, ls 334D
Kurssi alkaa 24.9. ja päättyy 10.12..
Opetusta ei ole 22.10., 12.11. ja 26.11.
Kurssin opettajana toimii Kari Lehtonen,
<kari.lehtonen@stadia.fi>.
Kurssin suorittaminen
(Päivitetty 7.12.2002).
Syksyn 2002 kurssi suoritetaan kotitenttinä.
Tehtävät jaetaan viimeisellä opetuskerralla 10.12.2002.
Tehtävät tulevat myös kurssin verkkosivuille mainittuna päivänä.
Tehtävien käsittelemiseen on aikaa noin viikko.
Tehtävien palautusta varten varataan (viimeisellä opetuskerralla tai
sähköpostitse) henkilökohtainen aika tiistaina 17.12.2002.
Palautuskeskustelujen varaustilanne löytyy täältä.
Kotitentti (word-tiedosto)
Kotitentti (rtf-tiedosto)
(tehtävät ovat myös kurssikansiossa)
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 (päivitetty 7.12.)
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
[Muut kurssit]
[Kielitieteen laitoksen kotisivu]
[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: Tue Dec 10 13:36:39 EET 2002