Choice of metadata Статьи ППС
Page 1, Results: 10
Report on unfulfilled requests: 0
1.
Подробнее
81
Г 61
Голоско, И. Ф.
Как преподавать теорию и практику перевода? [Электронный ресурс] / И. Ф. Голоско // Материалы Республиканской научно - практической конференции "Инновационные технологии обучения и интерактивные методы в высших учебных заведениях". - 27 марта 2006. - С. 109-113
ББК 81
Рубрики: языкознание
Кл.слова (ненормированные):
Иностранный язык -- Ценностный компетент -- Перевод -- теория перевода -- Практика перевода -- переводчики -- Профессиональные переводы -- Умения преподавателя
Аннотация: О преподавании и теории и практики перевода , о создании переводческой компетенции формировании своеобразной языковой личности.
Держатели документа:
ЗКГУ
Г 61
Голоско, И. Ф.
Как преподавать теорию и практику перевода? [Электронный ресурс] / И. Ф. Голоско // Материалы Республиканской научно - практической конференции "Инновационные технологии обучения и интерактивные методы в высших учебных заведениях". - 27 марта 2006. - С. 109-113
Рубрики: языкознание
Кл.слова (ненормированные):
Иностранный язык -- Ценностный компетент -- Перевод -- теория перевода -- Практика перевода -- переводчики -- Профессиональные переводы -- Умения преподавателя
Аннотация: О преподавании и теории и практики перевода , о создании переводческой компетенции формировании своеобразной языковой личности.
Держатели документа:
ЗКГУ
2.
Подробнее
517.911.5:51
А 67
Анияров, А. А.
Корректные задачи для оператора Лапласа [Текст] / А. А. Анияров // Тайманов оқулары – 2010=Таймановские чтения – 2010. - 2010. - С. 207-211. - Библиогр.: с. 211
Рубрики: Математика
Кл.слова (ненормированные):
Задача -- оператор лапласа -- теория сужений -- уравнение -- частное производное
Аннотация: В начале восьмидесятых годов прошлого столетия М. Отелбаев в серии работ построил теорию сужений абстрактных операторов.
Держатели документа:
ЗКГУ
А 67
Анияров, А. А.
Корректные задачи для оператора Лапласа [Текст] / А. А. Анияров // Тайманов оқулары – 2010=Таймановские чтения – 2010. - 2010. - С. 207-211. - Библиогр.: с. 211
| УДК |
Рубрики: Математика
Кл.слова (ненормированные):
Задача -- оператор лапласа -- теория сужений -- уравнение -- частное производное
Аннотация: В начале восьмидесятых годов прошлого столетия М. Отелбаев в серии работ построил теорию сужений абстрактных операторов.
Держатели документа:
ЗКГУ
3.
Подробнее
22
К 30
Қауысқалиев, А. А.
Атомность и булевость решетки кручений [Текст] / А. А. Қауысқалиев, В. С. Мулдагалиев // Вестник ЗКУ. - 2021. - №1. - С. 126-133
ББК 22
Рубрики: Математика
Кл.слова (ненормированные):
радикал -- теория колец -- повороты -- ассоциативный характер -- теорема -- алгебраический идеал
Аннотация: Понятие радикала является одним из важных инструментов структурной теории колец и алгебр. Это объясняется тем, что радикал дает возможность выделить в классе всех рассматриваемых алгебр два противоположных подкласса – класс полупростых и класс радикальных алгебр, причем в ряде случаев каждый из этих классов описывается более или менее удовлетворительно. Но для того чтобы получить большую информацию об алгебрах из соответствующего класса, необходимо налагать дополнительные условия не только на рассматриваемые алгебры, но и на радикалы. В настоящей главе мы применим общую теорию радикалов для построения и изучения различных классов наследственных радикалов ассоциативных алгебр. В связи с этим всюду ниже считаем, что основной класс U алгебр состоит только из ассоциативных алгебр. Поэтому все рассматриваемые алгебры ассоциативные, если противное не оговорено особо. Все рассматриваемые классы алгебр – абстрактные подклассы U, содержащие нулевую алгебру.
Держатели документа:
ЗКУ
Доп.точки доступа:
Мулдагалиев, В.С.
К 30
Қауысқалиев, А. А.
Атомность и булевость решетки кручений [Текст] / А. А. Қауысқалиев, В. С. Мулдагалиев // Вестник ЗКУ. - 2021. - №1. - С. 126-133
Рубрики: Математика
Кл.слова (ненормированные):
радикал -- теория колец -- повороты -- ассоциативный характер -- теорема -- алгебраический идеал
Аннотация: Понятие радикала является одним из важных инструментов структурной теории колец и алгебр. Это объясняется тем, что радикал дает возможность выделить в классе всех рассматриваемых алгебр два противоположных подкласса – класс полупростых и класс радикальных алгебр, причем в ряде случаев каждый из этих классов описывается более или менее удовлетворительно. Но для того чтобы получить большую информацию об алгебрах из соответствующего класса, необходимо налагать дополнительные условия не только на рассматриваемые алгебры, но и на радикалы. В настоящей главе мы применим общую теорию радикалов для построения и изучения различных классов наследственных радикалов ассоциативных алгебр. В связи с этим всюду ниже считаем, что основной класс U алгебр состоит только из ассоциативных алгебр. Поэтому все рассматриваемые алгебры ассоциативные, если противное не оговорено особо. Все рассматриваемые классы алгебр – абстрактные подклассы U, содержащие нулевую алгебру.
Держатели документа:
ЗКУ
Доп.точки доступа:
Мулдагалиев, В.С.
4.
Подробнее
22.1
М 90
Мулдагалиев, В. С.
Асан Дабысович Тайманов - организатор школы по математической логики в Казахстане [Текст] / В. С. Мулдагалиев // Материалы международной научно-практической конференции «Таймановские чтения-2022», посвященной 105-летию доктора физико-математических наук, академика А.Д. Тайманова и 90-летию Западно-Казахстанского университета им. М. Утемисова (Уральск, 30 ноября 2022 г.). - Уральск, 2022. - С. 11-14.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
Академик АН КазССР -- Асан Дабысович Тайманов -- математическая логика -- кавалер двух орденов Трудового Красного знамени -- кавалер ордена отечественной войны I степени -- основатель казахской школы математической логики -- математика -- Уральский педагогический институт -- Вклад в топологию -- Вклад в дескриптивную теорию множеств -- теория функций -- теория моделей -- теория топологизации алгебры
Аннотация: Академик АН КазССР А. Д. Тайманов является ведущим математиком Казахстана, получившим ряд выдающихся результатов в математике. Он кавалер двух орденов Трудового Красного знамени и ордена отечественной войны I степени, основатель казахской школы математической логики. Асан Дабсович Тайманов родился 7 ноября (25 октября по старому стилю) 1917 года в многодетной семье ведного казаха-сковода в Урдинском (нине Бокейординском) районе Западно-Казахстанской области, в ауле Бисен.
Держатели документа:
ЗКУ
М 90
Мулдагалиев, В. С.
Асан Дабысович Тайманов - организатор школы по математической логики в Казахстане [Текст] / В. С. Мулдагалиев // Материалы международной научно-практической конференции «Таймановские чтения-2022», посвященной 105-летию доктора физико-математических наук, академика А.Д. Тайманова и 90-летию Западно-Казахстанского университета им. М. Утемисова (Уральск, 30 ноября 2022 г.). - Уральск, 2022. - С. 11-14.
Рубрики: Математика
Кл.слова (ненормированные):
Академик АН КазССР -- Асан Дабысович Тайманов -- математическая логика -- кавалер двух орденов Трудового Красного знамени -- кавалер ордена отечественной войны I степени -- основатель казахской школы математической логики -- математика -- Уральский педагогический институт -- Вклад в топологию -- Вклад в дескриптивную теорию множеств -- теория функций -- теория моделей -- теория топологизации алгебры
Аннотация: Академик АН КазССР А. Д. Тайманов является ведущим математиком Казахстана, получившим ряд выдающихся результатов в математике. Он кавалер двух орденов Трудового Красного знамени и ордена отечественной войны I степени, основатель казахской школы математической логики. Асан Дабсович Тайманов родился 7 ноября (25 октября по старому стилю) 1917 года в многодетной семье ведного казаха-сковода в Урдинском (нине Бокейординском) районе Западно-Казахстанской области, в ауле Бисен.
Держатели документа:
ЗКУ
5.
Подробнее
22.1
В 31
Вербовский, В. В.
Об n-упорядоченно стабильных теориях [Текст] / В. В. Вербовский, А. Д. Ершигешова // Материалы международной научно-практической конференции «Таймановские чтения-2022», посвященной 105-летию доктора физико-математических наук, академика А.Д. Тайманова и 90-летию Западно-Казахстанского университета им. М. Утемисова (Уральск, 30 ноября 2022 г.). - Уральск, 2022. - С. 16-19.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
новый класс теорий -- N-упорядоченно стабильных теории -- математика -- Теория -- элементы -- переменные -- свойство независимости -- выпуклое замыкание -- Лемма -- Доказательство
Аннотация: В данной статье исследуется сравнительно новый класс теорий — N-упо¬ря¬до¬чен¬но-стабильных. Даный класс является совмещением понятий стабиль¬ности и сла¬бой о-минимальности. Но здесь мы рассматриваем одновременно n порядков, заданных на структуре. Опишем идею введения этого класса. Было бы интересно применить теорию стабильности внутри пересечения сечений N раз линейно упорядоченной структуры. Известно, что в стабильных теориях число типов (а точнее, φ-типов) ограничено мощностью множества, над которым оно опре¬де¬ле¬но. В случае, если же есть линейный (или же частичный) порядок, число сечений может быть больше, чем мощность модели, то есть теории с линейными порядками не являются стабильными. Но давайте предположим, что эти порядки, в некотором смысле, являются единственными «плохими» формулами, то есть един¬ственными формулами, которые нарушают стабильность. Более точно: любое пересечение сечений относительно выбранных N порядков над моделью полной теории с N линейными порядками имеет малое число попол¬не¬ний до полных типов над моделью (или над множеством). Из работы первого автора [1] легко следует, что n-упорядоченно стабильные теории являются зависимыми, там же был получен критерий n-упорядоченной стабильности зависимой теории с n линейными порядками.
Держатели документа:
ЗКУ
Доп.точки доступа:
Ершигешова, А. Д.
В 31
Вербовский, В. В.
Об n-упорядоченно стабильных теориях [Текст] / В. В. Вербовский, А. Д. Ершигешова // Материалы международной научно-практической конференции «Таймановские чтения-2022», посвященной 105-летию доктора физико-математических наук, академика А.Д. Тайманова и 90-летию Западно-Казахстанского университета им. М. Утемисова (Уральск, 30 ноября 2022 г.). - Уральск, 2022. - С. 16-19.
Рубрики: Математика
Кл.слова (ненормированные):
новый класс теорий -- N-упорядоченно стабильных теории -- математика -- Теория -- элементы -- переменные -- свойство независимости -- выпуклое замыкание -- Лемма -- Доказательство
Аннотация: В данной статье исследуется сравнительно новый класс теорий — N-упо¬ря¬до¬чен¬но-стабильных. Даный класс является совмещением понятий стабиль¬ности и сла¬бой о-минимальности. Но здесь мы рассматриваем одновременно n порядков, заданных на структуре. Опишем идею введения этого класса. Было бы интересно применить теорию стабильности внутри пересечения сечений N раз линейно упорядоченной структуры. Известно, что в стабильных теориях число типов (а точнее, φ-типов) ограничено мощностью множества, над которым оно опре¬де¬ле¬но. В случае, если же есть линейный (или же частичный) порядок, число сечений может быть больше, чем мощность модели, то есть теории с линейными порядками не являются стабильными. Но давайте предположим, что эти порядки, в некотором смысле, являются единственными «плохими» формулами, то есть един¬ственными формулами, которые нарушают стабильность. Более точно: любое пересечение сечений относительно выбранных N порядков над моделью полной теории с N линейными порядками имеет малое число попол¬не¬ний до полных типов над моделью (или над множеством). Из работы первого автора [1] легко следует, что n-упорядоченно стабильные теории являются зависимыми, там же был получен критерий n-упорядоченной стабильности зависимой теории с n линейными порядками.
Держатели документа:
ЗКУ
Доп.точки доступа:
Ершигешова, А. Д.
6.
Подробнее
22.1
М 90
Мулдагалиев, В. С.
Вклад академика Тайманова в теорию моделей [Текст] / В. С. Мулдагалиев, С. М. Маутеева // Материалы международной научно-практической конференции «Таймановские чтения-2022», посвященной 105-летию доктора физико-математических наук, академика А.Д. Тайманова и 90-летию Западно-Казахстанского университета им. М. Утемисова (Уральск, 30 ноября 2022 г.). - Уральск, 2022. - С. 49-50.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
математика -- академик Тайманов -- теория моделей -- математика -- теорема Лося-Тарского -- теорема Лося-Сушко
Аннотация: В связи с общими свойствами аксиоматизируемых классов моделей естественно возникла задача о нахождении необходимых и достаточных признаков, характеризующих аксиоматизируемые классы. Так как язык, на котором надо формулировать эти признаки не указывается, то задача может допускать различные решения. Так Е.Лось о характеризовал аксиоматизируемые классы на языке булевых алгебр. И. Мыцельский указал характеристику аксиоматизируемых классов на языке функций
Держатели документа:
ЗКУ
Доп.точки доступа:
Маутеева, С.М.
М 90
Мулдагалиев, В. С.
Вклад академика Тайманова в теорию моделей [Текст] / В. С. Мулдагалиев, С. М. Маутеева // Материалы международной научно-практической конференции «Таймановские чтения-2022», посвященной 105-летию доктора физико-математических наук, академика А.Д. Тайманова и 90-летию Западно-Казахстанского университета им. М. Утемисова (Уральск, 30 ноября 2022 г.). - Уральск, 2022. - С. 49-50.
Рубрики: Математика
Кл.слова (ненормированные):
математика -- академик Тайманов -- теория моделей -- математика -- теорема Лося-Тарского -- теорема Лося-Сушко
Аннотация: В связи с общими свойствами аксиоматизируемых классов моделей естественно возникла задача о нахождении необходимых и достаточных признаков, характеризующих аксиоматизируемые классы. Так как язык, на котором надо формулировать эти признаки не указывается, то задача может допускать различные решения. Так Е.Лось о характеризовал аксиоматизируемые классы на языке булевых алгебр. И. Мыцельский указал характеристику аксиоматизируемых классов на языке функций
Держатели документа:
ЗКУ
Доп.точки доступа:
Маутеева, С.М.
7.
Подробнее
22.1
М 90
Мулдагалиев, В. С.
Вклад академика Тайманова в теорию – множественную топологию [Текст] / В. С. Мулдагалиев, Г. А. Узакбаева // Материалы международной научно-практической конференции «Таймановские чтения-2022», посвященной 105-летию доктора физико-математических наук, академика А.Д. Тайманова и 90-летию Западно-Казахстанского университета им. М. Утемисова (Уральск, 30 ноября 2022 г.). - Уральск, 2022. - С. 50-51.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
Тайманов А.Д. -- математика -- множественная топология -- теорема Тайманова -- непрерывное отображение пространства -- замкнутое отображение пространства -- Борелевское множество
Аннотация: Задачи, связанные с переходом к подпространсту стали актуальными в конце 40-х и начале 50-х годов 20 века. Отметим, что компактность исследуется при переходе к замкнуты и только таким подпространстам (теоремы А.С. Александров и Урысона).
Держатели документа:
ЗКУ
Доп.точки доступа:
Узакбаева, Г.А.
М 90
Мулдагалиев, В. С.
Вклад академика Тайманова в теорию – множественную топологию [Текст] / В. С. Мулдагалиев, Г. А. Узакбаева // Материалы международной научно-практической конференции «Таймановские чтения-2022», посвященной 105-летию доктора физико-математических наук, академика А.Д. Тайманова и 90-летию Западно-Казахстанского университета им. М. Утемисова (Уральск, 30 ноября 2022 г.). - Уральск, 2022. - С. 50-51.
Рубрики: Математика
Кл.слова (ненормированные):
Тайманов А.Д. -- математика -- множественная топология -- теорема Тайманова -- непрерывное отображение пространства -- замкнутое отображение пространства -- Борелевское множество
Аннотация: Задачи, связанные с переходом к подпространсту стали актуальными в конце 40-х и начале 50-х годов 20 века. Отметим, что компактность исследуется при переходе к замкнуты и только таким подпространстам (теоремы А.С. Александров и Урысона).
Держатели документа:
ЗКУ
Доп.точки доступа:
Узакбаева, Г.А.
8.
Подробнее
85
V92
Vorfolomeyeva, О.
Virtual concert hall module in augmented reality: hybrid educational technologies in the arts [Текст] / О. Vorfolomeyeva // Bulletin WKU. - 2024. - №1. - Р. 16-22.
ББК 85
Рубрики: Искусство
Кл.слова (ненормированные):
дополненная реальность -- AR-фреймворк -- гибридное образование -- AR-технологии в искусстве -- 3D-модель -- виртуальный концертный зал -- искусство
Аннотация: Научные исследования в области профессионального образования в сфере искусства демонстрируют достаточно ограниченные технологии подготовки к адаптации к публичному сценическому выступлению. В большинстве своем они затрагивают теорию и практику психологии творчества, а в реальной ситуации обучения сосредоточены в индивидуальной аудиторной практике при отсутствии зрительного зала. Проведенное исследование показывает эффективность развития soft skills в ситуации публичного концертного выступления артиста на сцене с помощью профессионально-ориентированного модуля аудиовизуального иммерсивного контента для работы в программном обеспечении AR. Это стало возможным благодаря сочетанию ситуационного модуля виртуального концертного зала Virtual Auditorium (VA), включенного в структуру AR-технологии, что обеспечило максимально необходимую аудиальную доступность обучения, повторяемость, вариативность и, в конечном итоге, формирование профессионально ориентированного систематического навыка публичного концертного выступления у пользователя продукта. Исследование показало, что 1) применение модуля симуляционного типа виртуальной аудитории ВА (Концертного зала) с помощью очков дополненной реальности (AR-очков) способствует эффективному закреплению навыков сценического выступления, облегчает адаптацию к условиям реальной сценической практики; 2) разработанный динамический 3D-контент переносит точку отсчета решения данной задачи из области психологии личности в иммерсивное аудиовизуальное пространство публичного выступления на образовательном этапе подготовки художественных программ. Разработка данного модуля направлена на создание приложения с новыми характеристиками, доступного для широкого спектра устройств: компьютеров, смартфонов, планшетов, VR для использования участниками образовательного процесса художественного направления.
Держатели документа:
ЗКУ
V92
Vorfolomeyeva, О.
Virtual concert hall module in augmented reality: hybrid educational technologies in the arts [Текст] / О. Vorfolomeyeva // Bulletin WKU. - 2024. - №1. - Р. 16-22.
Рубрики: Искусство
Кл.слова (ненормированные):
дополненная реальность -- AR-фреймворк -- гибридное образование -- AR-технологии в искусстве -- 3D-модель -- виртуальный концертный зал -- искусство
Аннотация: Научные исследования в области профессионального образования в сфере искусства демонстрируют достаточно ограниченные технологии подготовки к адаптации к публичному сценическому выступлению. В большинстве своем они затрагивают теорию и практику психологии творчества, а в реальной ситуации обучения сосредоточены в индивидуальной аудиторной практике при отсутствии зрительного зала. Проведенное исследование показывает эффективность развития soft skills в ситуации публичного концертного выступления артиста на сцене с помощью профессионально-ориентированного модуля аудиовизуального иммерсивного контента для работы в программном обеспечении AR. Это стало возможным благодаря сочетанию ситуационного модуля виртуального концертного зала Virtual Auditorium (VA), включенного в структуру AR-технологии, что обеспечило максимально необходимую аудиальную доступность обучения, повторяемость, вариативность и, в конечном итоге, формирование профессионально ориентированного систематического навыка публичного концертного выступления у пользователя продукта. Исследование показало, что 1) применение модуля симуляционного типа виртуальной аудитории ВА (Концертного зала) с помощью очков дополненной реальности (AR-очков) способствует эффективному закреплению навыков сценического выступления, облегчает адаптацию к условиям реальной сценической практики; 2) разработанный динамический 3D-контент переносит точку отсчета решения данной задачи из области психологии личности в иммерсивное аудиовизуальное пространство публичного выступления на образовательном этапе подготовки художественных программ. Разработка данного модуля направлена на создание приложения с новыми характеристиками, доступного для широкого спектра устройств: компьютеров, смартфонов, планшетов, VR для использования участниками образовательного процесса художественного направления.
Держатели документа:
ЗКУ
9.
Подробнее
63
М 74
Мокин, К. С.
Формирование современных принципов института государственной службы (на примере Казахстана и России) [Текст] / К. С. Мокин, М. С. Нуртазин // Вестник ЗКУ. - 2024. - №1. - С. 179-189.
ББК 63
Рубрики: История
Кл.слова (ненормированные):
государственная служба -- гражданская служба -- профессиональная деятельность -- должностное лицо -- функции и полномочия -- государственное управление -- подконтрольность и подотчетность -- принцип обязательности исполнения решений
Аннотация: Статья посвящена изучению институтов государственного управления и государственной службы. Рассмотрены законодательство и другие нормативные документы и материалы касающегося темы исследования. В статье дается теоретическое обоснование и раскрывается специфика принципов государственной службы двух стран, что указывает на актуальность и новизну темы исследования. Исследуемая тема будет интересна преподавателям, магистрантам и социологам, исследующим теорию и практику государственной и гражданской служб. В материале описываются законодательно закрепленные нормы принципов государственной службы Казахстана, а также государственной и гражданской службы Российской Федерации. Анализируются специфические подгруппы принципов, закрепленных в нормативных актах и применяемых в схожих управленческих схемах и процедурах. Авторы акцентируют внимание на том, что большое значение при оценке эффективности и результативности государственного управления имеет сравнительная характеристика системы менеджмента. На основании полученных данных были выявлены общие сходства формирования современных принципов института государственного управления и государственной, гражданской служб двух стран.
Держатели документа:
ЗКУ
Доп.точки доступа:
Нуртазин, М.С.
М 74
Мокин, К. С.
Формирование современных принципов института государственной службы (на примере Казахстана и России) [Текст] / К. С. Мокин, М. С. Нуртазин // Вестник ЗКУ. - 2024. - №1. - С. 179-189.
Рубрики: История
Кл.слова (ненормированные):
государственная служба -- гражданская служба -- профессиональная деятельность -- должностное лицо -- функции и полномочия -- государственное управление -- подконтрольность и подотчетность -- принцип обязательности исполнения решений
Аннотация: Статья посвящена изучению институтов государственного управления и государственной службы. Рассмотрены законодательство и другие нормативные документы и материалы касающегося темы исследования. В статье дается теоретическое обоснование и раскрывается специфика принципов государственной службы двух стран, что указывает на актуальность и новизну темы исследования. Исследуемая тема будет интересна преподавателям, магистрантам и социологам, исследующим теорию и практику государственной и гражданской служб. В материале описываются законодательно закрепленные нормы принципов государственной службы Казахстана, а также государственной и гражданской службы Российской Федерации. Анализируются специфические подгруппы принципов, закрепленных в нормативных актах и применяемых в схожих управленческих схемах и процедурах. Авторы акцентируют внимание на том, что большое значение при оценке эффективности и результативности государственного управления имеет сравнительная характеристика системы менеджмента. На основании полученных данных были выявлены общие сходства формирования современных принципов института государственного управления и государственной, гражданской служб двух стран.
Держатели документа:
ЗКУ
Доп.точки доступа:
Нуртазин, М.С.
10.
Подробнее
22.12
М 90
Мулдагалиев, В. С.
Вклад А.Д. Тайманова в теорию аксиоматизируемых классов моделей [Текст] / В. С. Мулдагалиев // Материалы международной научно-практической конференции «Цифровая наука и искусственный интеллект» «Таймановские чтения-2026» посвящённой научно-педагогической деятельности доктора физико-математических наук, академика А.Д. Тайманова. - Уральск, 2026. - 27 февраля. - С. 15-18.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
А.Д. Тайманов -- Аксиоматизируемый класс моделей -- Сигнатура -- Язык первого порядка -- Элементарная теория класса -- Алгебраические системы -- Конечная аксиоматизируемость -- Рекурсивная аксиоматизируемость
Аннотация: Материал посвящен теоретическим основам аксиоматизируемых классов моделей, развитых в трудах академика А. Д. Тайманова. В тексте систематизированы фундаментальные понятия математической логики: определения сигнатуры, замкнутых формул языка первого порядка и элементарной теории класса алгебраических систем.
Держатели документа:
ЗКУ
М 90
Мулдагалиев, В. С.
Вклад А.Д. Тайманова в теорию аксиоматизируемых классов моделей [Текст] / В. С. Мулдагалиев // Материалы международной научно-практической конференции «Цифровая наука и искусственный интеллект» «Таймановские чтения-2026» посвящённой научно-педагогической деятельности доктора физико-математических наук, академика А.Д. Тайманова. - Уральск, 2026. - 27 февраля. - С. 15-18.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
А.Д. Тайманов -- Аксиоматизируемый класс моделей -- Сигнатура -- Язык первого порядка -- Элементарная теория класса -- Алгебраические системы -- Конечная аксиоматизируемость -- Рекурсивная аксиоматизируемость
Аннотация: Материал посвящен теоретическим основам аксиоматизируемых классов моделей, развитых в трудах академика А. Д. Тайманова. В тексте систематизированы фундаментальные понятия математической логики: определения сигнатуры, замкнутых формул языка первого порядка и элементарной теории класса алгебраических систем.
Держатели документа:
ЗКУ
Page 1, Results: 10