| Õppeaine |
| Ainekood |
MTMM.00.200 |
| Õppeaine nimetus |
Hulgateooria ja matemaatiline loogika |
| Ainepunkte |
3 EAP |
| Hindamisviis |
Mitteeristav |
|
| Õppekava aine |
| Õppekava |
2008 A3 |
| Õppeaasta |
3 |
| Semester |
Sügissemester |
| Aine tüüp |
Kohustuslik |
| Spetsialiseerumine |
andmeside- ja infotöötlusseadmete käitamine |
|
| Õppeaine läbiviija |
|---|
| Tartu Ülikool |
|
| Õppeaine eesmärk |
|---|
Üliõpilastele esmaste teadmiste andmine kaasaegse
matemaatika üldistest mõistetest, nende kasutamisharjumuste
treenimine. |
|
| Õppeaine õpiväljundid |
|---|
Õ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. |
|
| Sisu lühikirjeldus |
|---|
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. |
|
| Asendusained |
| MTAT.05.109
Diskreetse matemaatika elemendid |
| MTMM.00.342
Matemaatiline maailmapilt |
|
| Käimasolevad voorud |
|---|
| Pole ühtegi |
