In this course, you will learn how to formalize information and reason systematically to produce logical conclusions. We will also examine logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

Opintojakso on Coursera-verkkokurssi, jonka opetuskieli on englanti. Sitä suositellaan erityisesti tietojenkäsittelytieteen opiskelijoille, jotka suorittavat tutkinnossaan vaadittuja matemaattisia opintoja.

Introduction to Logic -kurssi kirjataan rekisteriin matematiikan aineopintoina:
-MTTMA10 Johdatus logiikkaan 1, 3 op
-MTTMA11 Johdatus logiikkaan 2, 2 op

Osallistumalla myöhemmin opetukseen molemmat kurssit on mahdollista laajentaa 5 op:n laajuisiksi. Kurssien maksimiyhteispistemäärä on 10 op.

Ks. Coursera-kurssisivu.

Hyväksytysti suoritettu Coursera-kurssi ja erillinen tentti.

Coursera-kurssin suorittamisen käytännöt: ks. kurssin kotisivu ja Courseran ohjeistukset.

Tentti ja opintopisteet TaY:ssa: ole yhteydessä vastuuopettajaan.