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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Математичні машини і системи
Дата:	2008
Автор:	Лялецкий, А.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2008
Теми:	Обчислювальні системи
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/46821
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	О некоторых свойствах теоретико-множественных моделей теории лямбда / А.А. Лялецкий // Мат. машини і системи. — 2008. — № 4. — С. 10-22. — Бібліогр.: 8 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

О свойствах циклов в модульных нейронных сетях
за авторством: Куссуль, М.Э., та інші
Опубліковано: (2005)

О проблеме распараллеливания вычислений
за авторством: Деревянченко, А.В., та інші
Опубліковано: (2004)

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

Математическая модель функциональной среды РІМ-системы на основе теории нечетких множеств и теории гранулирования
за авторством: Елисеева, Е.В., та інші
Опубліковано: (2009)

Определение адекватности моделей сложных дискретных систем
за авторством: Нестеренко, Б.Б., та інші
Опубліковано: (2008)

Задача теории игр с нечеткой платежной матрицей
за авторством: Серая, О.В., та інші
Опубліковано: (2012)

Реконфигурируемые PIM-системы: методология построения, примеры моделей
за авторством: Яковлев, Ю.С.
Опубліковано: (2007)

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

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

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

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

О природе интеллекта
за авторством: Резник, А.М.
Опубліковано: (2008)

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

О геометрической классификации преобразований абстрактного регистра
за авторством: Беляев, А.К., та інші
Опубліковано: (2012)

О представлении эписемионов в системе обратимых преобразований
за авторством: Беляев, А.К., та інші
Опубліковано: (2010)

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

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

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

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

К вопросу о верхней границе ускорения в макроконвейерной ЭВМ
за авторством: Мороз-Подворчан, И.Г.
Опубліковано: (2008)

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

Решение матричной задачи о математическом сейфе с различными замками
за авторством: Чжан, Бинь
Опубліковано: (2006)

Эксперименты с дедуктивным тестированием реактивных систем
за авторством: Летичевский, А.А. (мл.)
Опубліковано: (2013)

Виктор Михайлович Глушков и его школа
за авторством: Гринченко, Т.А., та інші
Опубліковано: (2006)

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

Разрешенные и запрещенные архитектуры модульных сетей
за авторством: Куссуль, М.Э., та інші
Опубліковано: (2005)

Средства сбора и предварительной обработки данных с использованием ПЛИС для технологических компьютерных систем и сетей
за авторством: Яковлев, Ю.С., та інші
Опубліковано: (2017)

Военная роботика: обзор, проблемы, возможные решения
за авторством: Морозов, А.А., та інші
Опубліковано: (2015)

О некоторых свойствах семейств астероидов
за авторством: Голубева, Л.Ф., та інші
Опубліковано: (1985)

Распределенная технология глобального управления
за авторством: Сапатый, П.С., та інші
Опубліковано: (2010)

Развитие ускорителей специализированных вычислений
за авторством: Якуба, А.А., та інші
Опубліковано: (2010)

Создание единой системы социальной информации (ЕССИ) – Болгарской ОГАС
за авторством: Морозов, А.А., та інші
Опубліковано: (2013)

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

АНАЛИТИК-2007
за авторством: Морозов, А.А., та інші
Опубліковано: (2007)

О некоторых симметрийных свойствах периодических решений
за авторством: Ронто, А.Н., та інші
Опубліковано: (2003)

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

Вычисление информационного содержания данных на основе их симметрийного анализа
за авторством: Макаренко, А.С, та інші
Опубліковано: (2008)

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

Случайность и возможность: современные подходы
за авторством: Бычков, А.С., та інші
Опубліковано: (2012)

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