Шифр: phna/2005/4
   Журнал

Философия науки [Текст] : научное издание по философии, методологии и логике естественных наук СО РАН. - ISSN 1560-7488. - Выходит ежеквартально
2005г. N 4
Содержание:
Куликов, С. Б. Критика Э. Гуссерлем оснований физико-математического естествознания: релятивистические следствия / С.Б. Куликов. - С.3-13
Кл.слова: естествознание физико-математическое, НАУЧНОЕ ПОЗНАНИЕ, релятивизм современной философии
Смолин, Л. Наследие Эйнштейна, где "эйнштейнианцы"? / Л. Смолин. - С.15-23
Кл.слова: ЭЙНШТЕЙН, теория относительности
Симанов, А. Л. От "ньютонианства" к "эйштейнианству" : эволюция методологии физического исследования / А.Л. Симанов. - С.24-
Кл.слова: методологическая система, квантовая физика, представители, механика Ньютона-Галилея
Жотиков, В. Г. Сохраняется ли лоренц-инвариантность при больших энергиях и импульсах / В.Г. Жотиков. - С.49-63
Кл.слова: лоренц-инвариантность, преобразования, импульсные трансляции, теория относительности, квантовая теория, Каратеодори, преобразования
Корухов, В. В. О подходах к созданию расширенной специальной теории относительности / В.В. Корухов, О.В. Шарыпов. - С.64-78
Кл.слова: ТЕОРИЯ ОТНОСИТЕЛЬНОСТИ, планковские величины, пространство-время, дискретно-непрерывная структура
Пикок, К. Теория значения в аналитической философии / К. Пикок. - С.79-102
Кл.слова: семантика языка, теория значений, язык, семантические аксиомы
Бондаренко, А. В. Физика высоких энергий: основные идеи и проблемы / А.В. Бондаренко, А.В. Кузьмин, А.С. Лахтычкин. - С.103-116
Кл.слова: физика высоких энергий, кварковая модель, КВАНТОВАЯ ХРОМОДИНАМИКА
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Маевский, М. С.
    Язык описания преобразований программ [Текст] / М. С. Маевский // Информатика и системы управления. - 2008. - N 1 (15). - С. 131-141. - Библиогр.: с. 141 (6 назв.) . - ISSN 1814-2400
УДК
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

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


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




    Медведева, А. В.
    Лингвистические рефлексы физиологических ощущений и состояний [Текст] / А. В. Медведева // Вопросы когнитивной лингвистики. - 2009. - N 4. - С. 84-91
УДК
ББК 81
Рубрики: Языкознание--Психолингвистика
Кл.слова (ненормированные):
переносное значение имен существительных -- психофизиологические ассоциации -- прототопические ситуации -- семантика языка -- изучение феномена сознания -- исследование семантики языка -- адекватные средства языкового выражения -- лигвистические рефлексы -- смежные образные ассоциации -- развитие значения слова


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




    Васенин, В. А.
    Модель динамического параллельного исполнения программ [Текст] / В. А. Васенин, М. А. Кривчиков // Программирование. - 2013. - № 1. - С. 45-59. - Библиогр.: с. 59 (13 назв.) . - ISSN 0132-3474
УДК
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

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


Доп.точки доступа:
Кривчиков, М. А.

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




    Кузина, Оксана Александровна.
    Формальные грамматики и семантические сети (на примере прямого ассоциативного эксперимента по теме "Сфера туризма") [Текст] = Formal grammar and semantic network (the case of a direct association experiment In "The sphere of tourism") / О. А. Кузина, Д. В. Конишевский // Гостиничное дело. - 2022. - № 12. - С. 788-792 : 3 рис. - Библиогр.: с. 792 (2 назв.). - Аннот., библиогр. на рус., англ. яз. . - ISSN 2075-0978
УДК
ББК 81.8 + 81
Рубрики: Языкознание
   Искусственные языки

   Общее языкознание

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


Доп.точки доступа:
Конишевский, Денис Вячеславович

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




    Кузина, О. А.
    Формальные грамматики и семантические сети (на примере прямого ассоциативного эксперимента по теме "Сфера туризма") [Текст] = Formal grammar and semantic network (the case of a direct association experiment in "The sphere of tourism") / О. А. Кузина, Д. В. Конишевский // Гостиничное дело. - 2023. - № 1. - С. 14-18 : 3 рис. - Библиогр.: с. 18 (2 назв.). - Аннот., библиогр. на рус., англ. яз. . - ISSN 2075-0978
УДК
ББК 81.8 + 81
Рубрики: Языкознание
   Искусственные языки

   Общее языкознание

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


Доп.точки доступа:
Конишевский, Д. В.

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