Kaisa_2012_3_photo by Veikko Somerpuro

The exercise sessions are in English.

Exercise set 1, see material section.

Ilmoittaudu
10.12.2018 klo 09:00 - 30.4.2019 klo 23:59

Aikataulu

Tästä osiosta löydät kurssin opetusaikataulun. Tarkista mahdolliset muut aikataulut kuvauksesta.

PäivämääräAikaOpetuspaikka
Ke 16.1.2019
14:00 - 16:00
Ke 23.1.2019
14:00 - 16:00
Ke 30.1.2019
14:00 - 16:00
Ke 6.2.2019
14:00 - 16:00
Ke 13.2.2019
14:00 - 16:00
Ke 20.2.2019
14:00 - 16:00
Ke 27.2.2019
14:00 - 16:00
Ke 13.3.2019
14:00 - 16:00
Ke 20.3.2019
14:00 - 16:00
Ke 27.3.2019
14:00 - 16:00
Ke 3.4.2019
14:00 - 16:00
Ke 10.4.2019
14:00 - 16:00
Ke 17.4.2019
14:00 - 16:00

Muu opetus

16.01. - 27.02.2019 Ke 14.00-16.00
13.03. - 17.04.2019 Ke 14.00-16.00
Juliette Kennedy
Opetuskieli: suomi

Materiaalit

Exercise 1

Kuvaus

Opintojaksosta vastaa matemaattisten tieteiden kandiohjelma ja se kuuluu matematiikan aineopintoihin.

Opintojakso on tarjolla myös muiden koulutusohjelmien opiskelijoille.

Ei vaatimuksia

Johdatus logiikkaan I ja II

Kun sopivat edeltävät kurssit on suoritettu.

Ei välttämättä järjestetä joka vuosi, pyritään järjestämään joka toinen vuosi. Seuraavan kerran tarjolla syksyllä 2018.

The course covers Dedekind's construction of the reals, moving on from there to the basic theory of ordinal and cardinal numbers, equivalents of the Axiom of Choice and the study of other ZFC axioms. Transfinite recursion is used to define the aleph numbers, as well as the rank segments of the cumulative hierarchy.

Arvioidaan kurssikokeella/laskuharjoituksilla. Arviointi 1-5.

Järjestetään lähiopetuksena. Viikottaiset luennot sekä harjoitusryhmä. Lisäksi itsenäistä työskentelyä. 50% läsnäolo.

Koe ja laskuharjoitukset suoritusmuotona.