Математическая энциклопедия - семантика
Связанные словари
Семантика
семантика
в математической логике исследование интерпретаций логического исчисления, формальной аксиоматич. теории; изучение смысла и значения конструкций формализованного языка теории, способа понимания его логич. связок и формул. С. уделяет внимание возможности точного описания и определения таких понятий, как "истина", "определимость", "обозначение", по крайней мере применительно к точно описанным языкам.
В несколько более узком смысле под С. формализованного языка понимают систему соглашений, определяющих понимание формул языка, задающих условия истинности этих формул.
С. логич. связок в классической и интуиционистской логике носит э к с т е н с и о н а л ь н ы й характер, т. .
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
(от греч. semanticos — обозначающий) — учение о значении знаков, об отношении между знаками, т. е. между словами и предложениями и тем, что они означают. Синонимы — семасиология, сигнифика (то и другое в основе содержат слово «знак»). Симантический — смысловой, относящийся к значению слова, понятия.Начала современного естествознания. Тезаурус. — Ростов-на-Дону В.Н. Савченко, В.П. Смагин 2006 ...Начала современного естествознания
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 554 | |
2 | 480 | |
3 | 478 | |
4 | 470 | |
5 | 452 | |
6 | 437 | |
7 | 435 | |
8 | 431 | |
9 | 422 | |
10 | 421 | |
11 | 419 | |
12 | 411 | |
13 | 402 | |
14 | 373 | |
15 | 372 | |
16 | 370 | |
17 | 363 | |
18 | 361 | |
19 | 361 | |
20 | 360 |