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

Об исчислении задач

В настоящей статье рассматриваются некоторые исчисления матема тической логики, не содержащие закона исключенного третьего.

Збережено в:

Бібліографічні деталі
Дата:	1952
Автори:	Pilchak, B. Yu., Пильчак, Б. Ю.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Institute of Mathematics, NAS of Ukraine 1952
Онлайн доступ:	https://umj.imath.kiev.ua/index.php/umj/article/view/6638
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Ukrains’kyi Matematychnyi Zhurnal
Завантажити файл:

Репозитарії

Ukrains’kyi Matematychnyi Zhurnal

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

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

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

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

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

Об одном способе решения квазилинейных краевых задач
за авторством: Брижатюк, Е.В.
Опубліковано: (1984)

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

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

Об одном способе классификации статистических измерительных задач
за авторством: Мирошниченко, И.В.
Опубліковано: (2012)

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

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

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

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

Об усреднении нелинейных эллиптических задач с неоднородными условиями
за авторством: Скрыпник, И.И.
Опубліковано: (1995)

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

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

Дослідження функцій ураження об'єктів різних класів для задач цілерозподілу
за авторством: Комарова, Л.О., та інші
Опубліковано: (2012)

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

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

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

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

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

Смешанно-гибридная схема метода конечных элементов для решения задач об изгибе, собственных колебаниях и устойчивости пластин
за авторством: Чирков, А.Ю.
Опубліковано: (2008)

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

Об одном возможном методе повышения эффективности решения обратных задач каротажного зондирования
за авторством: Миронцов, Н.Л.
Опубліковано: (2012)

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

Інтелектуалізація обчислень для задач математичного моделювання складних процесів і об’єктів
за авторством: Сидорук, В.А., та інші
Опубліковано: (2019)

Об областях с регулярными сечениями
за авторством: Зелинский, Ю.Б.
Опубліковано: (2005)

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

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

Об отображении проективного пространства в сферу
за авторством: Зелинский, Ю.Б.
Опубліковано: (2010)

Сучасні тенденції у вирішенні задач виявлення та розпізнавання об′єктів на зображеннях
за авторством: Лисенко, Геннадій Леонідович, та інші
Опубліковано: (2017)

Об одном обобщении понятия аналитической функции
за авторством: Lopatinsky, Ya. B., та інші
Опубліковано: (1950)

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

Щільність множини задач Коші з неєдиними розв'язками у множині всіх задач Коші
за авторством: Слюсарчук, В.Ю.
Опубліковано: (2012)

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

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

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

Новий підхід до вирішення задач управління режимами магістральних мереж об'єднаних енергетичних систем
за авторством: Lenchevsky Ye.A., та інші
Опубліковано: (2001)

Модифікація методів ройового інтелекту для задач оптимізації складних процесів, об’єктів і систем
за авторством: Khaidurov, Vladyslav, та інші
Опубліковано: (2025)

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