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

Новые доказательства важных теорем бестипового экстенсионального λ–исчисления

Построены новые доказательства двух теорем бестипового экстенсионального λ-исчисления: теоремы Карри о том, что произвольный λ-терм имеет βŋ-нормальную форму тогда и только тогда, когда он имеет β-нормальную форму, и теоремы нормализации для βŋ-редукции. Приведенный подход базируется на двух широко...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2014
Автор:	Лялецкий, А.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2014
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/115820
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Новые доказательства важных теорем бестипового экстенсионального λ–исчисления / А.А. Лялецкий // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 53-63. — Бібліогр.: 5 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Новые клеточные методы умножения матриц
за авторством: Елфимова, Л.Д.
Опубліковано: (2013)

Новые быстрые гибридные алгоритмы умножения матриц
за авторством: Елфимова, Л.Д.
Опубліковано: (2011)

Новые средства альтернативной коммуникации для людей с ограниченными возможностями
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2016)

Новые равновесия для игр с побочными интересами участников
за авторством: Смольяков, Э.Р.
Опубліковано: (2016)

Особенности методики исчисления себестоимости продукции лесопитомников
за авторством: Котлячков, О.В., та інші
Опубліковано: (2016)

Блокчейн и криптовалюты на основании "доказательства точности"
за авторством: Кудин, А.М.
Опубліковано: (2017)

Блокчейн и криптовалюты на основании «доказательства точности»
за авторством: Кудин, Антон Михайлович
Опубліковано: (2017)

Применение исчисления внешних дифференциальных форм в термодинамике. Часть 1. Основные положения термодинамики и теория потенциалов в представлении исчисления внешних дифференциальных форм
за авторством: Шелест, В.В., та інші
Опубліковано: (2017)

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

Обобщение некоторых теорем суммирования
за авторством: Serebryakov, B. G., та інші
Опубліковано: (1952)

Не комутативний аналог теорем Коена
за авторством: Забавский, Б.В.
Опубліковано: (1996)

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

Метод автоматического построения онтологических баз знаний. II. Автоматическое определение семантических отношений в онтологической сети
за авторством: Марченко, А.А.
Опубліковано: (2016)

Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений
за авторством: Галкин, А.А.
Опубліковано: (2016)

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

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

Афинно-инвариантный классификатор экстраполяционной глубины на основе многоуровневой структуры сглаживания
за авторством: Галкин, А.А.
Опубліковано: (2016)

Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
за авторством: Марченко, А.А.
Опубліковано: (2016)

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

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

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

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

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

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

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

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

Свойства предикатного трансформера системы VRS
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)

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

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

Определение семантических валентностей концептов онтологий с помощью неотрицательной факторизации тензоров больших текстовых корпусов
за авторством: Анисимов, А.В., та інші
Опубліковано: (2014)

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

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

Робастная идентификация нелинейных объектов с помощью эволюционирующей радиально-базисной сети
за авторством: Руденко, О.Г., та інші
Опубліковано: (2013)

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

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

О некоторых аналогах теорем Лузина и Геринга
за авторством: Ефимушкин, А.С., та інші
Опубліковано: (2014)

Про деякі аналоги теорем Шура та Бера
за авторством: Діксон, М.Р., та інші
Опубліковано: (2014)

Одно замечание по поводу теорем Пэли и Стейна
за авторством: Кириллов, С.А.
Опубліковано: (2000)

Про застосування теорем існування до асимптотичних розкладів
за авторством: Хома, Л.Г.
Опубліковано: (1994)

Помехоустойчивое префиксное кодирование с помощью нижнего (2,3)-представления чисел
за авторством: Анисимов, А.В., та інші
Опубліковано: (2014)