Начала современного естествознания - модель
Связанные словари
Модель
модель
(от франц. modele, лат. modulus — мера, образец)1) образец (эталон, стандарт);
2) в широком смысле — любой образ, аналог (мысленный или условный) какого-либо объекта, процесса или явления.
Начала современного естествознания. Тезаурус. — Ростов-на-Дону
В.Н. Савченко, В.П. Смагин
2006
Рейтинг статьи:
См. в других словарях
1.
интерпретация формального языка. Основным формальным языком является язык 1-г о порядка (или 1-й ступени) данной сигнатуры , включающей предикатные символы функциональные символы и константы Модель языка есть алгебраическая система сигнатуры Пусть -нек-рое множество замкнутых формул языка . Модель для есть М. языка , в к-рой истинны все формулы из'. Множество наз. совместным, если оно имеет хотя бы одну М. Класс всех М. для обозначается Mod . Совместность множества означает, что Класс Кмоделей языка наз. аксиоматизируем ы м, если существует такое множество замкнутых формул языка , что . Множество Т(К)всех замкнутых формул языка , истинных в каждой М. из данного класса Кмоделей языка наз. элементарной теорией класса К. Таким образом, класс К моделей языка аксиоматизируем тогда и только тогда, когда . Если класс Ксостоит из М., изоморфных данной М., то его элементарная теория наз. элементарной теорией этой модели. Пусть Анек-рая М. языка , имеющая основное множество А. Каждому элементу сопоставляют константу и рассматривают язык 1-го порядка сигнатуры , к-рая получается из добавлением констант . Язык наз. диаграммным...Математическая энциклопедия
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 372 | |
2 | 332 | |
3 | 331 | |
4 | 330 | |
5 | 329 | |
6 | 321 | |
7 | 311 | |
8 | 311 | |
9 | 311 | |
10 | 310 | |
11 | 308 | |
12 | 303 | |
13 | 301 | |
14 | 297 | |
15 | 297 | |
16 | 294 | |
17 | 277 | |
18 | 272 | |
19 | 272 | |
20 | 269 |