База данных: Электронная библиотека
Страница 1, Результатов: 3
Отмеченные записи: 0
1.

Файл для загрузки:
Елубаев С. Математикадан логикалы 2016.pdf
Подробнее
22.12(5Каз)
Е 55
Елубаев, С.
Математикадан логикалық есептер мен ойындар [Текст] : оқу құралы / С. Елубаев. - Алматы : Эверо, 2016. - 332 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12(5Каз)
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логикалық есеп -- математика -- ойындар
Аннотация: Кітапта математиканы оқыту кезінде пайдалануға болатын логикалық есептер мен ойындардың жауаптары негізінен берілген.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз 2 (1), чз2 (4), чз4 (5)
Свободны: чз 2 (1), чз2 (4), чз4 (5)
Е 55
Елубаев, С.
Математикадан логикалық есептер мен ойындар [Текст] : оқу құралы / С. Елубаев. - Алматы : Эверо, 2016. - 332 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логикалық есеп -- математика -- ойындар
Аннотация: Кітапта математиканы оқыту кезінде пайдалануға болатын логикалық есептер мен ойындардың жауаптары негізінен берілген.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз 2 (1), чз2 (4), чз4 (5)
Свободны: чз 2 (1), чз2 (4), чз4 (5)
2.

Подробнее
22.12(5КАЗ)
Д 70
Досанбай , П. Т.
Математикалық логика [Текст] : оқулық / П. Т. Досанбай . - А. : Дәуір, 2011. - 280 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12(5КАЗ)
Рубрики: Математическая логика
Кл.слова (ненормированные):
математикалық логика -- пікірлер есептеуі -- предикаттар логикасы -- алгоритмдер теориясына -- жиындар теориясы -- пікілер логикасы -- логика алгебрасы -- бірінші ретті теориялар -- пост теориясы -- элементар теориясы -- алгоритм ұғымы -- черч тезисінің салдарлары
Аннотация: Оқулық мазмұны Қазақстан Республикасындағы қабылдаған математикалық логика пәні бойынша стандартқа сәйкес келеді және университетердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз.Оқу құралы теориялық материалдармен бірге,практикалық сабақтар жүргізуге арналған жаттығуларды және аралық бақылаулар өткізуге арналған тест тапсырмаларының үлгілерін қамтиды.Кітап соңында аралық бақылаулар өткізуге арналған тест үлгілері келттірілген.Кітап мазмұны автордың Әл-Фараби атындағы Қазақ ұлттық университетінің механика-математика факультетінде студенттерге жүргізген дәрістері мен семинар сабақтарына негізделді.
Держатели документа:
БҚМУ
Экземпляры всего: 20
ау (15), чз2 (5)
Свободны: ау (14), чз2 (5)
Д 70
Досанбай , П. Т.
Математикалық логика [Текст] : оқулық / П. Т. Досанбай . - А. : Дәуір, 2011. - 280 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Математическая логика
Кл.слова (ненормированные):
математикалық логика -- пікірлер есептеуі -- предикаттар логикасы -- алгоритмдер теориясына -- жиындар теориясы -- пікілер логикасы -- логика алгебрасы -- бірінші ретті теориялар -- пост теориясы -- элементар теориясы -- алгоритм ұғымы -- черч тезисінің салдарлары
Аннотация: Оқулық мазмұны Қазақстан Республикасындағы қабылдаған математикалық логика пәні бойынша стандартқа сәйкес келеді және университетердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз.Оқу құралы теориялық материалдармен бірге,практикалық сабақтар жүргізуге арналған жаттығуларды және аралық бақылаулар өткізуге арналған тест тапсырмаларының үлгілерін қамтиды.Кітап соңында аралық бақылаулар өткізуге арналған тест үлгілері келттірілген.Кітап мазмұны автордың Әл-Фараби атындағы Қазақ ұлттық университетінің механика-математика факультетінде студенттерге жүргізген дәрістері мен семинар сабақтарына негізделді.
Держатели документа:
БҚМУ
Экземпляры всего: 20
ау (15), чз2 (5)
Свободны: ау (14), чз2 (5)
3.

Подробнее
22.12(5Каз)
К 93
Құралбаев, З.
Негізгі есептеу алгоритмдері [Текст] : оқу құралы / З. Құралбаев. - Алматы : ЖШС "Лантар books", 2024. - 307 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12(5Каз)
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
негізгі есептеу алгоритмдері -- python алгоритмдік тілі -- алгоритмдеу негіздері -- циклдық үдерістерді сипаттау -- тармақталған алгоритм -- программалау -- деректер құрылымы -- байланысты тізімдер -- стектер -- кезектер -- бір өлшемді массивтер -- екі өлшемді массивтер -- матрица -- кері матрицаны анықтау -- есептеу математикасы -- типтік алгоритмдер -- сандық есептеу әдістері -- алгебралық теңдеулер -- трансценденттік теңдеулер -- теңдеуді шешу -- ньютон әдісі -- сызықтық алгебралық теңдеулер -- жордан-гаусс әдісі -- крамер әдісі -- аппроксимациялау әдісі -- сызықтық аппроксимациялау -- квадраттық аппроксимациялау -- тіктөртбұрыштар әдісі -- трапециялар әдісі -- симпсон әдісі -- бірінші дәрежелі қарапайым дифференциалдық теңдеулер -- қарапайым дифференциалдық теңдеулер -- екінші дәрежелі қарапайым дифференциалдық теңдеулер -- сорттау әдістері -- ішкі сорттау әдістері -- тікелей сызықтық таңдау алгоритмі -- алмастыру арқылы сызықтық таңдау алгоритмі -- жұптық алмастыру әдісі -- стандартты алмастыру әдісі -- шелл сорттау әдісі -- графтар -- шектестік матрицасы -- инциденциялар матрицасы -- шектестік тізімдер -- доғалар массиві -- флойд-уоршелл алгоритмі -- дейкстра алгоритмі
Аннотация: Ұсынылып отырған оқу құралы типтік есептерді шешудің негізгі алгоритмдері мен олардың негізінде программалар құрастыруға байланысты мәліметтерге арналған. Мұнда алгоритмдердің қолданыстағы түрлері мен сипаттау тәсілдері, олардың қасиеттері, тиімділігі мен күрделілігі туралы ақпарат берілген.
Держатели документа:
БҚУ
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
К 93
Құралбаев, З.
Негізгі есептеу алгоритмдері [Текст] : оқу құралы / З. Құралбаев. - Алматы : ЖШС "Лантар books", 2024. - 307 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
негізгі есептеу алгоритмдері -- python алгоритмдік тілі -- алгоритмдеу негіздері -- циклдық үдерістерді сипаттау -- тармақталған алгоритм -- программалау -- деректер құрылымы -- байланысты тізімдер -- стектер -- кезектер -- бір өлшемді массивтер -- екі өлшемді массивтер -- матрица -- кері матрицаны анықтау -- есептеу математикасы -- типтік алгоритмдер -- сандық есептеу әдістері -- алгебралық теңдеулер -- трансценденттік теңдеулер -- теңдеуді шешу -- ньютон әдісі -- сызықтық алгебралық теңдеулер -- жордан-гаусс әдісі -- крамер әдісі -- аппроксимациялау әдісі -- сызықтық аппроксимациялау -- квадраттық аппроксимациялау -- тіктөртбұрыштар әдісі -- трапециялар әдісі -- симпсон әдісі -- бірінші дәрежелі қарапайым дифференциалдық теңдеулер -- қарапайым дифференциалдық теңдеулер -- екінші дәрежелі қарапайым дифференциалдық теңдеулер -- сорттау әдістері -- ішкі сорттау әдістері -- тікелей сызықтық таңдау алгоритмі -- алмастыру арқылы сызықтық таңдау алгоритмі -- жұптық алмастыру әдісі -- стандартты алмастыру әдісі -- шелл сорттау әдісі -- графтар -- шектестік матрицасы -- инциденциялар матрицасы -- шектестік тізімдер -- доғалар массиві -- флойд-уоршелл алгоритмі -- дейкстра алгоритмі
Аннотация: Ұсынылып отырған оқу құралы типтік есептерді шешудің негізгі алгоритмдері мен олардың негізінде программалар құрастыруға байланысты мәліметтерге арналған. Мұнда алгоритмдердің қолданыстағы түрлері мен сипаттау тәсілдері, олардың қасиеттері, тиімділігі мен күрделілігі туралы ақпарат берілген.
Держатели документа:
БҚУ
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
Страница 1, Результатов: 3