902501.0 Svenska, grammatik och språkriktighet (skolb.språk finska), 2 sp Annemarie Södergård Efter avslutad kurs förväntas de studerande: - på ett fördjupat plan kunna urskilja och reflektera över olika grammatiska moment som brukar vålla problem för inlärare av svenska - kunna visa att de utvecklat sin skriftliga och muntliga repertoar så att de behärskar svensk syntax i olika kontexter - kunna använda idiomatiska uttryck i tal och skrift - kunna skriva texter som är fria från påverkan från andra språk. 912502.0 Muntlig och skriftlig kommunikation/nat.vet. och teknik (skolb.språk finska), 3 sp Annemarie Södergård Efter avslutad kurs förväntas de studerande: - obesvärat kunna följa med föreläsningar, diskussioner och debatter inom det egna akademiska området - kunna förstå och tillägna sig information i specialiserade texter inom det egna akademiska området - kunna skriva många slags texter som hänför sig till det egna området och behandla ämnet klart, ledigt och detaljerat - i sina texter kunna göra skillnad mellan formellt och informellt språkbruk - kunna uttrycka sig ledigt i tal inom det egna ämnesområdet för sociala, akademiska och yrkesmässiga ändamål - kunna hålla ett vetenskapligt föredrag inom det egna ämnesområdet. 456105.0 Introduktion till datavetenskap, 5 sp Jan Westerholm Studenten kan redogöra för algoritmers beståndsdelar, presentera de vanligaste algoritmerna för olika standardproblem samt redogöra för algoritmers teoretiska egenskaper: korrekthet, komplexitet, beräkningsbarhet. Studenten kan programmera enkla Turingmaskiner och rita enkla digitala kretsar. http://users.abo.fi/jawester/intro11/ 456101.0 Programmering, grundkurs, 5 sp Åke Gustafsson, Annamari Soini Efter en godkänd kurs kan den studerande: 1. Analysera och förklara beteendet hos enkla program som innehåller grundläggande programmeringskonstruktioner. 2. Modifiera och utöka korta program som använder olika kontrollstrukturer (selektion, iteration och rekursion) samt funktioner. 3. Välja lämpliga villkorliga och iterativa konstruktioner för en given programmeringsuppgift. 4. Konstruera algoritmer som löser enkla problem. 5. Konstruera, implementera, testa och avlusa ett program som inkluderar följande fundamentala programmeringskonstruktioner: grundläggande beräkningar, enkel I/O, selektiva och iterativa strukturer samt funktionsdefinitioner. 6. Tillämpa tekniker från strukturerad och modulär programmering för att dela upp ett program i mindre delar. 7. Utveckla program som parprogrammering. http://xerxes.cs.abo.fi/Kurser/GrundProg/ 456200.0 Logik I , 4 sp Patrik Sibelius i. Strukturerade härledningar: Bör känna till och kunna använda formatet för strukturerade härledningar vid utförande av uppgifter inom matematik och formell logik. ii. Satslogik: Bör känna till det satslogiska formella språket och dess logik och kunna göra bruk av en tillräcklig uppsättning av bevisregler för att utföra bevis inom matematik och logik. iii. Predikatlogik: Bör känna till det predikatlogiska formella språket och dess logik och kunna göra bruk av en tillräcklig uppsättning av bevisregler för att utföra bevis inom matematik och logik. iv. Formalisering: Bör kunna formalisera satser på svenska till ett formallogiskt språk och omvänt översätta formella satser till satser på svenska. 270901.0 Propedeutisk matematik I, 5 sp Laxell Efter genomgångna kurser i Propedeutisk matematik I och Propedeutisk matematik II bör deltagaren behärska gymnasiets långa matematik. http://web.abo.fi/fak/mnf/mate/kurser/propmat/ 270902.0 Propedeutisk matematik II, 5 sp Laxell Efter genomgångna kurser i Propedeutisk matematik I och Propedeutisk matematik II bör deltagaren behärska gymnasiets långa matematik. http://web.abo.fi/fak/mnf/mate/kurser/propmat2/ 456201.0 Diskret matematik, 4 sp Patrik Sibelius i. Mängdlära: Bör känna till de elementära operationerna och relationerna i mängdlära och utföra uppgifter där sådana ingår. ii. Rekursion och induktion: Bör känna till vad en rekursiv definition av ett begrepp är och använda rekursion i beräkningar. Bör kunna utföra enkla bevis med matematisk induktion. iii. Logik och boolesk algebra: Bör kunna använda sanningsvärdetabeller för olika slag av uppgifter och förstå sambandet mellan satslogik och boolesk algebra. Bör kunna utföra enkla bevis inom formatet med strukturerade härledningar. Bör kunna formalisera uttryck i ett formellt predikatlogiskt språk och tolka sådana formella uttryck till svenska. iv. Relationer och funktioner: Bör känna till de mängdteoretiska definitionerna på relationer och funktioner och kunna utföra sammansättningar av relationer och funktioner. Bör känna till definitionen på ordningsrelationer och ekvivalensrelationer och igenkänna sådana från tillämpningar i verkligheten och hantera dem. 456102.0 Programmering, fortsättningskurs, 5 sp Ragnar Wikman Efter en godkänd kurs kan den studerande utveckla stora programhelheter med hjälp av objektorienterad programmering och använda färdiga bibliotek med datastrukturer. 272009.0 Grafteori och partiell ordning, 4 sp Juha Vuolle-Apiala Efter godkänd kurs förväntas studenterna kunna - förstå de grundläggande begreppen inom grafteorin och tillämpa teorin på några praktiska problem - förstå och tillämpa grundläggande resultat inom partiella ordningar, lattice och Booleska algebror 456302.0 Databaser, 5 sp Mats Aspnäs Efter en godkänd kurs kan den studerande: 1. Redogöra för de viktigaste fördelarna med att använda ett databassystem jämfört med ett filhanteringssystem. 2. Strukturera en databas med hjälp av E-R diagram. 3. Översätta ett E-R diagram till en motsvarande relationsmodell. 4. Använda ett datadefinitionsspråk (DDL) för att beskriva databaser med användande av relationsmodellen. 5. Använda relationsalgebraiska formler för att ställa grundläggande förfrågningar till databassystemet. 6. Använda SQL för att ställa förfrågningar till och uppdatera databasen. 7. Normalisera en relationsdatabas och analysera dess normaliseringsgrad. 8. Denormalisera databasen i samband med en dimensionsmodell. http://users.abo.fi/mats/databaser2012/ 451101.0 Praktikum i programmering, 5 sp Ragnar Wikman De studerande skall kunna delta i ett större programmeringsprojekt genom att själva utveckla egna moduler med hjälp av parprogrammering. 452302.0 Formella språk och automater, 5 sp Patrik Sibelius i. Språkhierarki: Bör kunna definitionerna på begreppen, formellt språk, rekursivt uppräkneligt språk, rekursivt språk, kontextfritt språk, reguljärt språk och ändliga språk och känna till hur dessa typer av språk förhåller sig till varandra. ii. Reguljära språk: Bör kunna utnyttja reguljära uttryck och ändliga automater i uppgifter för att bestämma huruvida ett språk är reguljärt eller icke. Bör känna till att reguljära språk är slutna under booleska operationer och konkatenation och utnyttja dessa fakta i lösning av problem. iii. Kontextfria språk: Bör kunna utnyttja kontextfria grammatiker i uppgifter för att bestämma huruvida ett språk är reguljärt eller icke. iv. Ordinal- och kardinaltal: Bör känna till dessa begrepp och beviset för Cantors teorem om att potensmängden av mängden av de naturliga talen inte är uppräknelig. v. Rekursivt uppräkneliga språk: Bör känna till Turingmaskinen och Church-Turings tes samt beviset för stopproblemets olösbarhet. vi. Rekursiva språk: Bör känna till den totala Turingmaskinen och avgörbarhetsbegreppet. 456102.0 Programmering, fortsättningskurs, 5 sp Ragnar Wikman Efter en godkänd kurs kan den studerande utveckla stora programhelheter med hjälp av objektorienterad programmering och använda färdiga bibliotek med datastrukturer. 456310.0 Programmeringens matematik, 5 sp Linda Mannila Efter avklarad kurs kan den studerande * definiera och förklara begrepp såsom för- och eftervillkor, invariant, terminering, korrekthet, specifikation * formalisera programspecifikationer givna i naturligt språk * skapa enkla felfria program enligt en "correct-by-construction" metod * bevisa riktigheten hos enkla program 912741.0 Finska/nat.vet och teknik, 5 sp Yvonne Nummela Ämnesspecifika kurser/språkprov i finska För att bli godkänd med vitsordet god muntlig och skriftlig förmåga i finska förväntas den studerande kunna - förstå tal i normalt tempo och kunna följa med samtal och muntliga framföranden om olika slags ämnen inom det egna området, - reda sig i olika kommunikativa situationer och kunna uttrycka sin sak klart och exakt på ett sätt som är anpassat till situationen. Talet är i huvudsak flytande och naturligt, - nästan utan svårighet förstå många slags texter som har anknytning till det egna området, också krävande texter, - skriva många slags texter som hänför sig till det egna området och behandla ämnet klart, ledigt och detaljerat. Kunna i sina texter göra skillnad mellan formellt och informellt språkbruk. För att bli godkänd med vitsordet nöjaktig muntlig och skriftlig förmåga i finska förväntas den studerande kunna - förstå tal i normalt tempo som handlar om bekanta ämnesområden inom det egna området, - ta initiativ i bekanta talsituationer, även om talet kan vara långsamt och uttalet och användningen av uttryck och strukturer avviker från målspråket. Avvikelserna hindrar dock inte kommunikationen, - förstå vanliga texter som hänför sig till det egna området och kunna uppfatta huvudpunkterna i dem, - skriva korta rutinmässiga texter i anslutning till det egna området som inte förutsätter omfattande och grundlig behandling av ämnet. Texten är i huvudsak förståelig, även om den innehåller språkfel och stilbrott. 913410.0 Engelska/Informations-teknologi, 5 sp Margaretha Phillips Färdighetsnivå B2-C1 enligt den europeiska referensramen för språk. Efter avslutad kurs förväntas de studerande: - kunna i detalj förstå och tillägna sig information i specialiserade texter inom det egna akademiska området. - kunna relativt lätt följa med föreläsningar, diskussioner och debatter inom det egna akademiska området. - kunna skriva stilistiskt anpassade, välstrukturerade och argumenterande texter inom det egna ämnesområdet, utan större grammatiska fel. - kunna delta effektivt i längre diskussioner och debatter av akademiskt eller professionellt intresse. - kunna uttrycka sig ledigt i tal inom det egna ämnesområdet för sociala, akademiska och yrkesmässiga ändamål. Färdigheterna bedöms på skalan 0-5 beroende på hur väl studeranden uppfyller lärandemålen 911303.0 Kommunikation/Informationsteknologi, kemiteknik, 2 sp Se Centret för språk och kommunikation 456301.0 Datorteknik, 5 sp Ulla Solin Efter en godkänd kurs kan den studerande redogöra för och analysera gränssnittet mellan programvara och hårdvara i en processor, samt förklara, sammanfatta och analysera uppbyggnaden och funktionen hos en RISC-processor (pipe-line) på låg nivå. http://users.abo.fi/ulla/DTK/kurssida11.html 456300.0 Systemdesign, grundkurs, 5 sp Ivan Porres Efter genomgången kurs skall den studerande kunna uppgöra förslag till systemlösningar och kunna utvärdera alternativa förslag. 456312.0 Datastrukturer, 5 sp Ragnar Wikman Avlagd kurs ger den studerande förutsättningar att: 1. Definiera och förklara begreppet tidskomplexitet, samt tillämpa enkel komplexitetsanalys på de vanligaste algoritmtyperna. 2. Definiera och förklara begreppet abstrakt datatyp (AST). 3. Korrekt implementera generiska (typparametriserade) algoritmer och datastrukturer i Java. 4. Definiera, förklara och implementera lineära strukturer (listor, stackar, köer), trädstrukturer (binära träd, binära sökträd, AVL-träd, splay-träd, B-träd), associativa listor (hash-tabeller) och prioritetsköer (binära heapar, leftist-heapar). 5. Bedöma ovanstående datastrukturers fördelar och nackdelar, i synnerhet gällande tids- och utrymmeskomplexitet hos de operationer som definieras för respektive datastruktur. 6. Effektivt tillämpa ovanstående datastrukturer i praktiska programmeringsproblem. 7. Implementera grundläggande sorteringsalgoritmer (insertion sort, shellsort, heapsort, mergesort, quicksort och bucketsort), och även beskriva dessa algoritmers funktionsprincip samt tids- och utrymmeskomplexitet. 456313.0 Algoritmer, 5 sp Mats Aspnäs Efter godkänd kurs kan den studerande - använda sig av de vanligaste sorteringsalgoritmerna och grafalgoritmerna som komponenter i program som de själva konstruerar - kunna tillämpa algoritmdesigntekniker baserade på giriga algoritmer, dela-och-härska, dynamisk programmering, randomiserade algoritmer och backtracking - använda enkla tekniker för att analysera algoritmers komplexitet - använda ett antal avancerade datastrukturer baserade på träd http://users.abo.fi/mats/alg/ 456311.0 Datornätverk, 5 sp Ulla Solin Efter en avklarad kurs kan den studerande definiera grundprinciperna för hur ett datornätverk uppbyggs, samt förklara, klassificera och analysera tekniker och protokoll som används på de fyra lägsta nivåerna i OSI-arkitekturen. http://users.abo.fi/ulla/KOM/kurssida11.html 271004.1 Matriser, del I, 4 sp Christer Glader Efter genomgången kurs bör deltagaren kunna: - behärska och använda kursens många grundläggande definitioner - självständigt tillämpa kursens tekniker och teorier på problemlösning http://web.abo.fi/fak/mnf/mate/kurser/matriser/ 457105.0 Analys och kravhantering av informationssystem, 5 sp Franck Tetard Efter godkänd kurs förväntas den studerande kunna: - definiera och förstå skillnaden mellan olika systemutvecklingsmetodologier och livscykler - definiera och utföra en täckande genomförbarhetsanalys - definiera och utföra en kravanalys (t.ex. med hjälp av Volere-mallen) samt förstå och definiera alla aspekter som täcks av en kravanalys (användbarhet, säkerhet, etik, legala aspekter?). - analysera ett domänproblem och modellera detta problem med hjälp av lämpliga modelleringstekniker (t.ex. UML). 221002.0 Miljövård med hållbar utveckling, 5 sp Mikael von Numers Studenten kan efter avklarad kurs a) redogöra för sambanden mellan naturvetenskap och dagens miljöhot (t.ex. eutrofiering, miljögifter och hoten mot biologisk mångfald) b) förklara metoder att åtgärda miljöproblem c) redogöra för konceptet hållbar utveckling (socioekonomisk, ekologisk och kulturell hållbarhet) och lokala, regionala och globala indikatorer på miljötillstånd. 452306.0 Programmerings-paradigm, 5 sp Annamari Soini Deltagaren känner till och kan aktivt använda den grundläggande begreppsapparaturen för ett beskriva olika programmeringsspråk. Deltagaren kan utveckla enkla program på ett funktionellt språk. Deltagaren kan utveckla ett enkelt expertsystem inom logikparadigmet. 452307.0 Systemdesign, fortsättningskurs, 5sp Ivan Porres Identifiera och förstå de viktigaste designmönster för programvara: skapande, strukturerande och beteende designmönster. Välja och tillämpa designmönster för programvara i praktiken. 271001.1 Grundkurs i analys del I, 5 sp Christer Glader Efter genomgången kurs bör deltagaren kunna: - behärska och använda kursens många grundläggande definitioner - självständigt tillämpa kursens tekniker och teorier på problemlösning¨ http://web.abo.fi/fak/mnf/mate/kurser/gkanalys/ 452303.0 Praktikum i programvaruproduktion, 5 sp Ivan Porres 271003.0 Grundkurs i sannolikhetslära, 4 sp Reino Vainio Efter genomgången kurs bör deltagaren kunna: - behärska och använda kursens många grundläggande definitioner - kalkylera med de vanligaste sannolikhetsfördelningarna (såväl diskreta som kontinuerliga) - för grundläggande sannolikhetsproblem välja rätt fördelningstyp, dvs. överföra problemet på beräkningsplanet http://web.abo.fi/fak/mnf/mate/kurser/gksann/ 453302.0 Operativsystem, 5 sp Jerker Björkqvist Efter avslutad kurs kan den studerande redogöra för: - operativsystemets uppbyggnad, - modeller och delar som används, - algoritmer som används, samt ha praktisk förtrogenhet med operativsystem. Därtill ska den studerande kunna känna till de viktigaste operativsystemen, kunna jämföra operativsystem, effektivt använda operativsystem, samt i viss mån ha förmåga att göra förändringar i operativsystem. Den studerande ska även kunna beskriva och förklara följande områden inom operativsystem: Historia, Processmodellen, Skedulering, IPC, Systemanrop, Minneshantering, Input / Output, Filsystem, och Säkerhet. 456306.0 Kompilatorteknik, 5 sp Ulla Solin Efter en godkänd kurs kan den studerande redogöra för de centrala begreppen hos högnivåspråk, samt deras syntax, semantik och kontextuella begränsningar. Den studerande kan tillämpa syntaxanalys och kontextuell analys för statiskt bundna och statiskt typade programmeringsspråk för rekursiva descent-kompilatorer, redogöra för förhållandet mellan ett källspråk och en målmaskin samt genera kod för en stackbaserad målmaskin. http://users.abo.fi/ulla/KOMP/kurssida12.html 456506.0 Cryptography and network security, 5 sp Ion Petre Kursen ges på engelska / The course is taught in English After completing the course the student will know and understand the principles and practice of cryptography and network security. 456495.0 Kandidatseminarium i datavetenskap Marina Walden, Jerker Björkqvist En godkänd kandidatavhandling innebär att den studerande har grundläggande färdigheter i : - vetenskapligt skrivande - informationssökning - analys och behandling av information Dessutom har den studerande gett bevis på språklig förmåga och kommunikations-färdighet. 452304.0 Programvaruutveckling och -projekt, 5 sp Ivan Porres Efter genomgången kurs bör studeranden kunna: 1. Förklara de centrala begreppen inom följande huvudområden för projekt inom programvaruproduktion och informationssystem: - Programvarulivscykeln - Projekthantering och -ledning - Verktygsstöd för programvaruprojekt - Kvalitet och processförbättring 2. Identifiera viktiga funktioner hos verktyg som stöder programvarulivscykeln. 3. Planera ett mindre projekt. 4. Skilja mellan och välja mellan plandrivna och rörliga processmodeller på bas av projektets och organisationens egenskaper. 355001.2 Grundkurs i statistisk teori, del 2, 5 sp Jukka Corander Efter godkänd kurs förväntas studenterna kunna förstå grunderna för den statistiska inferensteorin samt kunna använda de vanligaste estimations- och hypotesprövningsmetoderna. http://web.abo.fi/fak/mnf/mate/kurser/gkstat/ Fördjupade studier 451000.0 Projektkurs, 10 sp Dragos Truscan, Jerker Björkqvist, Karl Rönnholm, Luigia Petre Kursen ges på engelska / The course is taught in English · Interact with a customer and learn how to communicate requirements and design decisions. · Plan and follow up a software development project. Review the plan during the execution of the project and reflect over your initial expectations and estimations. · Work in a team. Team coordination, meetings, planning and internal communication. Use basic collaboration tools in software development such as an issue tracking system and a software repository and version control system. · Carry out a development project from beginning to end: Create and document a design. Implement the design. Test the implementation. · Presentations and documentation. Present your project, product, plans and documents to your colleagues, stakeholders and the general public. Produce documentation that is usable and understandable. - Samarbete med en kund - Teamarbete - Genomförande av projekt från start till slut - Fullföljande av tekniska krav - Utreda kommersialisering av produkt - Presentation av eget arbete både teknisk och kommersiellt - Delta i projektmässa - Dokumentation; projektplan, teknisk dokumentation, användardokumentation, reklammaterial https://xprog28.cs.abo.fi/proj.nsf 456309.0 Specifikationsmetodik, 5 sp Marina Walden Kursen ges på engelska / The course is taught in English After the course the student should be able to read and create precise specifications. Furthermore, (s)he can write specifications with the help of a tool that supports a specification language and use the tool to analyse the correctness of the specifications. 455304.0 Code optimization, 5 sp Mats Aspnäs Kursen ges på engelska / The course is taught in English After completing the course the student can 1. Explain how code optimization fits into the software development process 2. Identify the hardware techniques that are crucial for efficient instruction execution in modern processor architectures 3. Explain the mechanisms used to implement out-of-order instruction execution, speculative execution, cache memory and floating-point computations. 4. Apply vectorization of loops with SSE-instructions. 5. Explain the optimization techniques a compiler can perform on a program. 6. Apply code optimization techniques on programs written in a high-level programming language and evaluate the effects of the optimizations. http://users.abo.fi/mats/codeopt2011/ 456511.0 Introduction to computational and system biology, 5 sp Ion Petre Kursen ges på engelska / The course is taught in English After the course students will have a good understanding of some of the computational challenges arising from biology and biotechnology and will be able to apply a number of algorithms to solve them. They will also have a good understanding of several computational modeling, simulation, and analysis techniques for biology. http://www.users.abo.fi/ipetre/ 456502.0 Software architectures, 5 sp Luigia Petre Kursen ges på engelska / The course is taught in English After the course the student should be able to recognize different architectural styles, describe an architecture accurately, and generate and evaluate architectural alternatives. http://www.users.abo.fi/lpetre/SA11/ 456794.0 Pro gradu seminarium i datavetenskap Marina Walden En godkänd pro gradu avhandling vittnar om studentens förmåga att ge en innehållsmässigt logisk och språkligt korrekt framställning av en vetenskaplig fråga. 455302.0 Advanced computer graphics, 5 sp Jan Westerholm Kursen ges på engelska / The course is taught in English The student acquires an ability to design, implement and evaluate a program for generic graphics processor cards and gains a familiarity to use one of the major existing programming languages for graphics processors: CUDA, OpenCl or OpenGL. http://users.abo.fi/jawester/advcompgraph/ 456506.0 Cryptography and network security, 5 sp Ion Petre Kursen ges på engelska / The course is taught in English After completing the course the student will know and understand the principles and practice of cryptography and network security. 452501.0 Development of Web Applications and Web Services, 5 sp Ivan Porres Kursen ges på engelska / The course is taught in English Upon completion of this course, students will have the ability to: - Understand and generate valid HTTP requests for the HTTP GET, POST, PUT and DELETE methods - Apply mechanisms to develop stateful web application using the HTTP protocol - Apply authentication and authorization mechanisms in the development of web applications and web services - Develop a multiuser web application using a model-view-controller web framework and a relational database for persistence - Develop a RESTful web service 456509.0 Logic for Computer Science, 5 sp Patrik Sibelius Kursen ges på engelska / The course is taught in English i. First-order Logic: Ought to know the definitions of First-order languages, their logic and to be able to carry out formal proofs in some of their proof calculi. Ought to know Hilbert's Thesis about the limits of provability and explicitness in description. Ought to know what a formal system, axiomatization and axiomatizability are. ii. Ought to know the definition of standard set theoretical semantics for First-order languages and what is meant by satisfiability and validity as well as by a proof calculus being sound and complete with regards to a semantics. Ought to know how proofs of soundness and completeness are carried out. iii. Semantics tableaux: Ought to know how semantics tableaux are constructed and how they are used and how they connect to models in set theoretical semantics. iv. Important meta-theorems: Ought to know also the Compactness Theorem and the Löwenheim-Skolem-Tarski Theorem and how they are used in solving problems in meta-logic as well as the Gödel's Incompleteness Theorem for formal arithmetical and Church Undecidability theorem for First-order logic. 456508.0 Computability and computational complexity, 5 sp Luigia Petre Kursen ges på engelska / The course is taught in English After completing the course, the student is able to reason about computability and computational complexity of different kinds of problems. 424501.0 Neurala nätverk, 5 sp Henrik Saxén Kursen ges på engelska / The course is taught in English -To learn the theoretical background of artificial neural networks. -To understand the theory of neural computation -To get acquainted with different neural network architectures and training algorithms -To gain partical knowledge on the use of neural networks in problem solving, including the pros and cons of the technique -To solve a simple real-world problem with neural networks http://www.abo.fi/student/nn 424511.0 Evolutionary Algorithms, 5 sp Frank Pettersson Kursen ges på engelska / The course is taught in English The students will gain and demonstrate an understanding of Evolutionary Algorithms (EA) with a particular focus on Genetic Algorithms (GA), and how these methods can be used in different practical optimization tasks. Furthermore, multi-objective optimization will be introduced and the students will demonstrate knowledge in how EAs can be used for their solution. Several applications of EA in different fields, with the aim of being of general interest, will be discussed and solved during the course. The students will demonstrate their understanding and skills in assignments, an individual exercise and oral exam. Specialkurser och postgradual undervisning. Kursutbudet inom fördjupade och postgraduala studier har koordinerats med Åbo universitet och Åbo handelshögskola inom ramen för TUCS (Turku Center for Computer Science). Kursinformationen finns i TUCS kursprogram (www.tucs.fi). Se Forskarskolor.