Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Статьи- результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Электронный каталог (5)
Поисковый запрос: (<.>K=формальные языки<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Казакова, А. Е.
    Особенности семантики языков программирования / А. Е. Казакова // Вестник Московского университета. Сер. 7, Философия. - 2007. - № 6. - С. 69-75. - (Философия и методология науки) ) . - Библиогр. в примеч.
. - Примеч.: с. 74-75 . - ISSN 0201-7385
УДК
ББК 87 + 81
Рубрики: Философия
   Общие вопросы философии

   Языкознание

   Теория и философия языка

Кл.слова (ненормированные):
искусственные языки -- прагматика языка -- семантика -- синтаксис -- формализованные языки -- формальные языки -- языки программирования
Аннотация: В статье приводится описание многообразия способов построения семантик для современных языков программирования.

Прямая ссылка
Найти похожие

2.


    Коськов, С. Н.
    Конвенция и метафора в языке науки: эпистемологический подход / С. Н. Коськов // Вестник Московского университета. Сер. 7, Философия. - 2009. - № 2. - С. 3-18. - (Философия и методология науки) ) . - Библиогр.: с. 18 (23 назв. )
. - ISSN 0130-0091
УДК
ББК 87.25 + 81.1
Рубрики: Философия
   Философия науки

   Языкознание

   Прикладное языкознание

Кл.слова (ненормированные):
естественный язык -- метафора -- семантические конвенции -- теоретические конструкты -- формальные языки -- эпистемология -- язык науки
Аннотация: Статья посвящена эпистемологическому подходу к конвенции и метафоре в языке науки. Язык рассматривается не только и не столько как знаково-символическая структура для выражения свойств и отношений внешней деятельности, но и как часть самой науки.

Прямая ссылка
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)