000 | 03788 a2200601 4500 | ||
---|---|---|---|
003 | MN-UlNUM | ||
005 | 20231108104503.0 | ||
008 | 110605s1978 mp 000 | 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Олонлог ба логикийн элементүүд _cРед. Ү.Санжмятав, Ц.Дашдорж |
260 |
_aУБ _bУДТДТМБ-ын хорооны хэвлэл _c1978 |
||
300 | _a120 | ||
500 | _aБУУТ 1052-1059, 1062-1064, 1067, 1069, 1071, 1074, 1076-1077, ЭШФ Т 4814-4817 | ||
505 | _aЭнэ номыг математикийн I ангид үздэг "Олонлог ба логикийн элементүүд" хичээлийн гарын авлага болгох зорилгоор лекц, семинарын хичээлийн материалуудад тулгуурлан эмхэтгэн бичсэн. Номд олонлогийн чадал ба эрэмбийн тоонуудын тухай бүлэгт чухал чухал үндсэн теоремуудыг оруулсан. Математик логикийн хувьд түүний хэрэглээ болох талыг тодорхойлохыг голлон анхаарсан. Мөн хэллэгийн алгебр ба предикатын логикийн элементүүдээс мөн оруулсан байна. | ||
546 | _aMongolia | ||
653 | _aматематик | ||
653 | _aолонлогийн онол | ||
653 | _aлогикийн элементүүд | ||
653 | _aматематикийн логик | ||
653 | _aгарын авлага | ||
740 | _aОлонлогийн онолын элементүүд | ||
740 | _aОлонлог | ||
740 | _aОлонлогуудад хийх үйлдлүүд | ||
740 | _aХарьцааны тухай ойлголт. Бинар харьцаа | ||
740 | _aЭкаивалентийн харьцаа | ||
740 | _aБуулгалт ба түүний чанарууд | ||
740 | _aКардинал тоо | ||
740 | _aОлонлогуудыг жиших | ||
740 | _aЧадлуудад хийх үйлдэл нийлбэр, үржвэр, зэрэг | ||
740 | _aЧадлуудын шкала | ||
740 | _aЭрэмбийн харьцаа, эрэмбэлэгдсэн олонлог | ||
740 | _aЭрэмбийн харьцаа | ||
740 | _aЗэрэмдэг эрэмблэгдсэн олонлог | ||
740 | _aШугаман эрэмбэлэгдсэн олонлог. Эрэмбийн тип | ||
740 | _aБүрэн эрэмбэлэгдсэн олонлог | ||
740 | _aЭрэмбийн тоонуудад хийх үйлдлүүд | ||
740 | _aСонголтын аксиомтай адил чанартай өгүүлбэрүүд | ||
740 | _aМатематик логикийн элементүүд | ||
740 | _aХэллэгийн алгебр. Энгийн хэллэг, нийлмэл хэллэг, тавтологи | ||
740 | _aНормаль хэлбэрүүд | ||
740 | _aХэллэгийн алгебрыг хэрэглэх тухай товчхон | ||
740 | _aПредикатуудын логик | ||
740 | _aПредикат ба харьцаа | ||
740 | _aПредикатуудад хийх үйлдлүүд | ||
740 | _aКванторууд | ||
740 | _aПредикатуудын логикийн томъёонууд. Адил чанартай томъёонууд | ||
740 | _aПредикатуудын логикийн хэлийг математик онолуудын өгүүлбэрүүдийг бичихэд ашиглах тухай | ||
942 | _cBK | ||
999 |
_c22522 _d22522 |