Buchumschlag

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

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.

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
1. Verfasser:	Dotsenko, V. A.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2018
Online Zugang:	http://journal.iasa.kpi.ua/article/view/127655
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	System research and information technologies

Institution

System research and information technologies

Ähnliche Einträge

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

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

МЕТОД ТА АЛГОРИТМ МНОЖЕННЯ У ДВОВИМІРНІЙ СИСТЕМІ ЧИСЛЕННЯ МАТРИЧНОГО РАДЕМАХЕРА
von: Круцкевич, О. Д., et al.
Veröffentlicht: (2021)

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

Конструктивний опис моногенних функцій в скінченновимірній напівпростій комутативній алгебрі
von: Плакса, С.А., et al.
Veröffentlicht: (2014)

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

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

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

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

Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2012)

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

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

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

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

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

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

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

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

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

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

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

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

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

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

Метод інтервального аналізу енергетичного спектру інформаційного сигналу для задачі ідентифікації зворотного гортанного нерва
von: Дивак, М.П., et al.
Veröffentlicht: (2014)

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

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)

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

Багатофункціональний блок подразнення зворотного гортанного нерва у задачі його ідентифікації
von: Дивак, Микола Петрович, et al.
Veröffentlicht: (2020)

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

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

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

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

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

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

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

Вплив зворотного зв’язку на синергетичний ефект управління транспортно-логістичною системою
von: Бажан, Л.І., et al.
Veröffentlicht: (2017)

Концепція застосування електроміографії у програмно-апаратному комплексі виявлення зворотного гортанного нерва
von: Дивак, М.П., et al.
Veröffentlicht: (2025)

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

Можливості зворотного осмосу низького тиску в очищенні природних вод від мінерального азоту
von: Гончарук, В.В., et al.
Veröffentlicht: (2010)