| 000 | 02173nam a22004697a 4500 | ||
|---|---|---|---|
| 003 | MN-UlNUM | ||
| 005 | 20221015133234.0 | ||
| 008 | 220622b2022 mp ||||| |||| 00| 0 mon d | ||
| 040 | _afirst lib | ||
| 082 | _a512 | ||
| 084 |
_2sudalgaa _a22.12 _bО-417 _q2 |
||
| 100 | _aОргил-Эрдэнэ Эрдэнэбаатарын | ||
| 110 |
_aSHUBUS _bMATET |
||
| 240 | _a22.12 О-417 | ||
| 245 |
_aХэллэгийн логикийн Формаль онол _c(Ph.D) Н.Ууганбаатар _d(Ph.D) Т.Хулан |
||
| 260 |
_c2022 _aУБ |
||
| 300 | _a61 | ||
| 500 | _aДип 6958 | ||
| 546 | _aMongolia | ||
| 653 | _aмагистрын дипломын ажил | ||
| 653 | _aматематик | ||
| 653 | _aматематикийн логик | ||
| 653 | _aзагварын онол | ||
| 740 | _aБүлэг 1. Бэлтгэл ажил | ||
| 740 | _aХарьцаа | ||
| 740 | _aИндукцийн зарчмууд | ||
| 740 | _aБулийн алгебр | ||
| 740 | _aБүлэг 2. Хэллэгийн логикийн Формаль онол | ||
| 740 | _aХэллэгийн логик: Синтакс болон Симантик | ||
| 740 | _aХэллэгийн логикийн Формаль онол | ||
| 740 | _aХэллэгийн логикийн Формаль онолын чанарууд | ||
| 740 | _aБүлэг 3. Хэллэгийн логикийн Формаль онол ба Булийн алгебрын хоорондын хамаарал | ||
| 740 | _aХэллэгийн логикийн томьёонууд дээрх Булийн алгебр | ||
| 740 | _aЛинденбаум-Тарскигийн алгебр | ||
| 740 | _aХэллэгийн логикийн Формаль онолын гүйцэд чанарын алгебр баталгаа | ||
| 740 | _aБүлэг 4. Нэмэлт үр дүнгүүд | ||
| 740 | _aЛинденбаум-Тарскигийн урвуу теорем | ||
| 740 | _aТууштай чанар ба гүйцэд чанарын хамаарал | ||
| 740 | _aАксиомуудын үл хамаарал | ||
| 856 |
_apublic/ _d316958/index.html |
||
| 942 | _cEMA | ||
| 999 |
_c127209 _d127209 |
||