Choice of metadata Электронный Каталог книг
Page 1, Results: 3
Report on unfulfilled requests: 0
1.
Подробнее
Д 70
Досанбай , П. Т.
Математикалық логика [Текст] : оқулық / П. Т. Досанбай . - А. : Дәуір, 2011. - 280 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - ISBN 9786012172447 : 666 тг
ББК 22.12(5КАЗ)
Рубрики: Математическая логика
Кл.слова (ненормированные):
математикалық логика -- пікірлер есептеуі -- предикаттар логикасы -- алгоритмдер теориясына -- жиындар теориясы -- пікілер логикасы -- логика алгебрасы -- бірінші ретті теориялар -- пост теориясы -- элементар теориясы -- алгоритм ұғымы -- черч тезисінің салдарлары
Аннотация: Оқулық мазмұны Қазақстан Республикасындағы қабылдаған математикалық логика пәні бойынша стандартқа сәйкес келеді және университетердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз.Оқу құралы теориялық материалдармен бірге,практикалық сабақтар жүргізуге арналған жаттығуларды және аралық бақылаулар өткізуге арналған тест тапсырмаларының үлгілерін қамтиды.Кітап соңында аралық бақылаулар өткізуге арналған тест үлгілері келттірілген.Кітап мазмұны автордың Әл-Фараби атындағы Қазақ ұлттық университетінің механика-математика факультетінде студенттерге жүргізген дәрістері мен семинар сабақтарына негізделді.
Держатели документа:
БҚМУ
Экземпляры всего: 20
ау (15), чз2 (5)
Свободны: ау (15), чз2 (5)
Д 70
Досанбай , П. Т.
Математикалық логика [Текст] : оқулық / П. Т. Досанбай . - А. : Дәуір, 2011. - 280 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - ISBN 9786012172447 : 666 тг
Рубрики: Математическая логика
Кл.слова (ненормированные):
математикалық логика -- пікірлер есептеуі -- предикаттар логикасы -- алгоритмдер теориясына -- жиындар теориясы -- пікілер логикасы -- логика алгебрасы -- бірінші ретті теориялар -- пост теориясы -- элементар теориясы -- алгоритм ұғымы -- черч тезисінің салдарлары
Аннотация: Оқулық мазмұны Қазақстан Республикасындағы қабылдаған математикалық логика пәні бойынша стандартқа сәйкес келеді және университетердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз.Оқу құралы теориялық материалдармен бірге,практикалық сабақтар жүргізуге арналған жаттығуларды және аралық бақылаулар өткізуге арналған тест тапсырмаларының үлгілерін қамтиды.Кітап соңында аралық бақылаулар өткізуге арналған тест үлгілері келттірілген.Кітап мазмұны автордың Әл-Фараби атындағы Қазақ ұлттық университетінің механика-математика факультетінде студенттерге жүргізген дәрістері мен семинар сабақтарына негізделді.
Держатели документа:
БҚМУ
Экземпляры всего: 20
ау (15), чз2 (5)
Свободны: ау (15), чз2 (5)
2.
Подробнее
Е 55
Елубаев, С.
Математикадан логикалық есептер мен ойындар [Текст] : оқу құралы / С. Елубаев. - Алматы : Эверо, 2016. - 332 б. - ISBN 9786013103426 : 5600.00 тг.
ББК 22.12(5Каз)
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логикалық есеп -- математика -- ойындар
Аннотация: Кітапта математиканы оқыту кезінде пайдалануға болатын логикалық есептер мен ойындардың жауаптары негізінен берілген.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз 2 (1), чз2 (4), чз4 (5)
Свободны: чз 2 (1), чз2 (4), чз4 (5)
Е 55
Елубаев, С.
Математикадан логикалық есептер мен ойындар [Текст] : оқу құралы / С. Елубаев. - Алматы : Эверо, 2016. - 332 б. - ISBN 9786013103426 : 5600.00 тг.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логикалық есеп -- математика -- ойындар
Аннотация: Кітапта математиканы оқыту кезінде пайдалануға болатын логикалық есептер мен ойындардың жауаптары негізінен берілген.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз 2 (1), чз2 (4), чз4 (5)
Свободны: чз 2 (1), чз2 (4), чз4 (5)
3.
Подробнее
К 93
Құралбаев, З.
Негізгі есептеу алгоритмдері [Текст] : оқу құралы / З. Құралбаев. - Алматы : ЖШС "Лантар books", 2024. - 307 б. - ISBN 9786013615479 : 7764.96 тг.
ББК 22.12(5Каз)
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
негізгі есептеу алгоритмдері -- python алгоритмдік тілі -- алгоритмдеу негіздері -- циклдық үдерістерді сипаттау -- тармақталған алгоритм -- программалау -- деректер құрылымы -- байланысты тізімдер -- стектер -- кезектер -- бір өлшемді массивтер -- екі өлшемді массивтер -- матрица -- кері матрицаны анықтау -- есептеу математикасы -- типтік алгоритмдер -- сандық есептеу әдістері -- алгебралық теңдеулер -- трансценденттік теңдеулер -- теңдеуді шешу -- ньютон әдісі -- сызықтық алгебралық теңдеулер -- жордан-гаусс әдісі -- крамер әдісі -- аппроксимациялау әдісі -- сызықтық аппроксимациялау -- квадраттық аппроксимациялау -- тіктөртбұрыштар әдісі -- трапециялар әдісі -- симпсон әдісі -- бірінші дәрежелі қарапайым дифференциалдық теңдеулер -- қарапайым дифференциалдық теңдеулер -- екінші дәрежелі қарапайым дифференциалдық теңдеулер -- сорттау әдістері -- ішкі сорттау әдістері -- тікелей сызықтық таңдау алгоритмі -- алмастыру арқылы сызықтық таңдау алгоритмі -- жұптық алмастыру әдісі -- стандартты алмастыру әдісі -- шелл сорттау әдісі -- графтар -- шектестік матрицасы -- инциденциялар матрицасы -- шектестік тізімдер -- доғалар массиві -- флойд-уоршелл алгоритмі -- дейкстра алгоритмі
Аннотация: Ұсынылып отырған оқу құралы типтік есептерді шешудің негізгі алгоритмдері мен олардың негізінде программалар құрастыруға байланысты мәліметтерге арналған. Мұнда алгоритмдердің қолданыстағы түрлері мен сипаттау тәсілдері, олардың қасиеттері, тиімділігі мен күрделілігі туралы ақпарат берілген.
Держатели документа:
БҚУ
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
К 93
Құралбаев, З.
Негізгі есептеу алгоритмдері [Текст] : оқу құралы / З. Құралбаев. - Алматы : ЖШС "Лантар books", 2024. - 307 б. - ISBN 9786013615479 : 7764.96 тг.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
негізгі есептеу алгоритмдері -- python алгоритмдік тілі -- алгоритмдеу негіздері -- циклдық үдерістерді сипаттау -- тармақталған алгоритм -- программалау -- деректер құрылымы -- байланысты тізімдер -- стектер -- кезектер -- бір өлшемді массивтер -- екі өлшемді массивтер -- матрица -- кері матрицаны анықтау -- есептеу математикасы -- типтік алгоритмдер -- сандық есептеу әдістері -- алгебралық теңдеулер -- трансценденттік теңдеулер -- теңдеуді шешу -- ньютон әдісі -- сызықтық алгебралық теңдеулер -- жордан-гаусс әдісі -- крамер әдісі -- аппроксимациялау әдісі -- сызықтық аппроксимациялау -- квадраттық аппроксимациялау -- тіктөртбұрыштар әдісі -- трапециялар әдісі -- симпсон әдісі -- бірінші дәрежелі қарапайым дифференциалдық теңдеулер -- қарапайым дифференциалдық теңдеулер -- екінші дәрежелі қарапайым дифференциалдық теңдеулер -- сорттау әдістері -- ішкі сорттау әдістері -- тікелей сызықтық таңдау алгоритмі -- алмастыру арқылы сызықтық таңдау алгоритмі -- жұптық алмастыру әдісі -- стандартты алмастыру әдісі -- шелл сорттау әдісі -- графтар -- шектестік матрицасы -- инциденциялар матрицасы -- шектестік тізімдер -- доғалар массиві -- флойд-уоршелл алгоритмі -- дейкстра алгоритмі
Аннотация: Ұсынылып отырған оқу құралы типтік есептерді шешудің негізгі алгоритмдері мен олардың негізінде программалар құрастыруға байланысты мәліметтерге арналған. Мұнда алгоритмдердің қолданыстағы түрлері мен сипаттау тәсілдері, олардың қасиеттері, тиімділігі мен күрделілігі туралы ақпарат берілген.
Держатели документа:
БҚУ
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
Page 1, Results: 3