RU

Модельдер теориясы

  • Мақсаты: модельдердің негізгі класстарын анықтау және синтаксистік немесе ақпараттық объектілердің (теориялардың) және семантикалық немесе нақты объектілердің (модельдердің) өзара әсер ету мүмкіндігін көрсету, сәйкес семантикалық объектілердің әртүрлілігін (спектрін) орнатуға мүмкіндік береді. олардың синтаксистік сипаттамасына және керісінше. Модельдік теория немесе алгебралық жүйелер теориясы математикалық логиканың бір саласы ретінде математикалық логика мен алгебраның қиылысында пайда болды.
  • Образовательная программа 6B01509 Математика
  • ВУЗ Л.Н.Гумилев атындағы Еуразия ұлттық университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 4
  • Семестр 1
Top