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

Конструктивний алгоритм зворотного методу для числення висловлювань

A general scheme of the inverse method by S. Maslov for the sentential calculus is considered. A line of heuristic strategies and rules of conclusion on reduction of search and a constructive algorithm for the inverse method for the sentential calculus are described.

Збережено в:

Бібліографічні деталі
Дата:	2018
Автор:	Dotsenko, V. A.
Формат:	Стаття
Мова:	Українська
Опубліковано:	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2018
Онлайн доступ:	http://journal.iasa.kpi.ua/article/view/127655
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	System research and information technologies

Репозитарії

System research and information technologies

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

Конструктивний алгоритм зворотного методу для числення висловлювань
за авторством: Доценко, В.А.
Опубліковано: (2007)

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

МЕТОД ТА АЛГОРИТМ МНОЖЕННЯ У ДВОВИМІРНІЙ СИСТЕМІ ЧИСЛЕННЯ МАТРИЧНОГО РАДЕМАХЕРА
за авторством: Круцкевич, О. Д., та інші
Опубліковано: (2021)

Розробка Web-прототипу для аналізу висловлювань користувачів соціальної мережі Twitter
за авторством: Глибовець, А.М., та інші
Опубліковано: (2014)

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

Про один конструктивний тип давньоруських укріплень в Середньому Подніпров’ї
за авторством: Кучера, М.П.
Опубліковано: (1969)

Інтенціональність висловлювань та способи їх художнього функціонування у драматичних етюдах Олександра Олеся
за авторством: Малютіна, Н.
Опубліковано: (2004)

Про конструктивний аналітично-числовий метод розв'язування плоскої задачі для пластини з кутовими точками
за авторством: Ревенко, В.П.
Опубліковано: (2009)

Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
за авторством: Shkilniak, S.S.
Опубліковано: (2015)

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

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

Вали як конструктивний елемент укріплень Чернігівського дитинця ХІ-XVIIІ ст.
за авторством: Ігнатенко, І.М.
Опубліковано: (2013)

Операторне числення Вейля в узагальнених алгебрах Пелі–Вінера
за авторством: Lozynska, V. Ya.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Опубліковано: (2024)

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

Аномалії зворотного магнетопластичного ефекту в магнійтермічному берилійовому конденсаті
за авторством: Курек, Є.І., та інші
Опубліковано: (2014)

Принцип зворотного зв’язку в українській політичній комунікації
за авторством: Трухачов, О.
Опубліковано: (2007)

Алгоритм апроксимації функцій з використанням методу Дж. Зойтендейка
за авторством: Кряжич, О.О.
Опубліковано: (2016)

Стиснення двійкових послідовностей на основі системи числення Штерна-Броко
за авторством: Глинчук, Л.Я.
Опубліковано: (2010)

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

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

Репліка (З приводу висловлювань М. Хвильового про вплив Т. Шевченка на формування психології українського народу)
за авторством: Маланюк, Є.
Опубліковано: (1997)

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

Правове регулювання механізмів зворотного зв’язку на місцевому рівні
за авторством: Масич, В.В.
Опубліковано: (2012)

Гібридний алгоритм методу ітерацій на підпросторі для розв’язання задач стійкості конструкцій
за авторством: Чистяков, Олексій Валерійович
Опубліковано: (2017)

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

Конструктивний опис моногенних функцiй у скiнченновимiрних комутативних алгебрах
за авторством: Шпакiвський, В.С.
Опубліковано: (2015)

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2017)

Референдум як інструмент зворотного зв’язку: світові тенденції та Україна
за авторством: Масич, В.В.
Опубліковано: (2011)

Багатофункціональний блок подразнення зворотного гортанного нерва у задачі його ідентифікації
за авторством: Дивак, Микола Петрович, та інші
Опубліковано: (2020)

Використання когерентного зворотного розсіювання світла для оцінювання рівномірності розподілу абразивних частинок у полірувальному інструменті
за авторством: Ящук, В.П., та інші
Опубліковано: (2009)

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

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

Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі
за авторством: Хіміч, О.М., та інші
Опубліковано: (2020)

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

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

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

Вплив зворотного зв’язку на синергетичний ефект управління транспортно-логістичною системою
за авторством: Бажан, Л.І., та інші
Опубліковано: (2017)

Концепція застосування електроміографії у програмно-апаратному комплексі виявлення зворотного гортанного нерва
за авторством: Дивак, М.П., та інші
Опубліковано: (2025)

Удосконалена процедура зворотного зв’язку з експертом під час визначення пріоритетності критеріїв
за авторством: Каденко, С.В.
Опубліковано: (2012)

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