Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Вечирская И$<.>) |
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
|
| | | | |
1. |
Вечирская И. Д. О методе нахождения IBnD-ого линейного логического преобразования / И. Д. Вечирская, Ю. П. Шабанов-Кушнаренко // Искусств. интеллект. - 2007. - № 3. - С. 382-389. - Библиогр.: 9 назв. - рус. Індекс рубрикатора НБУВ: З810.2
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Четвериков Г. Г. Формальное описание логического пространства / Г. Г. Четвериков, И. Д. Вечирская // Искусств. интеллект. - 2008. - № 3. - С. 781-789. - Библиогр.: 16 назв. - рус.Развита теория логического поля, логического векторного пространства, что позволяет определить класс задач, решаемых с помощью линейных логических преобразований. Приведена предикатная интерпретация логического пространства, которая является в свою очередь промежуточным этапом между формализацией естественно-языковой задачи и ее программной реализацией. Індекс рубрикатора НБУВ: З973-018.21
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Вечирская И. Д. Расслоение предикатов на примере словоизменения прилагательных русского языка / И. Д. Вечирская, Т. Н. Федорова, Г. Г. Четвериков // Искусств. интеллект. - 2009. - № 3. - С. 170-177. - Библиогр.: 12 назв. - рус.Представлен метод трехслойной декомпозиции n-арных предикатов, объединяющий декомпозицию отношений на уровне предикатов и на уровне переменных. Разработана модель представления словоизменения прилагательных русского языка. Проведена интерпретация метода расслоения предиката, описывающего отношение между первой, второй и третьей буквой окончания. Індекс рубрикатора НБУВ: Ш141.12-22 + Ш141.12-212.2*20
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Четвериков Г. Г. Математическое описание словоизменительной классификации грамматических категорий в итальянском языке / Г. Г. Четвериков, И. Д. Вечирская, Т. Н. Федорова // Искусств. интеллект. - 2012. - № 4. - С. 264-271. - Библиогр.: 7 назв. - рус.Рассмотрена проблема построения формализованных словоизменительных классификаций на примере итальянского языка. Приведена система признаков (грамматических категорий), которые определяют словоизменение указанных классов слов. При разработке модели учитываются все значения, которые эти признаки (категории) могут принимать. Індекс рубрикатора НБУВ: Ш147.31-210 с51
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Четвериков Г. Г. Дискретные структуры : учеб. пособие для студентов, обучающихся по направлениям "Компьютер. науки" и "Приклад. математика" / Г. Г. Четвериков, З. В. Дударь, И. Д. Вечирская; Харьков. нац. ун-т радиоэлектроники. - Харьков, 2014. - 319 c. - Библиогр.: с. 296-300 - рус.Рассмотрена связь между логикой и философией, а также расскрыты базовые понятия компьютерной лингвистики как основы для формализации языковых аспектов. Приведена информация о формах абстрактного (логического) мышления. Подробно освещены вопросы, связанные с простым категорическим силлогизмом (формами и модусами), сокращенным категорическим силлогизмом (энтимемой), сложными и сложносокращенными силлогизмами (полисиллогизмами, соритами). Охарактеризованы условные и разделительные умозаключения, условно-разделительные умозаключения (лемматические: дилеммы и трилеммы). Представлены простейшие методы доказательства, которые базируются на основных логических законах. Даны представления исчислений высказываний генценовского и гильбертовского типов. Рассмотрены вопросы логики и исчисления предикатов. Проанализированы основные элементы теории чисел. Изложены вопросы, связанные с понятием вычислительной сложности. Індекс рубрикатора НБУВ: Ю4 я73
Рубрики:
Шифр НБУВ: ВА788147 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Четвериков Г. Г. Разработка программной системы электронного трёхъязычного словаря / Г. Г. Четвериков, И. Д. Вечирская, А. С. Пузик // Системи оброб. інформації. - 2016. - Вип. 7. - С. 157-164. - Библиогр.: 10 назв. - рус.Рассмотрена разработка программной системы русско-украинско-английского терминологического словаря. Входными данными являются отсканированные и распознанные документы в формате MSWord. Проанализированы ошибки, возникающие при синтаксическом анализе входных данных, и указаны пути их устранения при помощи регулярных выражений. Приведена и детально описана схема лексикографической базы данных словаря, описаны классы модели данных и классы модели представления системы. Кроме этого, представлено подробное описание программной системы с точки зрения пользователя, а также обозначены перспективы использования как самого словаря, так и методов его построения. Программная система построена с использованием шаблона проектирования Model-View-ViewModel. Благодаря использованию данного шаблона интерфейс пользователя отделён от логики программы, что позволяет осуществлять независимые изменения отдельных частей программной системы. Разработанная программная система позволяет редактировать, наполнять и таким образом создавать новые тематические переводные электронные словари. Преимуществом системы является равноправие языков, т.е. в каждом отдельном случае пользователь назначает сам какой из языков будет главным. Індекс рубрикатора НБУВ: З973-018.1 + Ш111.4
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
|
|