000 | 02579 a2200361 4500 | ||
---|---|---|---|
003 | MN-UlNUM | ||
005 | 20231108110554.0 | ||
008 | 110605s1983 mp 000 0 mon d | ||
040 | _afirst lib | ||
082 | _a510 | ||
084 |
_a22.12я7 _bМ 400 _2surgalt avlaga _q2 |
||
100 | 1 | _aМекей А., Энхболд П | |
240 | 1 | 0 | _a22.12я7 М 400 |
245 | 1 | 0 | _aОлонлогийн онол ба математик логикийн семинарын зөвлөмж |
260 |
_aУБ _c1983 |
||
300 | _a101 | ||
500 | _aБУУТ 1078, 1080, 1104-1105, 1111, 1113, 1117, 1120, 1127-1130, 1133, 1139 | ||
505 | _aЭнэ семинарын зөвлөмжид олонлогийн онол ба математик логикийн семинарын хичээлийн төлөвлөгөөтэй уялдуулан бодлогуудыг сонгон авч бичсэн. Уг номын гарчиг нь семинарын төлөвлөгөөний гарчигтай адил тул семинарын бодлого хайж олоход туслах болно. Мөн тэмдэглээ болон нэр томьёог сурах бичиг болог дээд алгебр, математик анализ зэрэг ерөнхий курсуудын номуудтай нийцүүлэн авсан байна. | ||
546 | _aMongolia | ||
653 | _aолонлогийн онол | ||
653 | _aматематик логик | ||
653 | _aгарын авлага | ||
740 | _aОлонлогийн онолын элементүүд | ||
740 | _aОлонлогийн онолын анхдагч ухагдахуунууд. Олонлогуудад хийх үйлдлүүд | ||
740 | _aХарьцаа. Эквивалентийн харьцаа. Буулгалт | ||
740 | _aОлонлогийн чадал. Чадлуудад хийх үйлдлүүд. Зэрэмблэгдсэн олонлог. Эрэмбийн тоо | ||
740 | _aМатематик логикийн элементүүд | ||
740 | _aХэллэгийн алгебр.Нормаль хэлбэр. Хэллэгийн алгебрыг хэрэглэх | ||
740 | _aПредикатуудыг логик. Предикат. Квантор. Предикатуудын логикийн томьёо | ||
740 | _aАлгоритмууд. Рекурсив функц. Тьюрингийн машин. Нормаль алгорифм | ||
740 | _aОлонлогийн онол ба математик логикийн семинарын төлөвлөгөө | ||
942 | _cBK | ||
999 |
_c10535 _d10535 |