Научная библиотека СГЮА

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

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

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

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

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

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

Эсзел, Дж.
Программное обеспечение для изучения формальной логики: визуализация ограничений и следствий как механизм научения [Текст] / Эсзел Дж. [и др. ] // Дистанционное и виртуальное обучение. - 2004. - N 11. - С. . 58-59. - 0; визуализация ограничений и следствий как механизм научения. - 0; Software That Assists Learning Within a Complex Abstract Domain: the Use of Constraint and Conseguentiality as Learning Mechanism. - RUMARS-divo04_000_011_0058_1. - Реф. на ст.: 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

УДК

^a371.66:004.3

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

Доп.точки доступа:
Фунг, П.; Борнат, Р.; Оливер, М.; О'Ши Т.; Суфрин, Б.
Нет сведений об экземплярах (Источник в БД не найден)

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

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

УДК

^a1

^a81-11

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

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

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

УДК

^a1

^a81'33

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

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

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

УДК

^a11/12

^a16

^a81-11

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

Доп.точки доступа:
Рассел, Б. (1872-1970); Куайн, У. (1908—2000)
Нет сведений об экземплярах (Источник в БД не найден)

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

Гаврилов, Сергей Николаевич (кандидат юридических наук; кандидат исторических наук).
"Новый язык для нового закона": машиночтение права в контексте семиотической парадигмы [Текст] / С. Н. Гаврилов // Актуальные проблемы российского права. - 2022. - Т. 17, № 10. - С. 124-140. - Библиогр. в конце ст. . - ISSN 1994-1471

УДК

^a340.1

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

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

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

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

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