Õppeaine 'Hulgateooria ja matemaatiline loogika'

Aasta:   2011/2012    2012/2013    2013/2014    2014/2015    2015/2016    

Tartu Ülikool

Üliõpilastele esmaste teadmiste andmine kaasaegse
matemaatika üldistest mõistetest, nende kasutamisharjumuste treenimine.

Õppeaine läbinud üliõpilane:
1. tunneb põhilisi hulgateooria mõisteid;
2. oskab neid kasutada lihtsamate ülesannete lahendamisel;
3. on ette valmistatud nende mõistete kasutamiseks
teistes õppeainetes;
4. tunneb lausearvutuse põhimõisteid;
5. oskab seostada lausearvutuse tehteid loomuliku
keele lausetega;
6. on muutunud küllalt ettevaatlikuks, et mitte kasutada
formaalseid valemeid ilma sisusse tungimata.

Hulga mõisted, tehted hulkadega, funktsioonid, seosed,
ekvivalentsusseosed ja klassijaotused, hulga võimsus,
järjestatud hulgad. Lausearvutuse põhimõisted, samaselt
tõesed valemid, samaväärsed valemid, disjunktiivne
normaalkuju.

2010: CNS  

2009: A3  

2008: A3  

2007: A3