Зображення обкладинки

Категорії як формальні моделі обчислень

Various formal models of calculations are considered. In particular, recursive functions, fuzzy&nbsp;models and categorical models. It is shown how functions are calculated based on such models. In&nbsp;each of these models, the concept of number and basic arithmetic operations are i...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2023
Автори:	Provotar, Oleksandr, Ilkun, Oleksandr
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України 2023
Теми:	категорія нечітка множина рекурсивна функція
Онлайн доступ:	https://www.fmmit.lviv.ua/index.php/fmmit/article/view/313
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Physico-mathematical modeling and informational technologies
Завантажити файл:

Репозитарії

Physico-mathematical modeling and informational technologies

Схожі ресурси

Позитивістський підхід щодо розкриття сутності категорії «праворозуміння»
за авторством: Луцький, Р.П.
Опубліковано: (2011)

Національний суверенітет: трансформація наукової категорії та правового явища
за авторством: Волошина, Ю.В.
Опубліковано: (2011)

Методологічні аспекти тлумачення змісту категорії «механізм правового захисту»
за авторством: Свиридюк, Н.П.
Опубліковано: (2011)

Формальні нейронні структури
за авторством: Ільман, В.М., та інші
Опубліковано: (2012)

ВИКОРИСТАННЯ РЕКУРСИВНОЇ МАРШРУТИЗАЦІЇ ДЛЯ РЕЗЕРВУВАННЯ ТА БАЛАНСУВАННЯ НАВАНТАЖЕННЯ МІЖ КАНАЛАМИ ДЛЯ РОЗПОДІЛЕНОЇ ГЕТЕРОГЕННОЇ МЕРЕЖІ ПІДПРИЄМСТВА НА ПРИКЛАДІ МЕРЕЖІ ІНМ НАН УКРАЇНИ.
за авторством: Скворцов, Іван, та інші
Опубліковано: (2023)

Дослідження адекватності інтервальних нечітких моделей типу 2 в задачах ідентифікації складних об’єктів
за авторством: Kondratenko, Natalia R., та інші
Опубліковано: (2019)

Кластеризація векторних та матричних масивів даних із використанням комбінованого еволюційного методу рибних зграй
за авторством: Bodyanskiy, Yevgeniy, та інші
Опубліковано: (2022)

Про двокритеріальну оптимізацію портфеля акцій
за авторством: Garashchenko, Fedir G., та інші
Опубліковано: (2017)

Оптимальна диверсифікація портфеля акцій за ринкових обмежень
за авторством: Kulian, Victor R., та інші
Опубліковано: (2020)

Формальні методи розпаралелювання алгоритму Тар'яна
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2008)

Трансляція міфу про Адоніса (змістово-формальні аспекти)
за авторством: Мегела, І.
Опубліковано: (2009)

Право як право або евристика правозапитування
за авторством: Костенко, О.Б.
Опубліковано: (2011)

Право як відображення розвитку суспільних відносин
за авторством: Балаклицький, І.І.
Опубліковано: (2011)

Справедливість як основоположна цінність природного права
за авторством: Кравцов, І.В.
Опубліковано: (2011)

Юридична конструкція як структурний елемент правотворчої діяльності
за авторством: Зінченко, О.В.
Опубліковано: (2011)

Узагальнювальна інтервальна нечітка модель типу-2 для моніторингу станів складних систем з використанням експертних знань
за авторством: Kondratenko, Nataliia, та інші
Опубліковано: (2023)

Деякі підходи до розуміння дисципліни як суспільного феномена
за авторством: Мозолюк-Боднар, Л.М.
Опубліковано: (2011)

Підвищення рівня правосвідомості як форма правового самовиховання студентської молоді
за авторством: Осташова, В.О.
Опубліковано: (2011)

Реалізація правових норм як передумова додержання та зміцнення правопорядку
за авторством: Ступак, А.Л.
Опубліковано: (2011)

Реалізація права як ефективний засіб досягнення мети правового регулювання
за авторством: Макаренко, Л.О.
Опубліковано: (2011)

Правова доктрина як статичний елемент романо-германської правової сім'ї: сутність та значення
за авторством: Сунєгін, С.О.
Опубліковано: (2011)

РОЗРОБКА ПІДХОДУ ДО ПЕРЕВІРКИ АДЕКВАТНОСТІ МОДЕЛІ ПРИЙНЯТТЯ РІШЕНЬ З НЕЧІТКИМИ ПАРАМЕТРАМИ
за авторством: Шаригін, О. А.
Опубліковано: (2013)

Формальні та адаптивні методи й інструментальні засоби паралельного програмування
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2017)

Оптимізація на загальній множині перестановок зі знаком
за авторством: Pichugina, Oksana S.
Опубліковано: (2017)

Прогнозування емісії SO2 вулкана Кілауеа з використанням інтелектуального методу аналізу даних
за авторством: Zabielin, Stanislav
Опубліковано: (2019)

Неповнота арифметики і теорія діофантових множин
за авторством: Hupal, Anatolii, та інші
Опубліковано: (2023)

Оцінка вартості як економічної категорії
за авторством: Артеменко, Д.М.
Опубліковано: (2019)

Функціональні послідовності з нечітким аргументом: збіжність множин рівня
за авторством: Spectorsky, Igor Ya.
Опубліковано: (2019)

Нормативно-правовий зміст та конструктивне значення поняття суспільного договору
за авторством: Кабанець, Н.І.
Опубліковано: (2011)

Правове навчання та праворозуміння: сутнісні ознаки ефективності
за авторством: Іщук, І.В.
Опубліковано: (2011)

Теоретико-правові засади в діяльності правоохоронних органів в Україні
за авторством: Зінченко, В.М.
Опубліковано: (2011)

Формування інституту юридичної відповідальності в англо-американській правовій сім'ї
за авторством: Аземша, І.Б.
Опубліковано: (2011)

Становлення соціальної функції сучасної держави
за авторством: Данич, О.Ф.
Опубліковано: (2011)

Джерела (форми) станового права крізь призму середньовічного праворозуміння
за авторством: Ромінський, Є.В.
Опубліковано: (2011)

Поняття праворозуміння та його основні напрями
за авторством: Шакірзянова, І.В.
Опубліковано: (2011)

Механізм зближення національних правових систем в контексті загальної концепції праворозуміння
за авторством: Ротару, А.В.
Опубліковано: (2011)

Середньовічне праворозуміння: акценти та особливості пізнання
за авторством: Бондарук, Т.І.
Опубліковано: (2011)

До питання про розуміння європейського права: теоретичний аспект
за авторством: Стрєльцова, О.В.
Опубліковано: (2011)

Сучасний стан та перспективи розвитку правового життя в Україні
за авторством: Куціпак, О.В.
Опубліковано: (2011)

Теоретико-методологічні засади формування сучасної доктрини «глобального конституціоналізму»
за авторством: Львова, Є.О.
Опубліковано: (2011)