( греч . syntaxis — построение , порядок ) — раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразования, отвлекаясь от их интерпретации. Синтаксисом формализованного языка называют систему пра- вил построения выражений э того языка и проверки того, являются ли эти выражения правильно построенными формулами, аксиомами, теоремами, выводами или доказательствами.
Что такое Синтаксис? Значение слова Синтаксис в словаре логики
Синтаксис - (греч. syntaxis — построение, порядок) — раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразования, отвлекаясь от их интерпретации. Синтаксисом формализованного языка называют систему пра- вил построения выражений этого языка и проверки того, являются ли эти выражения правильно построенными формулами, аксиомами, теоремами, выводами или доказательствами.
Синтаксис
Однокоренные и похожие слова:
Значение слова Синтаксис в других словарях:
- Что такое Синтаксис? Энциклопедический словарь
- Определение термина Синтаксис? Словарь Даля
- Толкование слова Синтаксис? Словарь Ожегова
- Что означает слово Синтаксис? Философский словарь
- Что означает термин Синтаксис? Социологический словарь
- Что такое Синтаксис? Энциклопедия Брокгауза и Ефрона
- Определение термина Синтаксис? Словарь иностранных слов
- Толкование слова Синтаксис? Этимологический словарь Фасмера
- Что означает слово Синтаксис? Толковый словарь Ушакова
Узнайте лексическое, прямое, переносное значение следующих слов:
- Тавтология - — в обычном языке: повторение того, что уже ...
- Сходство - — наличие хотя бы одного общего признака у ...
- Суппозиция - (от лат. suppositio — подкладывание, подмена) — термин, ...
- Строгость - комплексная характеристика рассуждения, учитывающая степень ясности и ...
- Сравнительные Модальности - см.: Абсолютные и сравнительные модальности. ...
- Софизм - — рассуждение, кажущееся правильным, но содержащее скрытую логическую ...
- Содержание Понятия - см.: Понятие. ...
- Семантическая Категория - класс языковых выражений, взаимная замена которых в ...
- Связка - — в традиционной логике элемент простого суждения, соединяющий ...
- Референция - — отношение между обозначаемым и обозначающим, между предметом ...
- Релевантная Логика - одна из наиболее известных неклассических теорий логического ...
- Рекурсивное Определение - (от лат. recurso возвращаюсь) — метод определения ...
- Разрешимая Теория - — теория, для которой существует эффективная процедура (алгоритм), ...
- Разрешающая Процедура - см.: Разрешения проблема. ...
- Предвосхищение Основания - (лат. petitio principii) ошибка логическая в доказательстве, ...