Модельдер теориясы
Навигацияға өту
Іздеуге өту
Модельдер теориясы– математикалық логиканың математикалық модельдерді зерттейтін саласы. 20 ғасырдың басында Модельдер теориясының негізін қалайтын екі теорема дәлелденген: 1. Егер 1-ретті логиканың сөйлемдер жиынының әрбір ақырлы ішкі жиынының моделі табылса, онда оның да моделі табылады (К.Гедель, А.И. Мальцев) 2. Ақырсыз моделі бар 1-ретті саналымды теорияның кез келген ақырсыз қуатты моделі табылады (Л.Левенгейм, Т.Сколем). Қазақстанда А.Тайманов ұйымдастырған модельдер теориясы мектебінің өкілдері тұрақты теориялардың модельдері жайындағы көптеген ғылыми нәтижелерге қол жеткізді.[1]
Дереккөздер[өңдеу | қайнарын өңдеу]
- ↑ Кейслер Г., Чэн Ч.Ч., Теория моделей, М., 1977; Мустафин Т.Г., Стабильные теории, Қарағанды, 1981; сонікі, Число моделей теорий, Қарағанды, 1983. Е. Байсалов
 | Бұл мақаланы Уикипедия сапа талаптарына лайықты болуы үшін уикилендіру қажет. |
|
Бұл — мақаланың бастамасы. Бұл мақаланы толықтырып, дамыту арқылы, Уикипедияға көмектесе аласыз. Бұл ескертуді дәлдеп ауыстыру қажет. |