Қазақстан Республикасының Президенті 
Қасым-Жомарт Тоқаев: 
ҚАЗАҚСТАН ЖАҢҒЫРУДЫҢ ЖАҢА КЕЗЕҢІНЕ ҚАДАМ БАСТЫ



толығырақ

ЛҰҚПАН ҚЫЛЫШҰЛЫ ҚЫЛЫШЕВ (1909-1991)  
ғалым, биология ғылымдарының докторы, профессор, 
Қазақстан FA-ның корреспондент-мүшесі, 
Қазақстанның еңбек сіңірген ғылым қайраткері. 

толығырақ

Қасым-Жомарт Тоқаев: 

«Қазақстан бірте-бірте өңірлік академиялық 
және ғылыми-зерттеу хабына айналып келеді»

толығырақ

ҒТА ұлттық қоры / ҒЗЖ туралы есептер

Характеризация двух уровней выразительности логики предикатов над финитарным и инфинитарным семантическими слоями теоретико-модельных свойств и исследование моделей теорий первого порядка

Жетекшінің аты-жөні, тегі: Кальменов Т.Ш.
Work head: Перетятькин М.Г., Кудайбергенов К.Ж.
: Институт математики и математического моделирования
Инвентарлық номер: 0217РК01890
Тіркелген номер: 0115РК00657
негізгі сөздер: теория моделей*логика предикатов
Ссылка

050026, Алматы, ул. Богенбай батыра, 221

Тел: 8 (727) 378 0509

E-mail: dir@inti.kz