База данных: Диссертации и рефераты
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
512.56(043.3)
К 96
Кушанова, Г. Б.
Толымсыздық теоремасы бөліміндегі әдістемелік аспектілер [Текст] : 7М01501 - Математика біл. бағ. бойын. пед. ғыл. маг. акад. дәр. алу үшін дайын. маг. дис. / Г. Б. Кушанова ; Ғыл. жет. Ж. А. Сартабанов . - Орал : [б. и.], 2022. - 68 б. - 1000.00 тг.
Кл.слова (ненормированные):
диссертация -- гильберт бағдарламасы -- гедель теоремалары -- кодтау -- россер теоремасы -- рекурсия теориясы -- формулалар иерархиясы -- рефлексия принциптері -- қайшылықсыздық -- толықтық қасиеттері -- формалданған толымсыздық теоремасы
Аннотация: Математик дәлелдер келтіреді. Дәлелдеу теоретигі дәлелдемелерді өздерін математикалық объектілер ретінде қарастырады және оларды қазіргі математика құралдарының көмегімен зерттейді.
Держатели документа:
БҚУ
Доп.точки доступа:
Сартабанов , Ж.А. \ғыл. жет.\
Экземпляры всего: 1
чз6 (1)
Свободны: чз6 (1)
К 96
Кушанова, Г. Б.
Толымсыздық теоремасы бөліміндегі әдістемелік аспектілер [Текст] : 7М01501 - Математика біл. бағ. бойын. пед. ғыл. маг. акад. дәр. алу үшін дайын. маг. дис. / Г. Б. Кушанова ; Ғыл. жет. Ж. А. Сартабанов . - Орал : [б. и.], 2022. - 68 б. - 1000.00 тг.
| УДК |
Кл.слова (ненормированные):
диссертация -- гильберт бағдарламасы -- гедель теоремалары -- кодтау -- россер теоремасы -- рекурсия теориясы -- формулалар иерархиясы -- рефлексия принциптері -- қайшылықсыздық -- толықтық қасиеттері -- формалданған толымсыздық теоремасы
Аннотация: Математик дәлелдер келтіреді. Дәлелдеу теоретигі дәлелдемелерді өздерін математикалық объектілер ретінде қарастырады және оларды қазіргі математика құралдарының көмегімен зерттейді.
Держатели документа:
БҚУ
Доп.точки доступа:
Сартабанов , Ж.А. \ғыл. жет.\
Экземпляры всего: 1
чз6 (1)
Свободны: чз6 (1)
2.
Подробнее
512.56(043.3)
К 96
Кушанова, Г. Б.
Толымсыздық теоремасы бөліміндегі әдістемелік аспектілер [Текст] : 7М01501 - Математика біл. бағ. бойын. пед. ғыл. маг. акад. дәр. алуға маг. дис. реф. / Г. Б. Кушанова ; Ғыл. жет. Ж. А. Сартабанов . - Орал : [б. и.], 2022. - 10 б. - 100.00 тг.
Кл.слова (ненормированные):
реферат -- гильберт бағдарламасы -- кодтау -- гедель теоремалары -- қайшылықсыздық -- россер теоремасы -- рекурсия теориясы -- формулалар иерархиясы -- рефлексия принциптері -- толықтық қасиеттері -- формалданған толымсыздық теоремасы
Аннотация: Математик дәлелдер келтіреді. Дәлелдеу теоретигі дәлелдемелерді өздерін математикалық объектілер ретінде қарастырады және оларды қазіргі математика құралдарының көмегімен зерттейді.
Держатели документа:
БҚУ
Доп.точки доступа:
Сартабанов , Ж.А. \ғыл. жет.\
Экземпляры всего: 1
чз6 (1)
Свободны: чз6 (1)
К 96
Кушанова, Г. Б.
Толымсыздық теоремасы бөліміндегі әдістемелік аспектілер [Текст] : 7М01501 - Математика біл. бағ. бойын. пед. ғыл. маг. акад. дәр. алуға маг. дис. реф. / Г. Б. Кушанова ; Ғыл. жет. Ж. А. Сартабанов . - Орал : [б. и.], 2022. - 10 б. - 100.00 тг.
| УДК |
Кл.слова (ненормированные):
реферат -- гильберт бағдарламасы -- кодтау -- гедель теоремалары -- қайшылықсыздық -- россер теоремасы -- рекурсия теориясы -- формулалар иерархиясы -- рефлексия принциптері -- толықтық қасиеттері -- формалданған толымсыздық теоремасы
Аннотация: Математик дәлелдер келтіреді. Дәлелдеу теоретигі дәлелдемелерді өздерін математикалық объектілер ретінде қарастырады және оларды қазіргі математика құралдарының көмегімен зерттейді.
Держатели документа:
БҚУ
Доп.точки доступа:
Сартабанов , Ж.А. \ғыл. жет.\
Экземпляры всего: 1
чз6 (1)
Свободны: чз6 (1)
Страница 1, Результатов: 2