Buchumschlag

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

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	1952
Hauptverfasser:	Pilchak, B. Yu., Пильчак, Б. Ю.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Institute of Mathematics, NAS of Ukraine 1952
Online Zugang:	https://umj.imath.kiev.ua/index.php/umj/article/view/6638
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Ukrains’kyi Matematychnyi Zhurnal
Завантажити файл:

Institution

Ukrains’kyi Matematychnyi Zhurnal

Ähnliche Einträge

Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
von: Крывый, С.Л., et al.
Veröffentlicht: (2008)

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

Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2008)

Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

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

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

Об одном классе задач идентификации динамических объектов
von: Айда-заде, К.Р., et al.
Veröffentlicht: (2008)

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

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

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

Об одном классе обратных задач для разрывных систем
von: Айда-заде, К.Р., et al.
Veröffentlicht: (2008)

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

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

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

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

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

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

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

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

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

Об одном методе построения последовательных приближений для исследования многоточечных краевых задач
von: Перестнюк, Н.А., et al.
Veröffentlicht: (1995)

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

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

Об одном варианте линеаризованной теории нестационарных краевых задач со свободной границей
von: Луковский, И.А., et al.
Veröffentlicht: (1996)

Об областях с регулярными сечениями
von: Зелинский, Ю.Б.
Veröffentlicht: (2005)

Итерационный метод решения краевых задач теории распространения космических лучей
von: Шахов, Б.А., et al.
Veröffentlicht: (2006)

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

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

Сучасні тенденції у вирішенні задач виявлення та розпізнавання об′єктів на зображеннях
von: Лисенко, Геннадій Леонідович, et al.
Veröffentlicht: (2017)

Об одном обобщении понятия аналитической функции
von: Lopatinsky, Ya. B., et al.
Veröffentlicht: (1950)

Математическая модель описания некорректно поставленных задач
von: Гончаренко, Ю.Ю.
Veröffentlicht: (2014)

Решение краевых задач на дискретных клеточных нейронных сетях
von: Нестеренко, Б.Б., et al.
Veröffentlicht: (2008)

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

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

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

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

Численное решение задач оптимального управления нелинейными динамическими системами
von: Рагимов, А.Б.
Veröffentlicht: (2012)

Унифицированный подход к решению задач морфизма на графах
von: Ильяшенко, М.Б.
Veröffentlicht: (2008)

Об устранимых граничных множества
von: Трохимчук, Ю. Ю., et al.
Veröffentlicht: (1952)

Реалізація Grid-інфраструктури для розв’язання задач обробки супутникових даних
von: Шелестов, А.Ю., et al.
Veröffentlicht: (2006)