Õppeaine 'Hulgateooria ja matemaatiline loogika'

Aasta:   2008/2009    2009/2010    2010/2011    2011/2012    2012/2013    

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