язык второго порядка

язык второго порядка
мат. second-order language

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "язык второго порядка" в других словарях:

  • Логика второго порядка — в математической логике  формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… …   Википедия

  • язык-объект — 1. Язык, являющийся предметом описания. 2. Язык, являющийся содержанием у языка второго порядка (или метаязыка), который используется как средство для его научного описания …   Толковый переводоведческий словарь

  • Язык —     ЯЗЫК. Термин Я. по отношению к человеческой речи употребляется в разных значениях: 1. для обозначения человеческого Я. вообще, как способности говорить; 2. для обозначения отдельного Я., в отличие от наречия и говора или диалекта; 3. для… …   Словарь литературных терминов

  • Язык и языки — (в лингвистическом смысле) в значении речи человеческой. Это название применяется в русском Я. переносно, метафорически, причем главный, видимый орган произношения, язык, берется в значении процесса, в значении деятельности и всей совокупности… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • язык — одно из средств общения, основаное на способности человека производить звуки (артикуляция) и соотносить комплексы звуков с предметами и понятиями (семантика). Общение на языке называется речью. Потребности речи привели к изучению и описанию языка …   Литературная энциклопедия

  • Немецкий язык — Запрос «немецкий» перенаправляется сюда; см. также другие значения. Немецкий язык Самоназвание: Deutsch, deutsche Sprache Страны …   Википедия

  • Логика первого порядка — (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 …   Википедия

  • Ингушский язык — язык, на к ром говорят ингуши «ghalghaj (по переписи 1926 численностью 72 043 души), принадлежит к так наз. чеченской группе яз., относимых, в свою очередь, вместе с дагестанскими к восточно кавказской яфетической (см.) системе яз. с… …   Литературная энциклопедия

  • ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т …   Философская энциклопедия

  • Русский язык на Украине — (укр. Російська мова в Україні)  один из двух наиболее распространённых языков общения населения Украины. В ходе Всеукраинской переписи населения 2001 года родным русский язык назвали 29,6% участников, в том числе 14,8% украинцев[1][2][3] .… …   Википедия

  • Ишкашимский язык — Самоназвание: škošmi zəvůk Страны …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»