Хэллэгийн логикийн Формаль онол (Бичлэгийн дугаар. 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-222024-05-28 Магистрын ажил42022-8528 Эрдэм шинжилгээний фонд5000Ганц хувь тул гэрээр олгох боломжгүйЭШФ Магистрын ажил 30306958