1. Башкы бет
  2. Студенттик бет
  3. МАТЕМАТИКАЛЫК ЛОГИКА
МАТЕМАТИКАЛЫК ЛОГИКА

Автор: Нурматова, М.Н.

Бөлүм: Студенттик бет

Басылган жылы: «2026»

Жүктөлгөн убакыт: 2026-03-03 12:42:02

Окуу колдонмо математикалык логиканын негизги бөлүмдөрү: айтылыштар алгебрасы, предикаттар логикасы, Бульдук функциялар бөлүмдөрүн камтыйт. Эмгекте математикалык логиканын концептуалдык аппараты практикалык мисалдар менен түшүндүрүлүп, студенттердин алган билимдерин бекемдөө үчүн контролдук суроолор менен коштолгон.

Жаңы китептер

Алыбаев, К. С., Нурматова, М. Н. ДИФФЕРЕНЦИАЛДЫК ТЕҢДЕМЕЛЕР (Кыргыз / Орус тилдеринде) - «2026»
Нурматова, М.Н. МАТЕМАТИКАЛЫК ЛОГИКА - «2026»
Аттокурова А. Дж., Авазов А. К. МЕКТЕПТИН БИРДИКТҮҮ ТАЛАПТАРЫ - «2025»
Ахметов Сапарбай Бурчтун трисектрисасы жана кубту эки эселентүү - «2025»
Ахметов Сапарбай Пьер де Ферманын улуу теоремасынын далилдениши - «2023»
Торогельдиева К.М., Аттокурова А.Дж. Болочоктогу математика мугалимдеринин КМС ПП учурунда өнүктүрүү - «2024»
А. Сопуев, Н.К. Аркабаев Delphi чөйрөсүндө программалоо - «Ош» 2020
Н.К. Аркабаев, И.Б. Кошмурзаев Решение олимпиадных задач по информатике - «Ош» 2019
Н.К. Аркабаев, П.С. Панков Информатика боюнча олимпиадалык маселелер жыйнагы - «Ош» 2019
Маккамбай Мамаюсупов СИЛЛАБУС МАТАНАЛИЗ 23 - 24, 2 Семестр - «2023»
Маккамбай Мамаюсупов Физиктерге СИЛЛАБУС (МАТЕМАТИКА) 23 - 24, 1 курс - «2023»
Маккамбай Мамаюсупов СИЛЛАБУС ЭНЕРГ. МАТЕМАТИКА 23 - 24, 1 курс - «2023»
Маккамбай Мамаюсупов СИЛЛАБУС АРХИТ. МАТЕМАТИКА 23 - 24, 1 курс - «2023»
Маккамбай Мамаюсупов СИЛЛАБУС МАТАНАЛИЗ 23 - 24, 1 курс - «2023»
Жоомарт Сатаров Образующие и соотношения некоторых линейных групп над ассоциативными кольцами без единиц - «2019»
Мамат Сабыров Ноокат математикалык билимканасы - «2016»
И. Н. Цыбуля, Л. А. Самыкбаева, А. А. Беляев, ж. б Информатика 7-9 - класс - «Сорос-Кыргызстан» Фонду, 2020 – 205 б.
А. А. Беляев, И. Н. Цыбуля, Л. А. Самыкбаева, Н.Н.Осипова, У. Э. Мамбетакунов Информатика 5-6 - класс - «Сорос-Кыргызстан» Фонду, 2020 – 205 б.
Мамаюсупов Ө.Ш., Малаева Б., Жамантаев З. ЖАРЫМ КЫЛЫМДЫК ОЙ ТОЛГООЛОР - Ноокат 2019
Эсен Атабаев,Орозмамат Салиев, Мамасалы Ибраимов. Эшей жана Тайтың санжырасы - «»
Кыбыраев А.О., Кудуев А.Ж. Лабораторный практикум на Delphi - Ош: 2008.- 65с.
Сопуев А., Кудуев А. Практические работы на Visual Basic - Ош: Изд. центр ОшГУ, 2004. – 55 с.
Жолдошбаев Д.А., Кудуев А.Ж. Конфликттик көйгөйлөрдө педагогикалык чебердик - Ош - 2019. 206 бет.
Омаралиева З. ФИЗИКАЛЫК ПРАКТИКУМ МЕХАНИКА - Ош: 2019 – 135 б.
А.А. Беляев, И.Н. Цыбуля, Н.Н. Осипова, У. Э. Мамбетакунов, Л.А. Самыкбаева Информатика 5-6 класс - Фонд «Сорос-Кыргызстан», Бишкек 2018, - 104 б.
А.А. Беляев, И.Н. Цыбуля, Н.Н. Осипова, У. Э. Мамбетакунов, Л.А. Самыкбаева Информатика 5-6 класс (Русская версия) - Фонд «Сорос-Кыргызстан», Бишкек 2018, - 205 б.
Матиева Г., Борбоева Г.М. Фракталдык геометриянын элементтери - Ош: 2018, - 72 б.
Г.Матиева, Г.М.Борбоева Сүрөттөлүштөр методдору - Ош: 2018, - 82 б.
А. Орорзова. Которгон Ж. Жапиев Акча - «Кутаалам», 2017, - 48 б.
А. Орорзова. Которгон Н.Жусупова Россия - «Кутаалам», 2017, - 48 б.
А. Орозова Америка кошмо штаттары - Бишкек, 2017, - 48 б.
Т. Джапаров. Которгон А. Орозакунов Жер планетасы: Балдар энциклопедиясы - Бишкек, 2017, - 48 б.
Т. Джапаров Космос: Балдар энциклопедиясы - Бишкек, 2017, - 48 б.
Н.И. Суслов, М.Е. Добрусина, А.А. Чурин, Е.А. Лосев Фармацевтический маркетинг - 2017, - 319 б.
Д.А. Асанбаева, Р.Д. Джапаров Физика курсу 2-том - Бишкек, 2017, - 336 б.
Т.Н. Кулматов Ландшафт таануу - Бишкек, 2017, - 256 б.
В.Г. Черенков Онкология - Москва «ГЭОТАР-Медиа», 2017, - 512 б.
Ж.О. Омурова Эл аралык мамиленин теориясы жана эл аралык уюмдар - Бишкек «Полиграфбумресурсы», 2017, - 224 б.
Г.Б. Айдарбеков Саясий жана укуктук окуулардын тарыхы - Бишкек «Полиграфбумресурсы», 2017, - 252 б.
А.С. Раимкулова, Г.С. Акиева, Н.А. Асипова, Т.С. Сатыбекова Жогорку мектептин педагогикасы - Бишкек «Полиграфбумресурсы», 2017, - 208 б.
Ж. Момбекова Кыргызстандын жаңы тарыхы - Бишкек «Полиграфбумресурсы», 2017, - 152 б.
М. Касей Аспап таануу - Бишкек «Полиграфбумресурсы», 2017, - 248 б.
К.С. Арбаев, Б.С. Ажыбеков, К.А. Арбаев, Н. Абдраманова Биологиялык - ветеринардык сөздүк - маалыматнаама - Бишкек «Полиграфбумресурсы», 2017, - 200 б.
Б.Ш. Жанузаков Бухгалтердик каржылык эсеп - Жалал-Абад, 2017, - 224 б.
Маданбек Султанбаев Алгебра жана анализдин башталашы боюнча маалымдама 11-класс - Бишкек, 2017, - 288 б.
Маданбек Султанбаев Алгебра жана анализдин башталашы боюнча маалымдама 10-класс - Бишкек, 2017, - 195 б.
Маданбек Султанбаев Алгебра боюнча маалымдама 9-класс - Бишкек, 2017, - 168 б.
Маданбек Султанбаев Алгебра боюнча маалымдама 7-класс - Бишкек, 2017, - 150 б.
Маданбек Султанбаев Алгебра боюнча маалымдама 8-класс - Бишкек, 2017, - 104 б.
А. Исламов, О. Майборода Азыктарды үй шартында сактоо - Бишкек, 2017, - 84 б.
Ш.М. Мусакожоев Экономика - Бишкек, 2017, - 272 б.
Мыктыбек Арстанбек Мени тандаган кесип - Бишкек «Полиграф-бумресурсы», 2017, - 216 б.
Суранчы Жетимишов Чуулган кылым - Ош, «Кагаз ресурстары», 2017, – 356 б.
Суранчы Жетимишов Таң тоскон тоолор - Ош, «Кагаз Ресурстары», 2017, - 428 б.
Суранчы Жетимишов Казап азап - Ош, 2017, - 387 б.
А. Исаев Педагогика - Ош, 2017, - 55 б.
К. Ормонова Эне тилеги - Ош, 2017, - 192 б.
Osh State University WORK COPY BOOK for lab and practical lessons of “Medical biology, genetic, parasitology” - Ош, 2017, - 98 б.
Самиев Маматибраим Телевидениеде жарык көргөн интервьюлар жыйындысы - Ош, 2017, 128 б.
К.Ш. Сакибаев Оборудование перерабатывающих производств - Ош, 2017, - 288 б.
Өзгөн районунун акындары жана калемгерлери Өзгөн районунун акын - жазуучуларынын жана ыр ышкыбоздорунун жыйнагы - Ош, 2017, - 236 б.
Ташполотова Сакина Ырларым менин өмүрүм - Ош, 2017, - 144 б.
Б. Молдобаев Алтын сака - Ош, 2017, - 100 б.
Абдыкерим Муратов Үч жүз жаңылмач - Бишкек: «Айат», 2014, – 72 б.
Муратов Абдыкерим Көпөлөктөр өрөөнүн көксөгөн Мурза Гапаров - Бишкек: «Айат», 2013, – 60 б.
Абдыкерим Муратов Балдарга багышталган элдик салттар жана тойлор - Бишкек, 2015, - 52 б.
Г.С. Ниязбеков Ыраң көл - Ош, 2017, - 156 б.
Абдрахманов Абдимамат Өзгөргөн өрөөн – Төө-Моюн - Ош, 2017, - 72 б.
Айшайым Бекболотова Эне болуп түшүндүм - Ош, 2017, - 224 б.
Адылова Айтилла Жазгым келет дилимдеги сырымды - Ош, 2017, - 188 б.
Ж. Шериев, А. Муратов Адабият теориясы - Бишкек, 2014, - 178 б.
Б. Алымов, А .Муратов, М. Темирова Адабият - Ташкент «Sharq», 2013, - 256 б.
Ы.А. Перханова Алгачкы медициналык жардам - Ош, 2016, - 166 б.
Ф.М. Даовлатова Кыргызстандын түштүгүндөгү фарсы жана тажик тилдеринен кирген жер-суу аталыштарынын этимологиясы - Ош, 2017, - 48 б.
Касымбай Жолдошов Өксүктө өткөн өмүрлөр - Ош, 2017, 51 б.
Махамат Түрк Халбек уулу Ыймандуу-инсандар - Ош, 2017 - 108 б.
Бекболотова Айшаим Бул өмүр - Ош, 2017, - 116 б.
М.А. Суеркулов, Б.К. Такырбашев, А.Т. Асиев, С.М. Суеркулов Электр менен тейлөө автоматикасы - Бишкек, 2017, - 212 б.
А. Жещинский, З. Куйкеева, С. Исмаилова Музыка тарыхынын барактары - Бишкек «Полиграфбумресурсы», 2017, - 164 б.
Э.С. Орозалиев, Н.К. Мусаева, А.И. Тентигенова Кыргыз элинин психологиялык ойлорунун өнүгүүсү - Бишкек «Полиграфбумресурсы», 2017, - 176 б.
Г.А. Жантаева, Б.К. Кадырова Адамдын жана жаныбарлардын физиологиясы - Бишкек «Полиграфбумресурсы», 2017, - 168 б.
Н.А. Карабаев Топурак таануу - Бишкек «Полиграфбумресурсы», 2017, - 168 б.
Ж.Ы. Маматов Коопсуз үйлөрдү тургузуу жана тургузулган үйлөрдү бекемдөө - Бишкек «Полиграфбумресурсы», 2017, - 164 б.
А. Саадабаев Дифференциалдык тендемелердин курсу - Бишкек, 2017, - 212 б.
Турганбүбү Бообекова Дем алуунун үстүндө иштөө - Бишкек «Полиграфбумресурсы», 2017, - 192 б.
Г. А. Анарбаева Формирование и эволюция института политических партий в независимом Кыргызстане - Бишкек 2017, 164 с «Турар»
Советбек Байгазиев Манас эпосу, КОШОЙ БААТЫР - Бишкек, 2017, - 148 б.
Т.Т. Тойчиев, М.А. Шарипова Дерматовенерология - Ош «Кагаз ресурстары», 2017, - 160 б.
Г.К. Абдалиева, Н.К. Рысмендеева Насыйкат - Бишкек «Полиграф-бумресурсы», 2017, - 108 б.
Советбек Байгазиев Чыгармачыл изденүүнү өксүтөн педагогикалык догмалардан окуучуну өстүрүп-өнүктүрүүнүн диалектикасына карай - Бишкек, 2017, - 42 б.
Ж.О. Толубаев, Р.М. Абдуллаев Жогорку окуу жайларда өтүлүүчү олимпиадалык тестери жыйнагы - Бишкек, 2013, – 180 б.
Ж.О. Толубаев, З.Х. Абдурахманова, Ш.И. Бабаев Сызыктуу алгебра, вектордук алгебра жана аналитикалык геометрия боюнча өз алдынча иштердин жыйнагы - Бишкек, 2014, - 72 б.
Н. С. Жолдошалиева БИОХИМИЯ лабораториялык практикум - Жалал-Абад 2014 ж. - 94 б
Арстанбекова Н. Б. Химия боюнча маселелер жыйнагы - Жалал-Абад 2017 ж. - 231 б.
К. Ж. Усенов, З.А. Асилова , Н. Т. Осмонова MATHCAD САНДЫК МЕТОДДОР - Жалал-Абад 2015 ж. - 232 б
Аванова Ж. А. , Алыбаев К. С. , Нарбаев М. Р. , Нарымбетов Т. К. Математикалык анализ боюнча лекциялар жыйнагы 1 бөлүк - Жалал-Абад 2013 ж. - 125 б.
Аванова Ж. А. , Алыбаев К. С. , Пахирдинов М. А. Планиметрия курсун интерактивдүү окутуу - Жалал-Абад 2012 ж. - 225 б.
Р.М Мырзаибраимов Финансовый анализ - Ош, 2016, - 44 б.
А. А. Исманова ХОРОШАЯ ПРЕЗЕНТАЦИЯ - НАСТОЯЩЕЕ ИСКУССТВО - Бишкек, 2017, - 81 б.
А .А. Жусупов, А. Ч. Садыков Инженердик графика - Ош, 2017, 204 б.
Мамаюсупов М.Ш Математиканы эмне үчүн окуйбуз - Ош, 2016, - 13 б.
Бөлүмдөр
Популярдуу китептер
Кыргыз тили боюнча жат жазуулар - Кароолор: 143877
Кыргызстан тарыхы (экзамендик 100 суроого жооп) - Кароолор: 101418
Дүйнө тарыхы 10 класс - Кароолор: 93439
КЫРГЫЗСТАН ТАРЫХЫ 9 класс - Кароолор: 83584
Дүйнө тарыхы 11 класс - Кароолор: 79078
ФИЗИКА. Тесттик тапшырмалардын чыгарылыштары - Кароолор: 68991
Жалпы биология 10-11 класс - Кароолор: 68111
Физика 11-класс - Кароолор: 65676
Кыргыз тили 7 класс - Кароолор: 65318
Кыргыз тили 6 класс - Кароолор: 64588
Кыргыз адабияты 9-класс - Кароолор: 63488
КЫРГЫЗСТАН ТАРЫХЫ 7 класс - Кароолор: 62514
Жат жазуулар жыйнагы - Кароолор: 62298
Кыргызстан тарыхы 8-класс - Кароолор: 62129
Чынгыз Айтматов Чыгармаларынын жыйнагы VI том - Кароолор: 58289
Жаңы тарых 8-класс - Кароолор: 58143
Орто кылымдар тарыхы 7 класс - Кароолор: 57969
Кыргыз тили 10 класс - Кароолор: 57527
Адам жана Коом 9 класс - Кароолор: 54670
Сонку Тарых 1900-2000, 9 класс - Кароолор: 53511
Алгебра 8-класс - Кароолор: 49777
Информатика 7-9 - класс - Кароолор: 48558
Алгебра 9 класс - Кароолор: 48269
Кыргыз адабияты 10 класс - Кароолор: 46229
Кыргыз адабияты 11-класс - Кароолор: 45666
Кыргыз адабияты 5 класс - Кароолор: 43344
Кыргыз тили 5 класс - Кароолор: 42451
Кыргызстандын тарыхы 11-класс - Кароолор: 42066
Химия боюнча маселелер жыйнагы - Кароолор: 41835
Информатика 5-6 класс - Кароолор: 41670