Johdanto. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.
|
|
- Harri Haavisto
- 6 vuotta sitten
- Katselukertoja:
Transkriptio
1 TIE303 Formaalit menetelmät, kevät 2005 Johdanto Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos TIE303 Formaalit mentetelmät, p. 1/17
2 TIE303 Formaalit menetelmät TIE303 Formaalit menetelmät (3 ov, ECTS 0.0 cr) Assistentti Antti-Juhani Kaijanaho Aikataulu Luennot ma ja to salissa Ag Beeta. Sisältö Formaalien määrittelymenetelmien perusteet, esimerkkejä formaalien kielten ja menetelmien käytöstä (esim. Z, VDM, Estelle, Lotos, B). Kirjallisuus Luentomoniste, muu lähdemateriaali ilmoitetaan luennoilla. Esitiedot Automaatit ja kieliopit. Suositellaan myös MAT223 Logiikka (2 ov) tai FILA25 Logiikka I. Opetusmuodot Luennot, demot, seminaarityö, töiden esittely- ja opponointitilaisuus. Suoritustavat Loppukoe, seminaarityö. TIE303 Formaalit mentetelmät, p. 2/17
3 Aikataulu Luennot salissa Ag Beeta: ma klo 10 12, to klo Demot: sovitaan nyt. Luennot + demot: noin 8 viikkoa (tammi-maaliskuu) Seminaari toukokuussa. Tentit: 20.5., Luennoijan vastaanottoaika: ke (ei ajanvarausta) TIE303 Formaalit mentetelmät, p. 3/17
4 Suoritus Tentti ja kirjallinen seminaarityö ovat pakollisia. Tentin voi korvata oppimispäiväkirjalla ( Seminaariin osallistuminen tuo bonuspisteitä. Aktiivinen osallistuminen demoissa tuo bonuspisteitä. Tentti tai oppimispäiväkirja: max. 24 pistettä (leikkuri 12 pisteessä). Seminaariin osallistuminen: 1-3 pistettä. Demot: 1-3 pistettä. Arvosteluasteikko: TIE303 Formaalit mentetelmät, p. 4/17
5 Kirjallisuus Kurssikirja: Antti-Juhani Kaijanaho, Tommi Kärkkäinen: Formaalit menetelmät. Luentomoniste 12, Jyväskylän yliopisto, Tietotekniikan laitos, (Saapunee Mattilanniemen Kampus-Kirjaan tänään.) Muuta yleisluontoista kirjallisuutta on nihkeästi. Useista yksittäisistä menetelmistä ja notaatioista on erinomaisia kirjoja. Ohjelmistotekniikan oppikirjoissa (Pressman ym.) on yleensä luku formaaleista menetelmistä. Ne vain raapaisevat pintaa. Paljon hajanaisia tieteellisiä julkaisufoorumeita, ks. esim. TIE303 Formaalit mentetelmät, p. 5/17
6 Kurssin pihvi Kehittää ohjelmointitehtävien ratkaisemisessa tarvittavia metakognitioita. Kognitio on oppimisen, päättelyn ja havainnoinnin aiheuttama muutos ihmisen psyykessä. Metakognitio on kognition kognitiota. Siis: kurssi kehittää kykyä havainnoida ja hallita omaa osaamista ja ohjelmointitehtävien ratkaisumalleja. TIE303 Formaalit mentetelmät, p. 6/17
7 Keskustelua Miksi tulit kurssille? Mitä odotat kurssilta? Mieliala? TIE303 Formaalit mentetelmät, p. 7/17
8 Formaalit menetelmät? Formaalit menetelmät? TIE303 Formaalit mentetelmät, p. 8/17
9 Laatu? Equipped with the basic concepts of class, object and genericity, you can now write software modules that implement possibly parametrized types of data structures. Congratulations. This is a significant step in the quest for better software architectures. But the techniques seen so far are not sufficient to implement the comprehensive view of quality introduced at the beginning of this book. The quality factors on which we have concentrated reusability, extensibility, compatibility must not be attained at the expense of reliability ( correctness and robustness). Bertrand Meyer: Object-oriented Software Construction, Second Edition, Prentice-Hall 1997, luku 11. Lihavointi AJK:n. TIE303 Formaalit mentetelmät, p. 9/17
10 Laatu? Program testing can be used to show the presence of bugs, but never to show their absence! Edsger W. Dijkstra: Notes On Structured Programming, EWD249, TIE303 Formaalit mentetelmät, p. 10/17
11 Formaali? Formaali on suomeksi muodollinen Matematiikassa sana on saanut erityismerkityksen mekaanisesti (tietokoneella) tarkistettavissa oleva. Tavallisesti matemaatikot kuitenkin käyttävät sanaa hieman vapaammin tarkoittamaan erityisen täsmällisesti tehty. Formaalien menetelmien yhteydessä sanaa formaali käytetään samassa merkityksessä kuin matematiikassa. Ohjelmistotekniikassa ja -tuotannossa sanaa käytetään muuten tavallisessa merkityksessään. Huomaa sekaantumisen vaara ja varo! TIE303 Formaalit mentetelmät, p. 11/17
12 Formaalit menetelmät 1 Formaalien menetelmien alue on hyvin laaja, kaiken kattavaa määritelmää on vaikea asettaa. Yhteistä kaikille formaaleille menetelmille on matemaattisen täsmällisyyden korostaminen ohjelmistotuotannossa. Hyvin monet formaalit menetelmät soveltavat jotain tietojenkäsittelylogiikan teoriaa ohjelmistojen toiminnallisuuden mallittamiseen. Sovellusalueen matematiikan käyttäminen ei kuulu formaaleihin menetelmiin; formaalit menetelmät ovat pikemminkin ohjelmistotekniikan omaa matematiikkaa. TIE303 Formaalit mentetelmät, p. 12/17
13 Formaalit menetelmät 2 Formaalit menetelmät -nimistä tutkimusalaa ei oikeastaan ole. Nimeke kattaa sekalaisen joukon välineitä, joita yhdistää löyhästi matemaattisen täsmällisyyden vaaliminen ohjelmistotyössä. Tämäkin kurssi on siten hajanainen. Kurssin asiat pitäisi opettaa muilla kursseilla. Miksi ei opeteta? (Ghetto-ilmiö?) (Tekoäly-ilmiö?) TIE303 Formaalit mentetelmät, p. 13/17
14 Formaaliuden muotoja Ohjelman vaatimusten täsmällistäminen aikaisessa vaiheessa (formal specification) Virhetyyppien poissulkeminen staattisin tarkastuksin (static checking) Kriittisen komponentin oikeellisuuden varmistaminen (correctness proofs) Ohjelman johtaminen tehtäväkuvauksesta (program derivation, contract refinement) Automaattinen testaus (QuickCheck, assertions) TIE303 Formaalit mentetelmät, p. 14/17
15 Hyötyjä? Analyyttinen ote: Tiedetään mitä tehdään. Virheiden määrä vähenee. Selkeärakenteinen speksi ja koodi Abstrakti ote: Kokonaisuus hallussa käsiä heiluttelematta? Uudelleenkäyttö jäsentyy. TIE303 Formaalit mentetelmät, p. 15/17
16 Esteitä Litteä maa -efekti Tekoäly-efekti Todellinen ongelma: matemaattisen taidon puute TIE303 Formaalit mentetelmät, p. 16/17
17 Seuraava luento: torstaina klo 14 samassa salissa (Ag Beeta). TIE303 Formaalit mentetelmät, p. 17/17
Käytännön formaalit menetelmät
Käytännön formaalit menetelmät TIEA202 Johdatus ohjelmistotekniikkaan, syksy 2006 Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 21. marraskuuta 2006 Luennoija Antti-Juhani Kaijanaho
LisätiedotFormaalit menetelmät
TIE330 Ohjelmistotuotanto, kesä 2004 Formaalit menetelmät Antti-Juhani Kaijanaho antkaij@mit.jyu.fi Jyväskylän yliopisto Tietotekniikan laitos TIE330 Ohjelmistotuotanto, 2004-06-15 p. 1/27 Laatu? Equipped
LisätiedotKehittää ohjelmointitehtävien ratkaisemisessa tarvittavia metakognitioita!
Kehittää ohjelmointitehtävien ratkaisemisessa tarvittavia metakognitioita! eli... Hyvä kaava sanoo enemmän kuin,... tuhat riviä koodia!... sata riviä tekstiä!... kymmenen diagrammia! YLEISTÄ FORMAALEISTA
LisätiedotKurssin sisältö. Kurssilla vähemmän. Johdatus ohjelmistotekniikkaan. Mitä on ohjelmistotekniikka? Miten ohjelmistoja suunnitellaan ja toteutetaan?
Kurssin sisältö Johdatus ohjelmistotekniikkaan 2 0 0 8 Mitä on ohjelmistotekniikka? Miten ohjelmistoja suunnitellaan ja toteutetaan? Mitä työkaluja ohjelmistoja kehitettäessä käytetään ja miten? Historiaa
LisätiedotHAHMONTUNNISTUKSEN PERUSTEET
HAHMONTUNNISTUKSEN PERUSTEET T-61.3020, 4 op., Kevät 2007 Luennot: Laskuharjoitukset: Harjoitustyö: Erkki Oja Tapani Raiko Matti Aksela TKK, Informaatiotekniikan laboratorio 1 FOREIGN STUDENTS Lectures
LisätiedotOhjelmistoarkkitehtuurit Syksy 2009 TTY Ohjelmistotekniikka 1
Ohjelmistoarkkitehtuurit Syksy 2009 Kai Koskimies Ohjelmistoarkkitehtuurit Syksy 2009 TTY Ohjelmistotekniikka 1 Tervetuloa Kuopion yliopisto, Oulun yliopisto (Kajaani), Tampereen yliopisto, Turun yliopisto,
LisätiedotHAHMONTUNNISTUKSEN PERUSTEET
HAHMONTUNNISTUKSEN PERUSTEET T-61.3020, 4 op., Kevät 2008 Luennot: Laskuharjoitukset: Harjoitustyö: Erkki Oja Elia Liiitiäinen Elia Liitiäinen TKK, Tietojenkäsittelytieteen laitos 1 FOREIGN STUDENTS Lectures
LisätiedotLogiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.
TIE303 Formaalit menetelmät, kevät 2005 Logiikan kertausta Antti-Juhani Kaijanaho antkaij@mit.jyu.fi Jyväskylän yliopisto Tietotekniikan laitos TIE303 Formaalit mentetelmät, 2005-01-27 p. 1/17 Luento2Luentomoniste
LisätiedotKyselytutkimus opiskelijoiden ajankäytöstä tietojenkäsittelyteorian peruskurssilla
Kyselytutkimus opiskelijoiden ajankäytöstä tietojenkäsittelyteorian peruskurssilla Harri Haanpää Peda-forum 2004 AB TEKNILLINEN KORKEAKOULU Tietojenkäsittelyteorian laboratorio T 79.148 Tietojenkäsittelyteorian
LisätiedotTIEA341 Funktio-ohjelmointi 1, kevät 2008
TIEA341 Funktio-ohjelmointi 1, kevät 2008 Aloitusluento Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 7. tammikuuta 2008 Aikataulu Luennot salissa Ag C231.1: ma klo 10 12, to klo 14-16
LisätiedotTietokoneen rakenne (2 ov / 4 op) Syksy 2006
Luento 0 581365 Tietokoneen rakenne (2 ov / 4 op) Syksy 2006 Teemu Kerola Helsingin yliopisto Tietojenkäsittelytieteen laitos Luento 0-1 Tietokoneen rakenne Asema opetuksessa u 1999 HajaTilin pakollinen,
LisätiedotOhjelmistoarkkitehtuurit. Kevät
Ohjelmistoarkkitehtuurit Kevät 2012-2013 Johannes Koskinen http://www.cs.tut.fi/~ohar/ Tervetuloa Oulun yliopisto, Tampereen yliopisto, Turun yliopisto, Tampereen teknillinen yliopisto 2 Kurssin tavoitteet
LisätiedotTietotekniikan kandidaattiseminaari
Tietotekniikan kandidaattiseminaari Luento 1 14.9.2011 1 Luennon sisältö Seminaarin tavoitteet Seminaarin suoritus (tehtävät) Kandidaatintutkielman aiheen valinta Seminaarin aikataulu 2 2011 Timo Männikkö
LisätiedotTietokoneen rakenne (2 ov / 4 op) Syksy 2007 Liisa Marttinen. Helsingin yliopisto Tietojenkäsittelytieteen laitos
Luento 0 581365 Tietokoneen rakenne (2 ov / 4 op) Syksy 2007 Liisa Marttinen Helsingin yliopisto Tietojenkäsittelytieteen laitos Luento0-1 Tietokoneen rakenne Asema opetuksessa u 2005 HajaTilin valinnainen,
LisätiedotSoftware engineering
Software engineering Alkuperäinen määritelmä: Naur P., Randell B. (eds.): Software Engineering: A Report on A Conference Sponsored by the NATO Science Committee, NATO, 1968: The establishment and use of
LisätiedotJohdatus ohjelmointiin 811122P Yleiset järjestelyt: Kurssin sivut noppa -järjestelmässä: https://noppa.oulu.fi/noppa/kurssi/811122p/etusivu 0. Kurssin suorittaminen Tänä vuonna kurssin suorittaminen tapahtuu
LisätiedotMenetelmiä jatkuvaan opiskeluun kannustamiseen ja oppimisen seurantaan
Menetelmiä jatkuvaan opiskeluun kannustamiseen ja oppimisen seurantaan Matemaattiset menetelmät, syksy 2012 Lassi Korhonen, Oulun yliopisto, Matematiikan jaos 4.12.2012 1 Lähtökohta, opiskelijan näkökulma
LisätiedotSäännölliset kielet. Sisällys. Säännölliset kielet. Säännölliset operaattorit. Säännölliset kielet
TIEA241 Automaatit ja kieliopit, kesä 2013 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 24. toukokuuta 2013 Sisällys Formaalit kielet On tapana sanoa, että merkkijonojen joukko on (formaali) kieli. Hieman
LisätiedotComputing Curricula 2001 -raportin vertailu kolmeen suomalaiseen koulutusohjelmaan
Computing Curricula 2001 -raportin vertailu kolmeen suomalaiseen koulutusohjelmaan CC1991:n ja CC2001:n vertailu Tutkintovaatimukset (degree requirements) Kahden ensimmäisen vuoden opinnot Ohjelmistotekniikan
LisätiedotMatematiikan ohjelmointi. Joakim von Wright
Matematiikan ohjelmointi Joakim von Wright Formaali menetelmä käytännössä miten todistetaan ohjelman oikeellisuus? miltä todistus näyttn yttää? isot ohjelmat? miljoona riviä koodia nykyajan ohjelmat? rinnakkaisuus,
LisätiedotOhjelmistoarkkitehtuurit. Syksy 2008
Ohjelmistoarkkitehtuurit Syksy 2008 Kai Koskimies 1 Tervetuloa Kuopion yliopisto, Oulun yliopisto, Tampereen yliopisto, Teknillinen korkeakoulu, Turun yliopisto, Vaasan yliopisto, Tampereen teknillinen
LisätiedotOhjelmistoarkkitehtuurit. Syksy 2010
Ohjelmistoarkkitehtuurit Syksy 2010 Kai Koskimies Tervetuloa Oulun yliopisto, Tampereen yliopisto, Turun yliopisto, Tampereen teknillinen yliopisto, Vaasan yliopisto Kurssin tavoitteet Arkkitehtuurin roolin
LisätiedotInternet ja tietoverkot
811338A 0. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2014 / 2015 Luennoija 811338A 5 op 9. 1. 6. 3. 2015 nimi: Juha Kortelainen e-mail: juha.kortelainen@oulu.fi vastaanotto: torstai klo 10 12,
LisätiedotLuento 0: Kurssihallinto Tietokoneen rakenne (2 ov / 4 op) Syksy 2006
Luento 0 581365 Tietokoneen rakenne (2 ov / 4 op) Syksy 2006 Teemu Kerola Helsingin yliopisto Tietojenkäsittelytieteen laitos Luento 0-1 Tietokoneen rakenne Asema opetuksessa u 1999 HajaTilin pakollinen,
LisätiedotT Johdatus tietoliikenteeseen 5 op
T-110.2100 Johdatus tietoliikenteeseen 5 op T-110.2100 Johdatus tietoliikenteeseen Suunnattu tietotekniikan opiskelijoille Esivaatimuksena Tietokone Työvälineenä -kurssi T-106.1001 Kurssin tavoitteet:
LisätiedotInformation on Finnish Language Courses Spring Semester 2018 Päivi Paukku & Jenni Laine Centre for Language and Communication Studies
Information on Finnish Language Courses Spring Semester 2018 Päivi Paukku & Jenni Laine 4.1.2018 Centre for Language and Communication Studies Puhutko suomea? -Hei! -Hei hei! -Moi! -Moi moi! -Terve! -Terve
LisätiedotInformation on Finnish Language Courses Spring Semester 2017 Jenni Laine
Information on Finnish Language Courses Spring Semester 2017 Jenni Laine 4.1.2017 KIELIKESKUS LANGUAGE CENTRE Puhutko suomea? Do you speak Finnish? -Hei! -Moi! -Mitä kuuluu? -Kiitos, hyvää. -Entä sinulle?
LisätiedotKasvatustieteiden (yleinen ja aikuiskasvatustiede) aineopinnot 35 op
Kasvatustieteiden (yleinen ja aikuiskasvatustiede) aineopinnot 35 op Esimerkkejä opintopoluista aineopinnot syksyllä 2015 tai keväällä 2016 aloittaville. Aineopinnot 35 op koostuvat: A 1. Yhteiset sisältöopinnot
LisätiedotTIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 8. maaliskuuta 2012
TIEA241 Automaatit ja kieliopit, kevät 2012 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 8. maaliskuuta 2012 Sisällys Ongelma-analyysiä Sisällys Ongelma-analyysiä Hypoteettinen ongelma The Elite Bugbusters
LisätiedotMatematiikka ja tilastotiede. Orientoivat opinnot /
Matematiikka ja tilastotiede Orientoivat opinnot / 27.8.2013 Tutkinnot Kaksi erillistä ja peräkkäistä tutkintoa: LuK + FM Laajuudet 180 op + 120 op = 300 op Ohjeellinen suoritusaika 3 v + 2 v = 5 v Tutkinnot
LisätiedotOhjelmistoarkkitehtuurit. Syksy 2007
Ohjelmistoarkkitehtuurit Syksy 2007 Kai Koskimies 1 Tervetuloa Tampereen yliopisto, Teknillinen korkeakoulu, Turun yliopisto 2 Kurssin tavoitteet Arkkitehtuuritason peruskäsitteiden ymmärtäminen Arkkitehtuurien
LisätiedotOhjelmistotekniikan menetelmät, kesä 2008
582101 - Ohjelmistotekniikan menetelmät, kesä 2008 1 Ohjelmistotekniikan menetelmät Methods for Software Engineering Perusopintojen pakollinen opintojakso, 4 op Esitietoina edellytetään oliokäsitteistön
LisätiedotELINTARVIKE MARKKINOINNIN PERUSTEET YET-004
ELINTARVIKE MARKKINOINNIN PERUSTEET YET-004 Jari Salo, KTT Professori (Markkinointi) Dosentti (Digitaalinen markkinointi) Aalto-yliopiston kauppakorkeakoulu Apulaispäätoimittaja Internet Research Taloustieteen
LisätiedotKirjallisuus 2 op Suoritus: Tentti (luennot ja kirjallisuus) ke klo salissa HU207.
Saamelainen kulttuuri 25.5.09 SYKSYN 2009 OHJELMA I periodi 24. 8. 16. 10. ja II periodi 26. 10. 18.12.2009 Viikolla 43 eli 19.- 23.10.2009 ei ole luentoja. PERUSOPINNOT 683371P Johdatus saamelaiseen kulttuuriin
LisätiedotA4.1 Projektityö, 5 ov.
A4.1 Projektityö, 5 ov. Kurssin esitietovaatimuksia Kurssin tavoitteista Kurssin sisällöstä Luentojen tavoitteista Luentojen sisällöstä Suoritustavoista ja -vaatimuksista Arvostelukriteereistä Motivointia
LisätiedotOhjelmistojen mallintaminen, kesä 2009
582104 Ohjelmistojen mallintaminen, kesä 2009 1 Ohjelmistojen mallintaminen Software Modeling Perusopintojen pakollinen opintojakso, 4 op Esitietoina edellytetään oliokäsitteistön tuntemus Ohjelmoinnin
LisätiedotEfficiency change over time
Efficiency change over time Heikki Tikanmäki Optimointiopin seminaari 14.11.2007 Contents Introduction (11.1) Window analysis (11.2) Example, application, analysis Malmquist index (11.3) Dealing with panel
Lisätiedot35C00250 Hankintojen johtaminen Kurssin esittely
Tieto- ja palvelutalouden laitos / logistiikka 35C00250 Hankintojen johtaminen Kurssin esittely Kurssin tavoitteet Kurssin suorittaminen Työmäärä ja tyytyväisyys Tiedotus ja yhteystiedot Kurssin tavoitteet
LisätiedotKurssin tavoitteista uennot. 4.1 Projektityö, 5 ov. Esitietovaatimukset
Kurssin tavoitteista uennot ma ls. 1097, klo 10-12. pe ls. DXI, klo 12-14. uennot ovat viikoilla 40-42. uentojen yhteydessä ei järjestetä erillisiä harjoituksia. Opinto-oppaasta: Opintojakson tavoitteena
LisätiedotOperatioanalyysi 2011, Harjoitus 3, viikko 39
Operatioanalyysi 2011, Harjoitus 3, viikko 39 H3t1, Exercise 3.1. H3t2, Exercise 3.2. H3t3, Exercise 3.3. H3t4, Exercise 3.4. H3t5 (Exercise 3.1.) 1 3.1. Find the (a) standard form, (b) slack form of the
LisätiedotJussi Klemola 3D- KEITTIÖSUUNNITTELUOHJELMAN KÄYTTÖÖNOTTO
Jussi Klemola 3D- KEITTIÖSUUNNITTELUOHJELMAN KÄYTTÖÖNOTTO Opinnäytetyö KESKI-POHJANMAAN AMMATTIKORKEAKOULU Puutekniikan koulutusohjelma Toukokuu 2009 TIIVISTELMÄ OPINNÄYTETYÖSTÄ Yksikkö Aika Ylivieska
LisätiedotInformation on Finnish Courses Autumn Semester 2017 Jenni Laine & Päivi Paukku Centre for Language and Communication Studies
Information on Finnish Courses Autumn Semester 2017 Jenni Laine & Päivi Paukku 24.8.2017 Centre for Language and Communication Studies Puhutko suomea? -Hei! -Hei hei! -Moi! -Moi moi! -Terve! -Terve terve!
Lisätiedot812336A C++ -kielen perusteet, 21.8.2010
812336A C++ -kielen perusteet, 21.8.2010 1. Vastaa lyhyesti seuraaviin kysymyksiin (1p kaikista): a) Mitä tarkoittaa funktion ylikuormittaminen (overloading)? b) Mitä tarkoittaa jäsenfunktion ylimääritys
LisätiedotOhjelmistoprosessit ja ohjelmistojen laatu Ohjelmistoprosessit ja ohjelmistojen laatu (4op)
581361 Ohjelmistoprosessit ja ohjelmistojen laatu (4op) Ohjelmistojärjestelmien syventävien opintojen kurssi Myös ohjelmistotekniikan profiilin pakollinen kurssi eli ohjelmistotekniikka-aiheisen gradun
LisätiedotSarjat ja integraalit, kevät 2014
Sarjat ja integraalit, kevät 2014 Peter Hästö 12. maaliskuuta 2014 Matemaattisten tieteiden laitos Osaamistavoitteet Kurssin onnistuneen suorittamisen jälkeen opiskelija osaa erottaa jatkuvuuden ja tasaisen
LisätiedotAloitus. TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 14. maaliskuuta 2011 TIETOTEKNIIKAN LAITOS. Aloitus.
TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 14. maaliskuuta 2011 Sisällys Sisällys Kurssin käytännöt Kurssin sivuilla http://users.jyu.fi/~antkaij/opetus/auki/2011/
LisätiedotMitä Master Class:ssa opittiin?
Mitä Master Class:ssa opittiin? Tutkimuskoordinaattori Kaisa Korhonen-Kurki, Helsingin yliopisto Tutkija Katriina Soini, Helsingin yliopisto Yliopistopedagogi Henna Asikainen, Helsingin yliopisto Tausta
LisätiedotKurssin käytännön järjestelyt. Tuotantotalous 1 Tuomo Tanila
Kurssin käytännön järjestelyt Tuotantotalous 1 Tuomo Tanila For English speaking students The lectures of this course are only in Finnish on spring semester 2017. The assignment, weekly exercises and the
LisätiedotT-76.611 Ohjelmistojen määrittely- ja suunnittelumenetelmät
T-76.611 Ohjelmistojen määrittely- ja suunnittelumenetelmät Software design and specification methods Kurssin henkilökunta ja sponsori Luennoitsija DI Antti Karanta, Napa Oy www.napa.fi Assistentti TkL
LisätiedotA35C00250 Hankintojen johtaminen Kurssin esittely
Tieto- ja palvelutalouden laitos / logistiikka A35C00250 Hankintojen johtaminen Kurssin esittely Kurssin tavoitteet Kurssin suorittaminen Kurssin tavoitteet Kurssin tavoitteet Tutustuttaa hankintatoimen
LisätiedotTietokoneverkot. T Tietokoneverkot (4 op) viimeistä kertaa CSE-C2400 Tietokoneverkot (5 op) ensimmäistä kertaa
Tietokoneverkot T-110.4100 Tietokoneverkot (4 op) viimeistä kertaa CSE-C2400 Tietokoneverkot (5 op) ensimmäistä kertaa ja Matti Siekkinen Tietokoneverkot 2014 sanna.suoranta@aalto.fi Kurssista kaksi versiota
LisätiedotJohdanto II. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.
TIE303 Formaalit menetelmät, kevät 2005 Johdanto II Antti-Juhani Kaijanaho antkaij@mit.jyu.fi Jyväskylän yliopisto Tietotekniikan laitos TIE303 Formaalit mentetelmät, 2005-01-20 p. 1/21 Luento2Luentomoniste
LisätiedotMatematiikka ja tilastotiede. Orientoivat opinnot / 25.8.2015
Matematiikka ja tilastotiede Orientoivat opinnot / 25.8.2015 Tutkinnot Kaksi erillistä ja peräkkäistä tutkintoa: LuK + FM Laajuudet 180 op + 120 op = 300 op Ohjeellinen suoritusaika 3 v + 2 v = 5 v Tutkinnot
LisätiedotMatematiikan opintosuunta
Matematiikan opintosuunta Matematiikka: Mitä se on? Vastaus: (Oma vastaukseni:) Tyhjentävää vastausta on mahdotonta antaa. Matematiikka: Mitä se on? Vastaus: (Oma vastaukseni:) Tyhjentävää vastausta on
LisätiedotTekijä: Pirkko Jokinen. Osaamisen arviointi
Tekijä: Pirkko Jokinen Osaamisen arviointi Arviointi kohdistuu Osaamisen eli pätevyyden arviointiin = tutkinnon edellyttämät oppimistulokset (learning outcomes) Arvioidaan tiedot, taidot ja asenteet Opintojakson
LisätiedotELEC-C5210 Satunnaisprosessit tietoliikenteessä
ELEC-C5210 Satunnaisprosessit tietoliikenteessä Esa Ollila Aalto University, Department of Signal Processing and Acoustics, Finland esa.ollila@aalto.fi http://signal.hut.fi/~esollila/ Kevät 2017 E. Ollila
LisätiedotOPISKELUTYÖN MITOITUS Opetuksen suunnittelun työväline, jolla arvioidaan opiskelijan työmäärää suhteessa 1 PERUSTIEDOT
OPISKELUTYÖN MITOITUS Opetuksen suunnittelun työväline, jolla arvioidaan opiskelijan työmäärää suhteessa 1 PERUSTIEDOT Tiedekunta Laitos Yksikkö Taso (kandidaatti, maisteri, jatkoopinnot) Moduuli Kurssikoodi
LisätiedotITK130 Ohjelmistojen luonne
ITK130 Ohjelmistojen luonne Luennon sisältö Ohjelmistotekniikka ja vaatimukset Ohjelmistotuote Ei-toiminnallisten vaatimusten luokittelu Sisäiset ja ulkoiset vaatimukset Oikeellisuus Luotettavuus Kestävyys
LisätiedotELEC-C1210 Automaatio 1 ELEC-C1220 Automaatio 2. Kurssien esittely lukukausi
ELEC-C1210 Automaatio 1 ELEC-C1220 Automaatio 2 Kurssien esittely lukukausi 2016-17 Tavoitteet. Automaatio 1 ja 2 Opiskelija tuntee erilaisten sovellusalueiden automaatioratkaisujen erot, ymmärtää automaatiojärjestelmien
LisätiedotKoe on kaksiosainen: siihen kuuluvat tekstitaidon koe ja esseekoe. Tekstitaidon kokeen arvioinnissa painottuu lukutaito ja esseekokeessa
Koe on kaksiosainen: siihen kuuluvat tekstitaidon koe ja esseekoe. Tekstitaidon kokeen arvioinnissa painottuu lukutaito ja esseekokeessa kirjoitustaito. Kokeet järjestetään eri päivinä: esimerkiksi tänä
LisätiedotVoice Over LTE (VoLTE) By Miikka Poikselkä;Harri Holma;Jukka Hongisto
Voice Over LTE (VoLTE) By Miikka Poikselkä;Harri Holma;Jukka Hongisto If you are searched for a book by Miikka Poikselkä;Harri Holma;Jukka Hongisto Voice over LTE (VoLTE) in pdf form, then you have come
LisätiedotTÄYTTÖAUTOMAATIT TÄYTTÖAUTOMAATIT COMPUTER INFLATORS
31 S AHCON computer inflators are designed with a view to high quality, precision and long service life. The inflation computers are designed in Denmark and manufactured and tested in our own workshop.
LisätiedotJohdanto Meta Kielten jaotteluja Historia. Aloitusluento. TIES542 Ohjelmointikielten periaatteet, kevät Antti-Juhani Kaijanaho
Aloitusluento TIES542 Ohjelmointikielten periaatteet, kevät 2007 Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 8. tammikuuta 2007 Luennoija Antti-Juhani Kaijanaho
LisätiedotJohdatusta ohjelmistotekniikkaan
Johdatusta ohjelmistotekniikkaan OT:n historiaa 4 vaihetta (1/2) 1. Vaihe (0 60-luvun alku) Vähän tietokoneita Eräajo-tyyppisiä ohjelmia Pääasiassa matemaattisia, pieniä yhden käyttäjän sovelluksia Ei
LisätiedotELEC-C7230 Tietoliikenteen siirtomenetelmät. Yleistä
Aalto University Comnet ELEC-C7230 Tietoliikenteen siirtomenetelmät Kurssisuunnitelma, kevät 2016 Olav Tirkkonen, Tietoliikenne- ja tietoverkkotekniikan laitos, Aalto-yliopisto Yleistä Esitiedot: (kurssi
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 12. lokakuuta 2016
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. lokakuuta 2016 Sisällys Harjoitustehtävät loppukurssilla luentojen 14 18 harjoitustehtävistä on tehtävä yksi
LisätiedotMyös opettajaksi aikova voi suorittaa LuK-tutkinnon, mutta sillä ei saa opettajan kelpoisuutta.
Tietojenkäsittelytiede Tutkintovaatimukset Perustutkinnot LUONNONTIETEIDEN KANDIDAATIN TUTKINTO (VÄHINTÄÄN 120 OV) 1. Tietojenkäsittelytieteen cum laude approbatur -oppimäärä (vähintään 55 ov) ja kypsyysnäyte
LisätiedotSopimuspohjainen olio-ohjelmointi
Sopimuspohjainen olio-ohjelmointi Jouni Smed Kevät 2007 Yleistä Laajuus: 5 op. (3 ov.) Esitiedot: Olio-ohjelmoinnin perusteet (tai ent. Ohjelmointi I) Ilmoittautuminen: https://www.it.utu.fi/kurssi-ilmo/
LisätiedotELEC-C7230 Tietoliikenteen siirtomenetelmät
A! Aalto University Comnet ELEC-C7230 Tietoliikenteen siirtomenetelmät Kurssisuunnitelma, kevät 2018 Olav Tirkkonen, Tietoliikenne- ja tietoverkkotekniikan laitos, Aalto-yliopisto A! Yleistä Esitiedot:
LisätiedotMS-C2128 Ennustaminen ja Aikasarja-analyysi, 5 op Esittely
MS-C2128 Ennustaminen ja Aikasarja-analyysi, 5 op Esittely Matematiikan ja systeemianalyysin laitos Perustieteiden korkeakoulu Aalto-yliopisto Syksy 2015 Aikataulu ja suoritustapa (Katso MyCourses) Luennot
LisätiedotELEC-C8001 Sähköenergiatekniikka, 5 op Kurssin tavoitteet, sisältö ja käytännön asiat
ELEC-C8001 Sähköenergiatekniikka, 5 op Kurssin tavoitteet, sisältö ja käytännön asiat Prof. Anouar Belahcen Anouar.belahcen@aalto.fi Opetushenkilökunta Luennoitsijat: Anouar Belahcen (anouar.belahcen@aalto.fi),
Lisätiedot4x4cup Rastikuvien tulkinta
4x4cup Rastikuvien tulkinta 4x4cup Control point picture guidelines Päivitetty kauden 2010 sääntöihin Updated for 2010 rules Säännöt rastikuvista Kilpailijoiden tulee kiinnittää erityistä huomiota siihen,
LisätiedotE-math - sa hko inen oppimisympa risto matematiikan opiskeluun. Ralph-Johan Back Åbo Akademi (Virtuaaliopetuksen päivät 2013)
E-math - sa hko inen oppimisympa risto matematiikan opiskeluun Ralph-Johan Back Åbo Akademi (Virtuaaliopetuksen päivät 2013) Esityksen organisointi 1. Yleisesitys E-math projektin hankkeesta ja sen tuloksista
LisätiedotELEC-C8001 Sähköenergiatekniikka, 5 op Kurssin tavoitteet, sisältö ja käytännön asiat
ELEC-C8001 Sähköenergiatekniikka, 5 op Kurssin tavoitteet, sisältö ja käytännön asiat Prof. Anouar Belahcen Anouar.belahcen@aalto.fi Opetushenkilökunta Luennoitsijat: Matti Lehtonen (matti.lehtonen@aalto.fi),
LisätiedotELEC-C8001 Sähköenergiatekniikka, 5 op Kurssin tavoitteet, sisältö ja käytännön asiat
ELEC-C8001 Sähköenergiatekniikka, 5 op Kurssin tavoitteet, sisältö ja käytännön asiat Prof. Anouar Belahcen Anouar.belahcen@aalto.fi Opetushenkilökunta Luennoitsijat: Anouar Belahcen (anouar.belahcen@aalto.fi),
LisätiedotArtikkelikansio (2 op), tentitään tiedekunnan tai I oppiaineryhmän tenttipäivänä. Tentaattori Veli-Pekka Lehtola.
Saamelainen kulttuuri 20.10.2010 SYKSYN 2010 OHJELMA I periodi 23.8. 22.10. ja II periodi 1. 11. 17.12.2010 Viikolla 43 eli 25. 29.10.2010 ei ole luentoja. PERUSOPINNOT I Periodi: 683371P Johdatus saamelaiseen
LisätiedotTIEP114 Tietokoneen rakenne ja arkkitehtuuri, 3 op. FT Ari Viinikainen
TIEP114 Tietokoneen rakenne ja arkkitehtuuri, 3 op FT Ari Viinikainen Tietokoneen rakenne Keskusyksikkö, CPU Keskusmuisti Aritmeettislooginen yksikkö I/O-laitteet Kontrolliyksikkö Tyypillinen Von Neumann
LisätiedotTAMPEREEN YLIOPISTO Muutos 25.8.2015 Kasvatustieteiden yksikkö Muutos 11.9.2015
TAMPEREEN YLIOPISTO Muutos 25.8.2015 Kasvatustieteiden yksikkö Muutos 11.9.2015 Luokanopettaja Muutos22.10.2015 Muutos 04.11.2015 III OPINTOVUOSI OPETUSOHJELMA SYYSLUKUKAUDELLA 2015 Yleisiä valmiuksia
LisätiedotOHJ-7400 Graafisen käyttöliittymän ohjelmointi 4/6op
OHJ-7400 Graafisen käyttöliittymän ohjelmointi 4/6op Syksy 2007, Periodit 1-2 Juha Järvensivu juha.jarvensivu@tut.fi Sisällysluettelo Käytännönjärjestelyt Esitietovaatimukset Suoritusvaatimukset Kurssin
LisätiedotKäsityötieteen aineopinnot
Käsityötieteen aineopinnot KSc 1.4 Tekstiilitalous 2 ov (63302) 2. opintovuosi kl (Marja Anttila). Ks. 2. opintovuoden työjärjestys. Suurryhmä viikko 2 ti 7.1.2003 klo 14.30-16.00, S 10/527 suurryhmä viikko
LisätiedotT Johdatus tietoliikenteeseen 5 op. Kevät 2013
T-110.2100 Johdatus tietoliikenteeseen 5 op Kevät 2013 Yleistä Suunnattu tietotekniikan opiskelijoille Esitietona T-106.1150 Tietokone ja käyttöjärjestelmä tai vastaavat tiedot Kurssin tavoitteet: Tietää
LisätiedotKEVÄT lv. Seuraa nettilukkaria todennäköisten päivitysten havaitsemiseksi. Päivitykset on merkitty punaisella!
KEVÄT 2017 Seuraa nettilukkaria todennäköisten päivitysten havaitsemiseksi. Päivitykset on merkitty punaisella! HOIT0103 HOITOTIETEEN TUTKIMUSMETODIIKKA (Täydentävät opinnot) 5 op Tenttimateriaali: Burns
LisätiedotKEVÄT lv. Seuraa nettilukkaria todennäköisten päivitysten havaitsemiseksi. Päivitykset on merkitty punaisella!
++ KEVÄT 2018 Seuraa nettilukkaria todennäköisten päivitysten havaitsemiseksi. Päivitykset on merkitty punaisella! TURUN YLIOPISTO 21.11.2017/12.12.2017 HOIT0103 HOITOTIETEEN TUTKIMUSMETODIIKKA (Täydentävät
LisätiedotKäytettävyys ja käyttäjätutkimus. Yhteisöt ja kommunikaatiosuunnittelu 2012 / Tero Köpsi
Käytettävyys ja käyttäjätutkimus Yhteisöt ja kommunikaatiosuunnittelu 2012 / Tero Köpsi Teron luennot Ke 15.2 miniluento Ti 28.2 viikkotehtävän anto (T,M) To 1.3 Tero paikalla (tehtävien tekoa) Ti 6.3
Lisätiedot16. Allocation Models
16. Allocation Models Juha Saloheimo 17.1.27 S steemianalsin Optimointiopin seminaari - Sks 27 Content Introduction Overall Efficienc with common prices and costs Cost Efficienc S steemianalsin Revenue
Lisätiedothttps://noppa.oulu.fi/noppa/kurssi/811122p/etusivu
Johdatus ohjelmointiin 811122P Yleiset järjestelyt: Kurssin sivut noppa -järjestelmässä: https://noppa.oulu.fi/noppa/kurssi/811122p/etusivu 0. Kurssin suorittaminen Tänä vuonna kurssin suorittaminen tapahtuu
LisätiedotKurssijärjestelyt. ME-C2300 Verkkojulkaisemisen perusteet (5 op) Mari Hirvi Informaatioverkostot / Mediatekniikan laitos
Kurssijärjestelyt ME-C2300 Verkkojulkaisemisen perusteet (5 op) Mari Hirvi Informaatioverkostot / Mediatekniikan laitos (Alkuperäiset luentokalvot: Markku Laine) 8. syyskuuta 2015 Luennon sisältö Kurssin
LisätiedotKurssin aloitus. AS-0.110 XML-kuvauskielten perusteet Janne Kalliola
Kurssin aloitus AS-0.110 XML-kuvauskielten perusteet Janne Kalliola English Summary The lectures will be held in Finnish The slides are in Finnish, too All other material is in English The course book
LisätiedotMS-C2128 Ennustaminen ja Aikasarja-analyysi, 5 op Esittely
MS-C2128 Ennustaminen ja Aikasarja-analyysi, 5 op Esittely Matematiikan ja systeemianalyysin laitos Perustieteiden korkeakoulu Aalto-yliopisto Syksy 2017 Aikataulu ja suoritustapa (Katso MyCourses) Luennot
LisätiedotOpiskelijat valtaan! TOPIC MASTER menetelmä lukion englannin opetuksessa. Tuija Kae, englannin kielen lehtori Sotungin lukio ja etälukio
Opiskelijat valtaan! TOPIC MASTER menetelmä lukion englannin opetuksessa Tuija Kae, englannin kielen lehtori Sotungin lukio ja etälukio Päättääkö opettaja ohjelmasta? Vai voisivatko opiskelijat itse suunnitella
LisätiedotOhjelmistotekniikan menetelmät, kevät 2008
582101 - Ohjelmistotekniikan menetelmät, kevät 2008 1 Ohjelmistotekniikan menetelmät Methods for Software Engineering Perusopintojen pakollinen opintojakso, 4 op Esitietoina edellytetään oliokäsitteistön
LisätiedotAgenda. Läpäisyvaatimukset Henkilökunta Luennot ja aikataulu Kurssimateriaali Harjoitustyöt Demoharjoitus Tentti ja arvostelu Muuta?
OHJ-4301 Sulautettu Ohjelmointi (http://www.cs.tut.fi/~sulo/) 5op, to 12-14, 14, TB 109 Arto Salminen, arto.salminen@tut.fi Agenda Läpäisyvaatimukset Henkilökunta Luennot ja aikataulu Kurssimateriaali
LisätiedotSAS-ohjelmiston perusteet 2010
SAS-ohjelmiston perusteet 2010 Luentorunko/päiväkirja Ari Virtanen 11.1.10 päivitetään luentojen edetessä Ilmoitusasioita Opintojakso suoritustapana on aktiivinen osallistuminen harjoituksiin ja harjoitustehtävien
LisätiedotELEC-C1210 Automaatio 1 ELEC-C1220 Automaatio 2. Kurssien esittely lukukausi
ELEC-C1210 Automaatio 1 ELEC-C1220 Automaatio 2 Kurssien esittely lukukausi 2015-16 Tavoitteet. Automaatio 1 ja 2 Opiskelija tuntee erilaisten sovellusalueiden automaatioratkaisujen erot, ymmärtää automaatiojärjestelmien
LisätiedotT Ohjelmistotekniikan seminaari
T-106.5800 Ohjelmistotekniikan seminaari Scala-lukupiiri, kevät 2013 Teemu Sirkiä teemu.sirkia@aalto.fi 31.1.2013 Kenelle tämä lukupiiri on suunnattu? Scalasta kiinnostuneille Erityisesti heille, joita
LisätiedotJOHDATUS TEKOÄLYYN TEEMU ROOS
JOHDATUS TEKOÄLYYN TEEMU ROOS KURSSIN PERUSTIEDOT VALINNAINEN AINEOPINTOTASOINEN KURSSI, 4 OP PERIODI 1: 6.9.2012-12.10.2012 (6 VIIKKOA) LUENNOT (B123, LINUS TORVALDS -AUDITORIO): TO 10-12, PE 12-14 LASKUHARJOITUKSET
LisätiedotOhjelmistojen mallintaminen, kesä 2010
582104 Ohjelmistojen mallintaminen, kesä 2010 1 Ohjelmistojen mallintaminen Software Modeling Perusopintojen pakollinen opintojakso, 4 op Esitietoina edellytetään oliokäsitteistön tuntemus Ohjelmoinnin
LisätiedotRINNAKKAINEN OHJELMOINTI A,
RINNAKKAINEN OHJELMOINTI 815301A, 18.6.2005 1. Vastaa lyhyesti (2p kustakin): a) Mitkä ovat rinnakkaisen ohjelman oikeellisuuskriteerit? b) Mitä tarkoittaa laiska säikeen luominen? c) Mitä ovat kohtaaminen
Lisätiedot802120P Matriisilaskenta (5 op)
802120P Matriisilaskenta (5 op) Tero Vedenjuoksu Matemaattiset tieteet Syksy 2015 1 / 159 Luennoitsija: Tero Vedenjuoksu tero.vedenjuoksu@oulu.fi M321 Kurssilla käytetään Noppaa (noppa.oulu.fi) sekäoptimaa
LisätiedotKasvatustieteiden (yleinen ja aikuiskasvatustiede) aineopinnot 35 op
Kasvatustieteiden (yleinen ja aikuiskasvatustiede) aineopinnot 35 op Esimerkkejä opintopoluista aineopinnot syksyllä 2014 tai keväällä 2015 aloittaneille. Aineopinnot 35 op koostuvat: A 1. Yhteiset sisältöopinnot
Lisätiedot