Periodit
(29.8.2016
– 23.10.2016)
(9.1.2017
– 5.3.2017)
(6.3.2017
– 28.5.2017)
Alla on julkaistu matematiikan maisteriopintojen opetusohjelma, jossa ei ole eritelty opintosuuntia. Tutkintorakenteen, tutkintoon vaadittavat opintojaksot sekä opintokokonaisuuksien sisällöt voi tarkistaa opinto-oppaasta. Opintojaksojen vastuuopettajat on julkaistu tutkinto-ohjelman verkkosivuilla.
Kaikki opintojaksot eivät käy kaikkien opintosuuntien syventäviksi opinnoiksi (esim. Automaatit I-II ja Algoritmit eivät kuulu aineenopettajasuunnan kurssivalikoimaan).
Myös ennen syksyä 2015 aloittaneet opiskelijat valitsevat opintojaksot tästä opetusohjelmasta, vaikka noudattaisivat aiemmin voimassa ollutta opetussuunnitelmaa. Vanhojen ja uusien opintojaksojen vastaavuudet on kuvattu kurssien kuvaustiedoissa ja vastaavuustaulukossa.
Ilmoittautuminen
Matematiikan ja tilastotieteen kursseille ilmoittaudutaan kurssin tiedoissa mainitulla tavalla. Mikäli et osallistu opetukseen, tulee ilmoittautuminen perua kahden viikon kuluessa opetuksen alkamisesta. Mikäli et osallistu opetukseen etkä peru kurssipaikkaa tai keskeytät kurssin, opintosuoritus arvioidaan arvosanalla hylätty.
Kokonaismerkinnät
Matematiikan ja tilastotieteen kokonaismerkinnät pyydetään tutkinto-ohjelman asiointiosoitteesta mtt-studies@uta.fi. Liitä pyyntöön nimen ja opiskelijanumeron lisäksi kokonaisuuden tiedot (nimi ja sisältö).
Tampere3-ristiinopiskelusta, TaY:n opiskelijat
Opetusohjelmaan on poimittu muutamia Tampereen teknillisen yliopiston järjestämiä yhteistyökursseja (ristiinopiskelutarjontaa, MAT-koodit), joille hakeudutaan ristiinopiskelupalvelun kautta. Lisätiedot yksikön ohjesivulla.
Ristiinopiskelupalvelussa listattujen TTY:n matematiikan kurssien vastaavuudet suhteessa TaY:n matematiikan opintoihin on listattu vastaavuustaulukossa.
Tampere3-ristiinopiskelusta, muut T3-opiskelijat
Noudata oman organisaatiosi ja ristiinopiskelupalvelun ohjeita. Ristiinopiskelupalvelussa ja tässä opetusohjelmassa listatuille TaY:n matematiikan kursseille varataan muutamia paikkoja muiden T3-korkeakoulujen opiskelijoille.
Ilmoittautuminen 25.8. mennessä oheisella lomakkeella.
Ilmoittautuminen on päättynyt.
Poikkeukset:
Poikkeukset:
Poikkeukset:
Kurssin välikoeaikataulu
- 1. välikoe tiistaina 18.10. klo 9-12, Päätalo A4
- 2. välikoe torstaina 10.11. klo 9-12, Päätalo A2a
- 3. välikoe torstaina 15.12. klo 9-12, Päätalo A2a
Poikkeukset:
Poikkeukset:
Jälki-ilmoittautumiset opettajalle.
Poikkeukset:
Poikkeukset:
Prerequisities
Familiarity with first-order logic.
Topics for lectures
1st LESSON
Henkin quantifiers:
-informal presentation of Skolem semantics -a sentence expressing infinity Syntax of IF logic, free and bound variables. Game-theoretical semantics.
2nd LESSON
Hodges' signalling sentence. The correct notion of Skolemization.
Expressive power of sentences:
-the Walkoe-Ehrenfeucht theorem. Panoramic of model-theoretic properties.
3rd LESSON
The debate on compositionality. Team semantics. 1-coherence of first-order logic. The Cameron-Hodges theorem.
Expressive power of open formulas (Kontinen-Vaananen).
4th LESSON
Downward monotonicity, non-contradiction. Substitution Truth equivalence:
-dummy variables in teams (cartesian extension) and in slash sets -locality of sentences
5th LESSON Equivalence in context (1):
-substitution of equivalents
-propositional laws
-shrinking of slash sets
-distribution of quantifiers
6th LESSON
Equivalence in context (2):
-vacuous quantifiers and requantification -quantifier swapping -quantifier extraction -renaming
7th LESSON Equivalence in context (3):
-prenex normal form
-strong regularization
An application: the perfect recall fragment
Exceptions:
Course can be a part of advanced studies in mathematics.
For details, course description and learning outcomes, see TUT Curricula.
Registration through Tampere3 Service for Cross-Institutional Studies.
Course is organized by Tampere University of Technology and it is a part of the cross-institutional studies of Tampere3 universities.
Course can be a part of advanced studies in mathematics.
Info- ja keskustelutilaisuus matematiikan pro gradu -tutkielmaa aloittaville opiskelijoille.
Ohjelmassa mm.
- pro gradu matematiikassa,
- ohjaajat ja aihealueet,
- opetussuunnitelma ja säädökset sekä
- keskustelua.
Vapaaehtoinen ilmoittautuminen osallistujamäärän kartoittamiseksi.
Poikkeukset:
Poikkeukset:
Poikkeukset:
Poikkeukset:
Poikkeukset:
Poikkeukset:
Poikkeukset:
Poikkeukset:
Poikkeukset:
Poikkeukset:
Kurssin esitietoina suositellaan MTT:n kursseja MTTMA2 Lineaarialgebra 1B ja MTTMA3B Algebra 1B.
1. välikoe maanantaina 6.3. klo 9-12 salissa A2b.
Note. You can not include both MAT-72006 Advanced Algorithms and Data Structures 7 ECTS (TUT) and this course in your M.Sc. degree (120 ECTS).
Sisältö
Simpleksiset kompleksit ja näiden muodostaminen datasta, homologiaryhmät, Bettin luvut, persistentti homologia, viivakoodit.
Esitiedot
Topologian esitietoja ei tarvita, mutta jokin matematiikan syventävä kurssi on oltava suoritettuna.
Poikkeukset:
Poikkeukset:
Poikkeukset: