БаДаев са. Сызыкгык алгебра мен аналитикалык геометрия

адебиеттер.

Алматы, жане З беммдер., Казак Университет( 2007.

Байсалов ЕР. Криптографияньщ математикалык нейздер[ Алматы, Казак Университет( 2003.

З. Верещагин Н.К., Шень А. Языки и исчисления. — Москва, МЦНМО, 2000.

Верещагин .Н.К., Шень А. Вычислимые функции. — Москва, мцнмо, 1999.
ДжумаДильДаев А. С. Дискретная математика. — часть 1 , Алматы, У-т С. Демиреля, 2004.
А.Ы. Омаров, П.Т Досанбай, СС. Заурбеков. Математикалык логика жане алгоритмдер теориясыныц нейздер[ — Алматы, Казак университет( 2009.
Ершов Ю.]. Проблемы разрешимости и конструктивные модели. — Москва, Наука, 1980.
Ершов Ю. Л., Патопшн Е.А. Математическая логика. — 2-е изд., Москва, Наука, 1980.
Кейслер Г., Чен Ч. Ч. Теория моделей. — Москва, Мир, 1977.
Лавров И.А., Максимова Л.Л Задачи по теории множеств, математической логике и теории алгоритмов. — Москва, Физматлит, 2004.
Клини СК. Введение в математику. — Москва, Мир, 1977.
ЛПиьцев А И. Алгебраические системы. — Москва, Наука, 1970,

В. Мсиьцев А И. Алгоритмы и рекурсивные функции. Москва, Наука, 1986.

273

Омаров А.ЬГ., Досанбай П. Т., Заурбеков С. С Математикалык логика жане алгоритмдер теориясыньщ нейздер[ — Алматы, Казак Университетђ 2009.
Дж. Сакс. Теория насыщенных моделей. — Москва, Мир, 1976.
Б. Пуаза, Курс теории моделей. — перевод с французского ЕР. Байсалова и К.А. Мейрембекова, 2001.
Ј. Hodges. Model Theory. — Cambridge, 1994.

274

Достарыңызбен бөлісу: