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

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

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)

Алгоритм проходження контуром об’єкта з використанням зворотного ходу
за авторством: Березький, О.М., та інші
Опубліковано: (2009)

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

Конфлікт висловлювань у поемі "Марія" Тараса Шевченка
за авторством: Білоус, О.
Опубліковано: (2010)

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

Числення контекстних термів для систем переписування
за авторством: Шевченко, P.C.
Опубліковано: (2018)

Логіко-семантичний аналіз Доналда Девідсона висловлювань про дії
за авторством: Алексюк, І.А.
Опубліковано: (2009)

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

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

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

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

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

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

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

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

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

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

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

Інтертекст як конструктивний чинник множинного втілення суб’єкта монодрами Ю.Щербака “Стіна”
за авторством: Шаповал, М.
Опубліковано: (2009)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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