• Ehrenfeucht theories without powerful digraphs* 

  Sudoplatov, S.V. (Ye.A.Buketov Karaganda State University Publishing house, 2013)

  All Ehrenfeucht theories are based on digraphs having the local pairwise intersection property. In this case, all known Ehrenfeucht theories are based on digraphs having the global pairwise intersection property. In ...
• О вычислимых подгруппах группы почти тождественных подстановок 

  Тюлюбергенев, Р.К.; Нуризинов, М.К. (Изд-во КарГУ, 2013)

  В статье исследованы вопросы вычислимости подгрупп группы всех почти тождественных подстано- вок натуральных чисел. Доказано, что существует конструктивная нумерация этой группы, относи- тельно которой вопросы о сопряженности ...
• К вопросу разрешимости некоторых обратных задач для уравнения Лапласа с граничным оператором Римана-Лиувилля 

  Торебек, Б.Т.; Турметов, Б.Х. (Изд-во КарГУ, 2013)

  В статье изучены вопросы разрешимости некоторых обратных краевых задач первого и второго рода для уравнения Лапласа в единичном круге с граничным оператором нецелого порядка. В качестве граничного оператора рассмотрен ...
• Методика создания образовательных компьютерных игр 

  Тен, Т.Л.; Омаров, Г.Т. (Изд-во КарГУ, 2013)

  В статье рассмотрены педагогические аспекты создания компьютерных игр, с точки зрения квест- проектов как приключенческих проектов. Использован проектный метод, который делает студента самостоятельным, приспособленным к ...
• Ehrenfeucht theories with non-dense powerful digraphs* 

  Sudoplatov, S.V. (Ye.A.Buketov Karaganda State University Publishing house, 2013)

  All known Ehrenfeucht theories are based on powerful digraphs having the density property. In the paper, we construct examples of Ehrenfeucht theories with powerful digraphs having the non-density property, i. e., with ...
• Қатпарлы пластинканың тербеліс теңдеуін есептеу əдісі 

  Сейітмұратов, А.Ж.; Медеубаев, Н.Қ.; Нұрланова, Б.М.; Шаукенов, Ж.Т. (Қарму басп., 2013)

  Құрылыс конструкцияларының сейсмотөзімділігінің негізгі элементтері болып табылатын берілген механикалық жəне геометриялық сипаттамалары бойынша екіқабатты пластинканың меншікті тербелісінің жиілік теңдеулері алынды. ...
• Моделирование образовательных программ 

  Сагиндыков, К.М. (Изд-во КарГУ, 2013)

  В статье рассмотрен метод определения межпредметной связи при кредитной системе обучения. Через введение понятия тезауруса специальности изучены способы построения математической модели.
• Groupes equationnellement minimaux 

  Bruno, Poizat (Ye.A.Buketov Karaganda State University Publishing house, 2013)

  A well-known definition in Model Theory states that an infinite structure M is minimal if any subset of M which is definable with parameters in M is either finite or cofinite. The starting point of the study of the groups ...
• Алгебры 1-типов теории группы целых чисел, индуцируемые групповой операцией 

  Попков, Р.А. (Изд-во КарГУ, 2013)

  В статье изучены алгебры 1-типов, возникающие при исследовании распределений счётных моделей аддитивной теории группы целых чисел. Приведены некоторые свойства алгебры 1-типов. Множество 1-типа разбито на некоторые три ...
• P -Cуперстабильные абелевы группы 

  Палютин, Е.А. (Изд-во КарГУ, 2013)

  В статье описаны все P-суперстабильные абелевы группы, где P — произвольная подгруппа. Доказа- но, что любая абелева группа является P-суперстабильной для сервантных подгрупп p, что, в частно- сти, обобщает результаты ...
• Моделирование итерационных вычислений в системе обобщенного естественного вывода 

  Николенко, А.Б. (Изд-во КарГУ, 2013)

  В статье освещены вопросы формализации итерационных вычислений. Составлена система первого порядка, предназначенная для моделирования содержательных математических рассуждений. Описан процесс построения логических выводов ...
• О мощности множества классов сопряженных элементов группы 

  Навалихина, М.Ю.; Павлюк, Ин.И.; Павлюк, И.И. (Изд-во КарГУ, 2013)

  Определено понятие не p -группы и установлено, что в такой группе, обладающей собственным не- тривиальным коммутантом, смежные классы по этому коммутанту тогда и только тогда совпадают, когда элементы каждого смежного ...
• Морфологический анализ текстов на казахском языке 

  Мусабаев, Р.Р.; Койбагаров, К.Ч.; Абдрахманов, А.Т. (Изд-во КарГУ, 2013)

  В статье рассмотрены особенности алгоритмической реализации морфологического анализа текстов на казахском языке с учётом его структуры. Изучены особенности реализации технологии графемати- ческого анализа текстов на ...
• Приближённое уравнение колебания пластин из изотропного однородного материала 

  Медеубаев, Н.К.; Нурланова, Б.М.; Сейтмуратов, А.Ж. (Изд-во КарГУ, 2013)

  Получены приближённые уравнения собственных колебаний двухслойной пластинки при заданных механических и геометрических характеристиках, являющихся основными элементами сейсмостойко- сти строительных конструкций. Задача ...
• Неравенство младших классов полиномиально-ограниченной иерархии языков 

  Латкин, И.В. (Изд-во КарГУ, 2013)

  Изучены младшие, т.е. первые, самые маленькие, классы полиномиально-ограниченной иерархии языков. На основании ранее доказанной автором возможности моделирования вычислений экспонен- циальной длины формулами булевых ...
• Методика решения экономических и управленческих задач с помощью математической теории игр 

  Kаренов, Р.С. (Изд-во КарГУ, 2013)

  В статье отмечено, что для грамотного решения задач с конфликтными ситуациями создан научно обоснованный метод, который носит название «теория игр». Подчеркнуто, что в настоящее время ве- дется большая работа, направленная ...
• О замыкаемости и об ограниченной обратимости дифференциального оператора смешанного типа в неограниченной области 

  Игисинов, С.Ж. (Изд-во КарГУ, 2013)

  В статье рассмотрен один класс сингулярного дифференциального оператора смешанного типа в не- ограниченной области. Первоначально доказана замыкаемость данного оператора, так как в данном случае не существует априорной ...
• Применение метода аналитических сетей для прогнозирования развития общественно-политической ситуации 

  Абрелева, М.М.; Муханова, А.А. (Изд-во КарГУ, 2013)

  В статье освещены методологические вопросы, относящиеся к процессу принятия экспертных реше- ний, кроме того, рассмотрено соотношение метода анализа иерархий и метода аналитических сетей. Алгоритм реализации сетевой ...
• Стабилизация заданной программной траектории манипуляционного робота 

  Абдрахманов, А.Т. (Изд-во КарГУ, 2013)

  В статье рассмотрена заданная программная траектория манипуляционного робота на некотором от- резке времени, построенная с «запасом», обеспечивающим обход возможных препятствий в рабочей зоне. Получены уравнения движения ...
• Расстояние между формулами пятизначной логики Лукасевича и мера недостоверности высказываний экспертов 

  Викентьев, А.А.; Кабанова, Е.С. (Изд-во КарГУ, 2013)

  В статье высказывания экспертов представлены в виде формул пятизначной логики Лукасевича. Ана- логично случаю классической логики, используя теорию моделей, были введены понятия расстояния между формулами и меры ...

View more