Хэллэгийн логикийн Формаль онол (Бичлэгийн дугаар. 125937)
| 000 -УДИРДЛАГА | |
|---|---|
| Удирдлага | 02129nam a22004577a 4500 |
| 003 - ХЯНАЛТЫН ТОО ТОДОРХОЙЛОГЧ | |
| Код | MN-UlNUM |
| 005 - БИЧИЛТ ХИЙСЭН ОГНОО | |
| Тухайн бичилтийг бичсэн засварласан сүүлийн огноо | 20220630140632.0 |
| 008 - ЕРӨНХИЙ МЭДЭЭЛЭЛ | |
| Ерөнхий мэдээлэл | 220622b2022 mp ||||| |||| 00| 0 mon d |
| 040 ## - БИЧЛЭГ ҮҮСГЭГЧ БАЙГУУЛЛАГА | |
| Бичлэг үүсгэгч номын сан | МУИС-ийн номын сан |
| 084 ## - ББК АНГИЛАЛ | |
| Нэмэлт тусгалт | Нэг сэдэвт бүтээл |
| ББК ангилал | 22.12 |
| Зохиогчийн гурван тэмдэгт | О-417 |
| Мэдлэгийн ялгаа | 2 - Байгалийн шинжлэл |
| 100 ## - ЗЭРЭГ ГОРИЛОГЧ | |
| Зэрэг горилогч | Оргил-Эрдэнэ Эрдэнэбаатарын |
| 110 ## - СУРГУУЛЬ / ТЭНХИМ | |
| Сургууль | МУИС. ШУС. БУС |
| Тэнхим | Математикийн тэнхим |
| 240 ## - Шифр - Номын наалт, тайланд хэрэглэх | |
| Ангилалын дугаар /Зохиогчийн 3 тэмдэгт | 22.12 О-417 |
| 245 ## - ҮНДСЭН ГАРЧИГ | |
| Судалгааны ажлын сэдэв | Хэллэгийн логикийн Формаль онол |
| Удирдагч | (Ph.D) Н.Ууганбаатар |
| Шүүмжлэгч | (Ph.D) Т.Хулан |
| 260 ## - ГАРАЛТЫН МЭДЭЭ | |
| Хэвлэгдсэн он | 2022 |
| Хэвлэгдсэн газар | УБ |
| 300 ## - МАТЕРИАЛЫН ТОДОРХОЙЛОЛТ | |
| хуудасны тоо | 61 |
| 500 ## - Тайлбар | |
| Дансны дугаар | Дип 6958 |
| 546 ## - ХЭЛНИЙ ТУХАЙ МЭДЭЭ | |
| Хэл | Монгол хэл дээр, |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | магистрын дипломын ажил |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | математик |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | математикийн логик |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | загварын онол |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Бүлэг 1. Бэлтгэл ажил |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Харьцаа |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Индукцийн зарчмууд |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Булийн алгебр |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Бүлэг 2. Хэллэгийн логикийн Формаль онол |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Хэллэгийн логик: Синтакс болон Симантик |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Хэллэгийн логикийн Формаль онол |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Хэллэгийн логикийн Формаль онолын чанарууд |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Бүлэг 3. Хэллэгийн логикийн Формаль онол ба Булийн алгебрын хоорондын хамаарал |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Хэллэгийн логикийн томьёонууд дээрх Булийн алгебр |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Линденбаум-Тарскигийн алгебр |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Хэллэгийн логикийн Формаль онолын гүйцэд чанарын алгебр баталгаа |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Бүлэг 4. Нэмэлт үр дүнгүүд |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Линденбаум-Тарскигийн урвуу теорем |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Тууштай чанар ба гүйцэд чанарын хамаарал |
| 740 ## - ГАРЧИГ | |
| Гарчиг | Аксиомуудын үл хамаарал |
| 942 ## - ЭЛЕМЕНТИЙН ТӨРӨЛ | |
| Зүйлийн төрөл | Магистрын ажил |