џндекс.Њетрика
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Логический синтаксис

логи́ческий си́нтаксис, в широком смысле — теория (возможно, аксиоматическая), рассматривающая основные принципы построения логических исчислений и их формальную структуру (теоретический логический синтаксис); в узком смысле — запас выразительных средств для формулирования утверждений о формальных выражениях (языке) логические исчисления (элементарный логический синтаксис).
 
Рейтинг@Mail.ru