Библиотека Омского государственного университета им. Ф.М. Достоевского

Электронные ресурсы

Базы данных

Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска

Электронный каталог

Статьи из журналов: 2001-2014

Труды ОмГУ

История ОмГУ

Сводный каталог периодических изданий вузовских библиотек г.Омска

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

в найденном

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

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

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

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

11/12
Ц 815

Цофнас, А. Ю.
Понятие философской категории [Текст] : опыт уточнения в языке тернерного описания / А. Ю. Цофнас // Философские науки. - 2002. - N3. - Библиогр.:с.143 (15 назв.).

УДК

11/12

800.1

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

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

371.66:004.3
Э 848

Эсзел Д, ж.
Программное обеспечение для изучения формальной логики: визуализация ограничений и следствий как механизм научения [Текст] / ж. Эсзел Д, П. Фунг [и др.] // Дистанционное и виртуальное обучение. - 2004. - N 11. - визуализация ограничений и следствий как механизм наученияSoftware That Assists Learning Within a Complex Abstract Domain: the Use of Constraint and Conseguentiality as Learning Mechanism. - Реф. на ст.: Aszel J., Fung P., Bornat R., Oliver M., O'Shea T., Sufrin B. Software That Assists Learning Within a Complex Abstract Domain: the Use of Constraint and Conseguentiality as Learning Mechanism // British Journal of Educational Technology. 2003. Vol. 34, N 5. P. 625-638 . - ISSN 1561-2449

УДК

371.66:004.3

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

Доп.точки доступа:
Фунг, П.; Борнат, Р.; Оливер, М.; О'Ши, Т.; Суфрин, Б.

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

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

УДК

^a1

^a81-11

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

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

Коськов, С. Н.
Конвенция и метафора в языке науки: эпистемологический подход [Текст] / С. Н. Коськов // Вестник Московского университета. Сер. 7. Философия . - 2009. - N 2. - С. 3-18. - Библиогр.: с. 18 (23 назв. ) . - ISSN 0201-7385

УДК

^a1

^a81'33

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

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

512.531
П 406

Плющенко, А. Н.
О проблеме равенства слов в свободных бернсайдовых полугруппах с тождеством [Текст] / А. Н. Плющенко // Известия вузов. Математика. - 2011. - N 11. - С. 89-93. - Библиогр.: с. 93 . - ISSN 0021-3446

ГРНТИ	27.17
УДК	512.531

ББК 22.14
Рубрики: Математика
   Алгебра
   Языкознание
   Прикладное языкознание
Кл.слова (ненормированные):
свободные бернсайдовы полугруппы -- бернсайдовы полугруппы -- проблема равенства слов -- равенство слов -- термины -- теория формальных языков -- теория полугрупп -- полугруппы (математика) -- формальные языки -- рациональные языки -- операции над языками -- гипотеза Бжозовского -- Бжозовского гипотеза
Аннотация: Исследуется проблема равенства слов для свободных бернсайдовых полугрупп с тождеством.

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

811.8
Л 248

Лапшин, Владимир Анатольевич (кандидат физико-математических наук).
Открытые языки и их машинные реализации [Текст] / В. А. Лапшин // Научно-техническая информация. Сер. 2, Информационные процессы и системы. - 2011. - N 11. - С. 10-19 : Ил.: 1 рис. - Библиогр.: с. 19 (17 назв. ). - Примеч. в сносках . - ISSN 0548-0027

УДК

811.8

81'32

ББК 81.8 + 81.1
Рубрики: Языкознание
Искусственные языки
Математическая лингвистика
Кл.слова (ненормированные):
бесконечно ориентированные графы -- графы -- естественные языки -- изменчивость языка -- искусственные языки -- контекстно-свободные грамматики -- онтология языка -- ориентированные графы -- открытые языки -- отображения языков -- программная поддержка -- семантический уровень -- синтаксис языкового контекста -- совместимые отображения -- формальные языки -- язык регулярных выражений -- языковые контексты -- языки программирования -- язык C++
Аннотация: Рассматривается проблема машинной реализации открытого языка. Обсуждаются вопросы программной поддержки основного свойства открытых языков - их изменчивости - на каждом уровне их представления: лексическом, синтаксическом, семантическом. Сформулировано математическое определение открытого языка как потенциально бесконечного ориентированного графа, вершинами которого являются языки (в классическом теоретико-множественном представлении), а ребра между вершинами представляют собой отображения языков, совместимые с отображениями их алфавитов (определение совместимого отображения также сформулировано в данной работе).

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

11/12
Ф 535

Филипповский, Виталий Александрович.
Понятие существования в формальных языках [Текст] / В. А. Филипповский // Известия Уральского федерального университета. Сер. 3. Общественные науки. - 2012. - № 1 (100). - С. 25-32. - Библиогр.: с. 31-32 (10 назв.) . - ISSN 2227-2291

УДК

11/12

81-11

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

Доп.точки доступа:
Рассел, Бертран (1872-1970); Куайн, Уиллард (1908—2000)

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

81.1
Г 823

Грибова, Валерия Викторовна (доктор технических наук; старший научный сотрудник; заведующий лабораторией интеллектуальных систем).
Контекстно-зависимые грамматики искусственных языков / В. В. Грибова, А. С. Клещев, Д. А. Крылов // Научно-техническая информация. Серия 2, Информационные процессы и системы. - 2013. - № 6. - С. 1-9 : Ил.: 9 рис. - Библиогр.: с. 9 (4 назв. ) . - ISSN 0548-0027

УДК

81.1

811.8

ББК 81.1 + 81.8
Рубрики: Языкознание
Математическая лингвистика
Искусственные языки
Кл.слова (ненормированные):
искусственный язык -- контекстно-свободная грамматика -- контекстно-зависимая грамматика -- логическая семантика -- порождающая семантика -- формальные языки -- модели языка
Аннотация: Представлен математический аппарат для описания контекстно-зависимых грамматик искусственных языков - их синтаксиса, логической и порождающей семантик. Даются примеры, демонстрирующие применимость предложенного аппарата; модель формальных языков (порождающих грамматик Хомского) сравнивается с моделью искусственных языков, введенных в данной работе.

Доп.точки доступа:
Клещев, Александр Сергеевич (доктор физико-математических наук; профессор, главный научный сотрудник ИАПУ ДВО РАН, г. Владивосток); Крылов, Дмитрий Александрович (ведущий инженер-программист лаборатории интеллектуальных систем ИАПУ ДВО РАН, г. Владивосток)

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

81'32
М 545

Методы анализа семантических данных математических электронных коллекций / Е. В. Биряльцев [и др.]. // Научно-техническая информация. Серия 2, Информационные процессы и системы. - 2014. - № 4. - С. 12-17 : Ил.: 1 рис. - Библиогр.: с. 16 (19 назв. ). - Примеч. в сносках . - ISSN 0548-0027

УДК

81'32

004.9:002

519.256

ББК 81.1 + 73 + 73
Рубрики: Языкознание
   Математическая лингвистика
   Информатика
   Информационные системы с базами знаний
   Информационно-поисковые системы. Банки данных
Кл.слова (ненормированные):
автоматическая обработка текстов -- анализ данных -- аннотирование -- базы знаний -- извлечение метаданных -- математические документы -- математические журналы -- математические тексты -- математические формулы -- математические электронные ресурсы -- метаданные -- облачные сервисы -- онтологии -- онтологические модели -- открытые связанные данные -- парадигма активных документов -- поиск информации -- предметные области -- программные платформы -- проект LOD -- семантическая информация -- семантическая обработка текстов -- семантическая публикация данных -- семантические данные -- семантические модели -- семантический поиск -- семантическое аннотирование -- управление данными -- формальные языки -- электронные ресурсы -- ADP -- Active Document Paradigm -- Linked Open Data -- LOD проект -- MathLang -- OMDoc -- OntoMath -- RDF-данные
Аннотация: Дан обзор ключевых подходов к семантической обработке математических текстов. Представлен прототип программной платформы для организации электронного хранилища математических документов, в основе которого лежит модель открытых связанных данных (Linked Open Data, LOD), семантическая информация используется для управления данными, включая поиск по фрагментам формул. Анализ математических документов и извлечение из них семантической информации проведены на базе электронной коллекции статей журнала "Известия вузов. Математика" за 1995-2009 гг. с использованием специализированных онтологий, представления метаданных в формате RDF (Resourse Description Flamework) и интеграции с существующими наборами LOD.

Доп.точки доступа:
Биряльцев, Евгений Васильевич (кандидат технических наук; заведующий лабораторией); Елизаров, Александр Михайлович (доктор физико-математических наук; профессор; заместитель директора; заслуженный деятель науки Республики Татарстан); Жильцов, Никита Геннадьевич (научный сотрудник); Липачев, Евгений Константинович (кандидат физико-математических наук; доцент); Невзорова, Ольга Авенировна (кандидат технических наук; заместитель директора); Соловьев, Валерий Дмитриевич (доктор физико-математических наук; профессор; заведующий кафедрой); Институт механики и математики им. Н. И. Лобачевского Казанского федерального университета. Лаборатория Научно-исследовательского центра "НИИ математики и механики им. Н. Г. Чеботарева"; Институт механики и математики им. Н. И. Лобачевского Казанского федерального университета; Институт вычислительной математики и информационных технологий Казанского федерального университета; Институт механики и математики им. Н. И. Лобачевского Казанского федерального университета; Институт семиотики АН Республики Татарстан; Институт вычислительной математики и информационных технологий Казанского федерального университета

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

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