Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формализованные языки<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Казакова, А. Е.
Особенности семантики языков программирования [Текст] / А. Е. Казакова // Вестник Московского университета. Сер. 7, Философия. - 2007. - N 6. - С. 69-75. - Библиогр. в примеч. - Примеч.: с. 74-75

УДК

^a1

^a81-11

ББК 87 + 81
Рубрики: Философия
   Общие вопросы философии
   Языкознание
   Теория и философия языка
Кл.слова (ненормированные):
языки программирования -- искусственные языки -- формальные языки -- формализованные языки -- семантика -- прагматика языка -- синтаксис
Аннотация: В статье приводится описание многообразия способов построения семантик для современных языков программирования.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Кауров, Б. А. (канд. биол. наук).
Элементы создания специализированного языка GERON для формализованного описания и моделирования возрастных изменений организма человека [Текст] / Б. А. Кауров // Информатика и системы управления. - 2010. - N 2 (24). - С. 35-37. - Библиогр.: с. 36-37 (8 назв.) . - ISSN 1814-2400

УДК

^A612

^A577.3

ББК 28.707.3 + 28.071
Рубрики: Биология
   Физиология человека
   Биокибернетика

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

Перейти: http://test.amursu.ru/attachments/ics/N24_10.pdf

Имеются экземпляры в отделах: всего 5 : н.з. (1), ч.з. (1), эн.ф. (1), аб. (2)
Свободны: н.з. (1), ч.з. (1), эн.ф. (1), аб. (2)

Найти похожие

Никифоров, Александр Леонидович (доктор философских наук ; главный научный сотрудник сектора социальной эпистемологии Института философии РАН).
Онтологический статус референтов имен собственных [Текст] / А. Л. Никифоров // Эпистемология и философия науки. - 2012. - № 2. - С. 50-58 . - ISSN 1811-833Х

УДК

^a1

ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
логика -- семантика -- язык -- имена собственные -- логическая семантика -- смысл -- естественные языки -- формализованные языки
Аннотация: Статья посвящена вопросам логической семантики. По-мнению автора, имена собственные не являются обозначением реально существующих объектов, а обладают дескриптивным содержанием, которое обеспечивают коммуникативное и когнитивное функционирование языка.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Куслий, П. С.
Формальная семантика и естественный язык [Текст] / П. С. Куслий // Вопросы философии. - 2013. - № 8. - С. 105-117. - Библиогр.: с. 115-116. - Примеч.: с. 116-117 . - ISSN 0042-8744

УДК

^a1

^a81-11

ББК 87.25 + 81
Рубрики: Философия
   Философия науки
   Языкознание
   Теория и философия языка
Кл.слова (ненормированные):
философия языка -- семантика -- формальная семантика -- формальная грамматика -- грамматика -- язык (филология) -- естественный язык -- формализованные языки
Аннотация: В статье представлено критическое исследование генезиса методологии формальной семантики как междисциплинарного направления в современном теоретическом языкознании. Обсуждаются философские аспекты формальной семантики как теории значения выражений естественного языка.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Тематический навигатор

Статистика за 10.07.2024
Число запросов	103449
Число посетителей	1
Число заказов	0

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