Хэллэгийн логикийн Формаль онол (Бичлэгийн дугаар. 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 ## - ЭЛЕМЕНТИЙН ТӨРӨЛ | |
Зүйлийн төрөл | Магистрын ажил |
Бүрдүүлэлтийн эх үүсвэр | Date last seen | Үндсэн номын сан | Оруулсан огноо | Date last checked out | Ангилал | Зүйлийн төрөл | Нийт уншлаганд гарсан тоо | Баркод | Withdrawn status | Одоогийн байршил | Үнэ | Нийтийн тэмдэглэл | Дансны код | Дансны дугаар |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Бэлэг, хандив | 2024-05-28 | Эрдэм шинжилгээний фонд | 2022-06-22 | 2024-05-28 | Магистрын ажил | 4 | 2022-8528 | Эрдэм шинжилгээний фонд | 5000 | Ганц хувь тул гэрээр олгох боломжгүй | ЭШФ Магистрын ажил 30 | 306958 |