Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=формализованные языки<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

Вид документа : Статья из журнала
Шифр издания : 1/К 14
Автор(ы) : Казакова А. Е.
Заглавие : Особенности семантики языков программирования
Серия: Философия и методология науки
Место публикации : Вестник Московского университета. Сер. 7, Философия. - 2007. - N 6. - С. С. 69-75 (Шифр mfls/2007/6)
Примечания : Библиогр. в примеч. - Примеч.: с. 74-75
УДК : 1 + 81-11
ББК : 87 + 81
Предметные рубрики: Философия
Общие вопросы философии
Языкознание
Теория и философия языка
Ключевые слова (''Своб.индексиров.''): языки программирования--искусственные языки--формальные языки--формализованные языки--семантика--прагматика языка--синтаксис
Аннотация: В статье приводится описание многообразия способов построения семантик для современных языков программирования.
Найти похожие
2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Кауров Б. А. (канд. биол. наук)
Заглавие : Элементы создания специализированного языка GERON для формализованного описания и моделирования возрастных изменений организма человека
Серия: Системный анализ в фундаментальной и клинической медицине
Место публикации : Информатика и системы управления. - 2010. - N 2 (24). - С.35-37. - ISSN 1814-2400 (Шифр insu/2010/2). - ISSN 1814-2400
Примечания : Библиогр.: с. 36-37 (8 назв.)
УДК : 612 + 577.3
ББК : 28.707.3 + 28.071
Предметные рубрики: Биология
Физиология человека
Биокибернетика
Географич. рубрики:
Ключевые слова (''Своб.индексиров.''): специализированные языки--язык geron--возрастные изменения--организм человека--моделирование возрастных изменений--системные биологические процессы--формализованные языки--геронтология
Аннотация: Рассмотрена возможность создания специализированного языка GERON для формализованного описания и моделирования возрастных изменений организма человека.
Перейти: http://test.amursu.ru/attachments/ics/N24_10.pdf
Найти похожие
3.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Никифоров, Александр Леонидович (доктор философских наук ; главный научный сотрудник сектора социальной эпистемологии Института философии РАН)
Заглавие : Онтологический статус референтов имен собственных
Серия: Панельная дискуссия
Место публикации : Эпистемология и философия науки. - 2012. - № 2. - С.50-58. - ISSN 1811-833Х (Шифр efna/2012/2). - ISSN 1811-833Х
УДК : 1
ББК : 87.25
Предметные рубрики: Философия
Философия науки
Ключевые слова (''Своб.индексиров.''): логика--семантика--язык--имена собственные--логическая семантика--смысл--естественные языки--формализованные языки
Аннотация: Статья посвящена вопросам логической семантики. По-мнению автора, имена собственные не являются обозначением реально существующих объектов, а обладают дескриптивным содержанием, которое обеспечивают коммуникативное и когнитивное функционирование языка.
Найти похожие
4.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Куслий П. С.
Заглавие : Формальная семантика и естественный язык
Серия: Философия и наука
Место публикации : Вопросы философии. - 2013. - № 8. - С.105-117. - ISSN 0042-8744 (Шифр voph/2013/8). - ISSN 0042-8744
Примечания : Библиогр.: с. 115-116. - Примеч.: с. 116-117
УДК : 1 + 81-11
ББК : 87.25 + 81
Предметные рубрики: Философия
Философия науки
Языкознание
Теория и философия языка
Ключевые слова (''Своб.индексиров.''): философия языка--семантика--формальная семантика--формальная грамматика--грамматика--язык (филология)--естественный язык--формализованные языки
Аннотация: В статье представлено критическое исследование генезиса методологии формальной семантики как междисциплинарного направления в современном теоретическом языкознании. Обсуждаются философские аспекты формальной семантики как теории значения выражений естественного языка.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 04.08.2024
Число запросов 29299
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)