система знаків будь-якої мови (в тому числі, наукових теорій) на відміну від їх інтерпретації. Дослідження синтаксису мови має велике значення при формалізації наукових теорій (особливо в математиці і логіці). При формалізованому побудові теорій задають безліч вихідних символів, правила освіти з них таких послідовностей символів, які вважаються правильно побудованими формулами, а також правила перетворення одних правильно побудованих формул в інші (правила виводу). (Див. Мову, формалізація, семантика, знак, значення).
↑ Відмінне визначення
Неповне визначення ↓
від грец. побудова, поря-док) в логіці, вивчення чисто формальної частини формалізується. мови, т. е. неінтерпретірованного ісчіс-лення. Об'єктами такого вивчення служать алфа-вит розглянутого обчислення (формальної систе-ми), правила утворення виразів (формул) предметної мови (язикаоб'екта; см. Мета-мова) обчислення і правила Перетворюва-ня (правила виводу) в ньому. На відміну від такого «логічний. С. »часто говорять про« С. у вузькому сенсі », обме-вающий« чисто синтаксичного »(в звичайному грамматич. сенсі) стороною системи, т. е. не розглядаю-щем її правила перетворення. Елементарним С. зв. вивчення синтаксич. (В обох згаданих сенсах) властивостей до.-л. конкретної формальної систе-ми недо-римі спец. ефективними засобами, як це прийнято в метаматематіч. (Див. Метатеорія) досліджень-пах. Теоретичний С.-це загальна теорія всіляких формальних систем (або класу систем) до.-л. потужність. виду, на апарат до-рій зазвичай ніяких обмежень не накладається. Елементарний і теоретич. С. оперують звичайним змістовно розуміється мовою (к-рий, в свою чергу, сам може бути фор-малізован і служити предметом суворого формального дослідження),
↑ Відмінне визначення
Неповне визначення ↓
↑ Відмінне визначення
Неповне визначення ↓
Знайдено схем по темі СИНТАКСИС - 0
Знайдено научниех статей по темі СИНТАКСИС - 0
Знайдено книг по темі СИНТАКСИС - 0
Знайдено презентацій по темі СИНТАКСИС - 0
Знайдено рефератів на тему СИНТАКСИС - 0
син так сис
Гіпероніми
Споріднені слова
- gsw: Syntax
- en: syntax
- ar: بناء جملة (binā' júmla)
- an: sintaxi
- hy: շարահյուսություն (šarahyusut'yun)
- af: sintaksis
- eu: sintaxi
- be: сінтаксіс
- br: kevreadurezh
- cy: cystrawen
- wa: sintake
- war: sintaksis
- hu: szintaxis; mondattan
- hsb: syntaksa
- vi: cú pháp, cú pháp học
- gl: sintaxe
- el: σύνταξη
- ka: სინტაქსი
- da: syntaks
- sgs: sėntaksė
- he: תחביר
- yi: סינטאַקס (sintaks)
- io: sintaxo
- id: sintaksis
- ia: syntaxe
- ga: comhréir
- is: setningafræði
- es: sintaxis
- it: sintassi
- ca: sintaxi
- zh-cn: 句法 (jùfá);语法 学 (yǔfǎxué)
- ko: 통사론 (tongsaron)
- la: syntaxis
- lv: sintakse
- lt: sintaksė
- lmo: sintassi
- mk: синтакса
- mg: rariteny
- ms: sintaksis
- gv: co-ordrail
- de: Syntax
- nl: syntaxis
- no: syntaks
- oc: sintaxi
- pa: ਵਾਕ-ਰਚਨਾ
- fa: نحو
- pl: syntaksa
- pt: sintaxe
- rm: sintaxa
- ro: sintaxă
- sr: синтакса
- sk: syntax
- sl: sintaksa
- su: sintaksis
- tl: palaugnayan; sintaks
- tr: sözdizim, sentaks
- tk: sintaksis
- fi: syntaksi, lauseoppi
- fr: syntaxe
- fy: syntaksis
- hr: sintaksa
- cs: syntax, syntaxe
- sv: syntax
- eo: sintakso
- et: süntaks