Buchumschlag

О некоторых свойствах теоретико-множественных моделей теории лямбда

Данная работа посвящена исследованию возможности построения теоретико-множественных моделей теории лямбда на базе понятий слабо и сильно непрерывной функции, предложенных автором. В статье доказывается, что, отталкиваясь от понятия слабо непрерывной функции, нельзя строить модели теории лямбда с пом...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2008
1. Verfasser:	Лялецкий, А.А.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2008
Schlagworte:	Обчислювальні системи
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/46821
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	О некоторых свойствах теоретико-множественных моделей теории лямбда / А.А. Лялецкий // Мат. машини і системи. — 2008. — № 4. — С. 10-22. — Бібліогр.: 8 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

О свойствах циклов в модульных нейронных сетях
von: Куссуль, М.Э., et al.
Veröffentlicht: (2005)

О проблеме распараллеливания вычислений
von: Деревянченко, А.В., et al.
Veröffentlicht: (2004)

Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции
von: Асельдеров, З.М., et al.
Veröffentlicht: (2003)

Математическая модель функциональной среды РІМ-системы на основе теории нечетких множеств и теории гранулирования
von: Елисеева, Е.В., et al.
Veröffentlicht: (2009)

Определение адекватности моделей сложных дискретных систем
von: Нестеренко, Б.Б., et al.
Veröffentlicht: (2008)

Задача теории игр с нечеткой платежной матрицей
von: Серая, О.В., et al.
Veröffentlicht: (2012)

Реконфигурируемые PIM-системы: методология построения, примеры моделей
von: Яковлев, Ю.С.
Veröffentlicht: (2007)

От информатики к теории чисел. ІІІ. Основная теорема, результаты, сравнения
von: Йоцов, В.С.
Veröffentlicht: (2003)

Геометрические методы в теории нейронной ассоциативной памяти: опыт разработки алгоритма кластеризации
von: Новицкий, Д.В.
Veröffentlicht: (2004)

Ефективність застосування онтологічних моделей для побудови програмних систем
von: Буров, Є.В.
Veröffentlicht: (2013)

Построение нейро-нечетких моделей по прецедентам с хэширующим преобразованием на обобщенную ось
von: Субботин, С.А.
Veröffentlicht: (2015)

О природе интеллекта
von: Резник, А.М.
Veröffentlicht: (2008)

О применении компьютерных систем с кольцевыми шинами для полунатурного моделирования в реальном масштабе времени
von: Яковлев, Ю.С., et al.
Veröffentlicht: (2018)

О представлении эписемионов в системе обратимых преобразований
von: Беляев, А.К., et al.
Veröffentlicht: (2010)

О представлении арифметических функций в системе обратимых преобразований абстрактного регистра
von: Беляев, А.К., et al.
Veröffentlicht: (2011)

О контроле соблюдения конфиденциальности компьютерных систем
von: Сеспедес Гарсия, Н.В.
Veröffentlicht: (2015)

Задача о построении образов двумерной мозаики
von: Самер И.М. Альшаламе
Veröffentlicht: (2006)

О полноте описания скоростных возможностей макроконвейерной ЭВМ
von: Мороз-Подворчан, И.Г.
Veröffentlicht: (2008)

Решение матричной задачи о математическом сейфе с различными замками
von: Чжан, Бинь
Veröffentlicht: (2006)

О концепции построения распределенных баз данных информационно-поисковых систем
von: Яковлев, Ю.С.
Veröffentlicht: (2003)

О некоторых свойствах семейств астероидов
von: Голубева, Л.Ф., et al.
Veröffentlicht: (1985)

Эксперименты с дедуктивным тестированием реактивных систем
von: Летичевский, А.А. (мл.)
Veröffentlicht: (2013)

Виктор Михайлович Глушков и его школа
von: Гринченко, Т.А., et al.
Veröffentlicht: (2006)

Бортовой мобильный аудио и медиа комплекс информационно-психологического влияния
von: Морозов, А.А., et al.
Veröffentlicht: (2008)

О некоторых симметрийных свойствах периодических решений
von: Ронто, А.Н., et al.
Veröffentlicht: (2003)

Распределенная технология глобального управления
von: Сапатый, П.С., et al.
Veröffentlicht: (2010)

Развитие ускорителей специализированных вычислений
von: Якуба, А.А., et al.
Veröffentlicht: (2010)

Создание единой системы социальной информации (ЕССИ) – Болгарской ОГАС
von: Морозов, А.А., et al.
Veröffentlicht: (2013)

АНАЛИТИК-2007
von: Морозов, А.А., et al.
Veröffentlicht: (2007)

Объединение преимуществ пассивной и активной балансировки нагрузки в рамках комплексной системы планирования для динамически распараллеливаемых программ
von: Левченко, Р.И., et al.
Veröffentlicht: (2010)

Некоторые проблемные вопросы разработки искусственного мозга
von: Ященко В.А., В.А.
Veröffentlicht: (2018)

Случайность и возможность: современные подходы
von: Бычков, А.С., et al.
Veröffentlicht: (2012)

Применение метода контролируемого возмущения для модификации нейроконтроллеров в реальном времени
von: Дзюба, Д.А., et al.
Veröffentlicht: (2011)

Метод анализа иерархий при создании базы знаний экспертных систем оценки техногенной опасности
von: Серебровский, А.Н.
Veröffentlicht: (2008)

Метод извлечения обучающих выборок из исходных выборок большого объема для диагностирования и распознавания образов
von: Субботин, С.А.
Veröffentlicht: (2013)

Задача авторегулирования перераспределением пропускной способности пакетного коммутатора между его портами
von: Кочергин, Ю.А.
Veröffentlicht: (2006)

К вопросу восприятия и распознавания образов в системах искусственного интеллекта
von: Ященко, В.А.
Veröffentlicht: (2012)

Кодирование и восстановление последовательностей
von: Антоненко, А.О.
Veröffentlicht: (2006)

Комплекс характеристик и критериев сравнения обучающих выборок для решения задач диагностики и распознавания образов
von: Субботин, С.А.
Veröffentlicht: (2010)

Этические проблемы формирования глобального информационного пространства
von: Гринченко, Т.А.
Veröffentlicht: (2007)