Choice of metadata Статьи ППС
Page 1, Results: 2
Report on unfulfilled requests: 0
1.
Подробнее
22.12
М 92
Мухамбетова, Б. Ж.
Математикалық логика пәні бойынша практикалық сабақтарында ақпараттық технологияны қолдану [Текст] / Б. Ж. Мухамбетова // Озық педагогикалық тәжірибе мектебі материалдар жинағы. - Орал, 2019. - Б. 50-58
ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
Аристотель логикасы -- Оқиғалар логикасы -- Таным логикасы -- Әрекеттер логикасы -- Логика -- Математика -- компьютерлік математикалық модельдеу
Аннотация: Айтулы ойшылдардың данагерлік оқуы және солардың дәріскерлік еңбектері арқасында бүкіл ғаламның білім қазыналығы таза ақыл дәрменіне сүйеніп жасалған Аристотель логикасы, ғылыми математиканың тұңғышы Евклид бастамалары сынды іргетастық ғылыми жауһарлармен толыққанын өркениет тарихы жақсы біледі.
Держатели документа:
ЗКУ
М 92
Мухамбетова, Б. Ж.
Математикалық логика пәні бойынша практикалық сабақтарында ақпараттық технологияны қолдану [Текст] / Б. Ж. Мухамбетова // Озық педагогикалық тәжірибе мектебі материалдар жинағы. - Орал, 2019. - Б. 50-58
Рубрики: Математическая логика
Кл.слова (ненормированные):
Аристотель логикасы -- Оқиғалар логикасы -- Таным логикасы -- Әрекеттер логикасы -- Логика -- Математика -- компьютерлік математикалық модельдеу
Аннотация: Айтулы ойшылдардың данагерлік оқуы және солардың дәріскерлік еңбектері арқасында бүкіл ғаламның білім қазыналығы таза ақыл дәрменіне сүйеніп жасалған Аристотель логикасы, ғылыми математиканың тұңғышы Евклид бастамалары сынды іргетастық ғылыми жауһарлармен толыққанын өркениет тарихы жақсы біледі.
Держатели документа:
ЗКУ
2.
Подробнее
22.12
М 90
Мулдагалиев, В. С.
Вклад А.Д. Тайманова в теорию аксиоматизируемых классов моделей [Текст] / В. С. Мулдагалиев // Материалы международной научно-практической конференции «Цифровая наука и искусственный интеллект» «Таймановские чтения-2026» посвящённой научно-педагогической деятельности доктора физико-математических наук, академика А.Д. Тайманова. - Уральск, 2026. - 27 февраля. - С. 15-18.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
А.Д. Тайманов -- Аксиоматизируемый класс моделей -- Сигнатура -- Язык первого порядка -- Элементарная теория класса -- Алгебраические системы -- Конечная аксиоматизируемость -- Рекурсивная аксиоматизируемость
Аннотация: Материал посвящен теоретическим основам аксиоматизируемых классов моделей, развитых в трудах академика А. Д. Тайманова. В тексте систематизированы фундаментальные понятия математической логики: определения сигнатуры, замкнутых формул языка первого порядка и элементарной теории класса алгебраических систем.
Держатели документа:
ЗКУ
М 90
Мулдагалиев, В. С.
Вклад А.Д. Тайманова в теорию аксиоматизируемых классов моделей [Текст] / В. С. Мулдагалиев // Материалы международной научно-практической конференции «Цифровая наука и искусственный интеллект» «Таймановские чтения-2026» посвящённой научно-педагогической деятельности доктора физико-математических наук, академика А.Д. Тайманова. - Уральск, 2026. - 27 февраля. - С. 15-18.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
А.Д. Тайманов -- Аксиоматизируемый класс моделей -- Сигнатура -- Язык первого порядка -- Элементарная теория класса -- Алгебраические системы -- Конечная аксиоматизируемость -- Рекурсивная аксиоматизируемость
Аннотация: Материал посвящен теоретическим основам аксиоматизируемых классов моделей, развитых в трудах академика А. Д. Тайманова. В тексте систематизированы фундаментальные понятия математической логики: определения сигнатуры, замкнутых формул языка первого порядка и элементарной теории класса алгебраических систем.
Держатели документа:
ЗКУ
Page 1, Results: 2