Cover Image

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

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

Saved in:

Bibliographic Details
Date:	1952
Main Authors:	Pilchak, B. Yu., Пильчак, Б. Ю.
Format:	Article
Language:	Russian
Published:	Institute of Mathematics, NAS of Ukraine 1952
Online Access:	https://umj.imath.kiev.ua/index.php/umj/article/view/6638
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Ukrains’kyi Matematychnyi Zhurnal
Download file:

Institution

Ukrains’kyi Matematychnyi Zhurnal

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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