Добірка наукової літератури з теми "Математична логіка"

Метою статті є дослідити особливості формування логіки у контексті напрямів її розвитку в Україні, виявити спільні та відмінні персоналії в історії філософії та історії логіки на початку ХХ століття. Методологічними засадами дослідження стали історичний, компаративний методи та метод аналогії. Наукова новизна. Наприкінці ХІХ століття в межах логічної проблематики існувала велика кількість напрямів: логіка формальна, логіка індуктивна, логіка і теорія знання, логіка математична, психологічний напрямок у логіці. Розвиток логіки як філософської дисципліни вийшов за межі академічного філософствування. Вдалим прикладом існування кількох напрямів розвитку логіки в одному вітчизняному вищому навчальному закладі є Новоросійський (Одеський) університет. Вагомими були здобутки професорів кафедри філософії Р. Орбінського, М. Грота, М. Ланге. Утім, утвердження напряму математичної логіки у вітчизняній науці відбулось завдяки професорам математики Новоросійського (Одеського) університету. Професор І. Слешинський перетворив університет у осередок популяризації математичної логіки й дослідження проблем алгебри логіки та об’єднав навколо зазначених наукових проблем молодих учених − С. Шатуновського, Є. Буніцького, В. Кагана, І. Тимченко. Проте поступ математичної логіки у Новоросійському університеті був призупинений у результаті переїзду І.Слешинського до Польщі, еміграції Є. Буніцького. Висновки. Історико-філософська реконструкція логічних досліджень у контексті розвитку вітчизняної математичної логіки на початку ХХ століття виявляє наукові дослідження поза межами академічного філософствування та фіксує вагомі досягнення професорів математики І. Слешинського, Є. Буніцького, С. Шатуновського у популяризації математичної логіки та формування окремого напряму досліджень.

Панішева О. В. Трансформація змісту навчальних дисциплін як одна з необхідних умов підготовки компетентного фахівця. У статті розглянуто шляхи трансформації змісту дисципліни «Основи алгоритмізації та математична логіка» задля формування професійних компетентностей майбутніх інженерів-програмистів та вчителів інформатики.

Актуальність теми визначається потребою вивчення логіки у профільній школі, формування вмінь розв’язувати логічні завдання за допомогою різних методів, порівнювати їх та обирати той метод, який допоможе отримати правильний результат швидше за інші. Вміння розв’язувати логічні задачі вчать учнів правильно визначати умову завдання, логічні вислови, співставляти їх та порівнювати, приходити до правильного висновку, використовуючи дані задачі та власні розв’язки. У зв’язку з цим об’єктом статті є логічні задачі, а предметом статті – математична логіка. Мета статті – розглянути та проаналізувати розв’язування деяких логічних задач за допомогою різних методів. Відповідно до мети, основним завданням статті є визначення найраціональнішого методу розв’язання логічних задач. У результаті дослідження було розглянуто такі методи розв’язання логічних задач як метод міркувань, метод таблиць та метод блок-схем.

Статтю присвячено теоретичному обґрунтуванню методики підвищення рівня математичних здібностей у дітей дошкільного віку за допомогою сюжетно-рольових ігор. Проаналізовано досліджувану проблему, з’ясовано сутність понять «математичний розвиток», «математичні здібності», виявлено їх особливості. Проаналізувавши та систематизувавши терміни, поняття та категорії математичного розвитку дітей дошкільного віку, ми отримали можливість розгледіти рангову взаємозалежність між поняттями в процесі математичного розвитку дітей. Це дало змогу узагальнити сутність поняття «математичний розвиток», визначивши його як процес якісних і кількісних змін в інтелектуальній сфері особистості, які виникають у результаті формування в дитини елементарних математичних уявлень, понять, а також пов’язаних із ними логічних операцій. Конкретизовано критерії, показники та рівні розвитку логіко-математичної компетентності дітей дошкільного віку загалом та математичних здібностей у сучасних умовах. Розроблено й обґрунтовано методику підвищення рівня математичних здібностей у дітей дошкільного віку за допомогою сюжетно-рольових ігор. Визначено, що ефективність методики забезпечуватиметься за умов створення педагогом розвивального комфортного середовища в умовах закладу дошкільної освіти для забезпечення ефективності процесу розвитку математичних здібностей; реалізації конструктивної взаємодії педагогів і батьків у процесі логіко-математичного розвитку; врахування вікових та індивідуальних особливостей розвитку дітей дошкільного віку в процесі розвитку математичних здібностей; упровадження поетапної методики підвищення розвитку математичних здібностей у дітей.

У статті автор висвітлює та аргументує деякі підходи сучасних вітчизняних й зарубіжних учених та результати власного педагогічного досвіду до вивчення якості логіко-математичного розвитку дітей старшого дошкільного віку. У контексті цього питання розглядається структура та зміст діагностичної методики, побудова, організація й забезпечення процесу контролю та оцінювання якості математичних знань та умінь дітей. Автор характеризує структуру діагностичної методики й виокремлює в ній відповідні напрями: 1) вивчення рівня освітніх досягнень дитини, накопичення фактичних даних, які відображатимуть такі їх складові: мотиваційна, інформаційна та процесуальна; 2) вивчення впливу організаційно-педагогічних умов, створених вихователем під час проведення занять з математики та інших педагогічних заходів, на якість математичного розвитку дітей, завдяки цілеспрямованому спостереженню та аналізу його результатів; 3) вивчення методичного керівництва математичним розвитком дітей у закладах дошкільної освіти, завдяки аналізу педагогічної документації. Отже, діагностична методика включає: спостереження за діяльністю дітей в ситуаціях, де вони самостійно й адекватно використовують математичні знання та відповідні уміння; індивідуальні бесіди з дітьми та виконання ними відповідних завдань; анкетування вихователів та вивчення педагогічної документації, яка презентує шляхи методичного керівництва розвитком професійної майстерності педагогів у закладах дошкільної освіти. Результати досвідно-пошукової роботи автора статті свідчать про те, що якість математичного розвитку є відносною характеристикою як освітнього процесу в цілому, так і розвитку окремої дитини. Важливою характеристикою математичного розвитку малюка, є елементарна математична компетентність, яка передбачає наявність знань про кількість і число, форму, величину, простір , час, а також уміння застосовувати ці знання в різних життєвих ситуаціях; виявлення в дітей самостійності, самооцінки, самоконтролю, позитивного ставлення до математичної дійсності, пізнавального інтересу тощо. Ці показники надаватимуть педагогові можливість оцінювати якість математичного розвитку дитини, будувати на цій основі розвивальні індивідуальні програми для кожного малюка. Ключові слова: математичний розвиток якість математичних знань та умінь; діагностична методика.

У статті з’ясовано суть поняття професійно-орієнтована задача, проаналізовано проблему впровадження професійно-орієнтованих задач у навчальний процес як основного компонента фундаментальної математичної підготовки випускників технічних університетів та коледжів. Проаналізовано математичні компетентності, запропоновані вітчизняними та закордонними дослідниками, на основі проведеного аналізу виділено математичні компетентності фахівців технічних спеціальностей: логіко-аналітична, візуально-образна, iнформацiйно-комп’ютерна, дослідницька; інтелектуальна, конструкторська, прогностична. Запропоновано перелік фахово-спрямованих математичних компетентностей, які є критеріями фундаментальної математичної підготовки: концептуальної, операційно-алгоритмічної, застосовної, конструкторської. Проаналізовано основні види діяльності, що здійснюють студенти під час розв’язання професійно-орієнтованих задач: аналітична, графічно-обчислювальна, дослідницька, наведено їх вплив формуванням професійно-спрямованих математичних компетентностей. У дослідженні перераховано вимоги до професійно-орієнтованих математичних задач, наведено приклад професійно-орієнтованої задачі, проаналізовано взаємозв’язок між розв’язанням професійно-орієнтованих задач і формуванням професійно-спрямованих компетентностей.

Стаття підготовлена на актуальну тему, що пов’язана з підвищенням ефективності функціонування підсистеми підвезення матеріальних засобів логістичної системи на основі моделювання логістичних процесів забезпечення військ з використанням логіко-математичних моделей. Для ефективного забезпечення матеріальними засобами військ необхідно застосовувати логістичний підхід, військову логістику. При логістичному підході до забезпечення матеріальними засобами військ створюється логістична система. Логістична систем функціонує як організаційно-господарський механізм управління матеріальними та інформаційними потоками. Як правило, вона складається з кількох підсистем і має розвинуті зв’язки із зовнішнім середовищем. Мета логістичної системи, це доставка у визначені терміни, у задане місце необхідної кількості та асортименту максимально підготовлених матеріальних засобів при мінімальних витратах. Це важливе завдання вирішується підсистемою підвезення матеріальних засобів. Розглядаються питання удосконалення підсистеми підвезення матеріальних засобів, як складової логістичної систем, на основі моделювання процесу підвезення матеріальних засобів військам. На основі проведеного аналізу застосування математичного моделювання щодо забезпечення військ (сил) Збройних Сил України на сучасному етапі розвитку визначена проблема розроблення логіко-математичної моделі підсистеми підвезення матеріальних засобів військам. Запропонована логіко-математична модель надає змогу визначити термін підвезення матеріальних засобів військам під час операції. У статті проведений опис процесу моделювання цієї підсистеми з використанням логічних функцій. Наприкінці сформульовані напрямки подальших досліджень у цьому напрямку, які пов’язані з розробленням логіко-математичних моделей інших процесів забезпечення військ.

У статті розкрито поняття «обдарованість». Проаналізовано психолого-педагогічну та методичну літературу з окресленої проблеми. Визначено, що палички Кюїзенера, блоки Дьєнеша, кубики Нікітіна допомагають розвивати математичну обдарованість дітей старшого дошкільного віку. Особливістю формування логіко-математичної компетентності є насиченість освітнього процесу проблемними життєвими ситуаціями практичного характеру за допомогою ігрових методів та методів прямого навчання, які активізують пізнавальні інтереси дітей дошкільного віку, розкривають передумови логічного мислення, вправляють вихованців у використанні набутих знань із математики. З’ясовано, що математика – це явище загальнолюдської культури, одна з найбільш важливих галузей знання сучасної людини. Обдарованість – якісно своєрідне поєднання здібностей, яке зумовлює діапазон інтелектуальних можливостей дитини, своєрідність її діяльності і розвивається протягом усього її життя. Характерними особливостями математично обдарованих дітей є висока пізнавальна активність, розвинений інтелект, багата фантазія, творчість, винахідливість, чітка моторна координація, фізична стабільність. Однією з найважливіших умов розвитку обдарованості дітей є формування пізнавального інтересу, під впливом якого з’являються такі важливі компоненти навчання, як активний пошук, здогад, дослідницький підхід, готовність до виконання завдань. Робота з обдарованими дітьми вимагає належної змістовної наповненості занять, зорієнтованості на новизну інформації, на різноманітні види пошукової, аналітичної, розвивальної, творчої діяльності. Навчати дошкільника розмірковувати – одне з важливих педагогічних завдань, яке необхідно розв’язувати в контексті особистісного розвитку дитини загалом та логіко-математичного зокрема. Творчість дітей, новизна й оригінальність діяльності виявляються тоді, коли вони самостійно ставлять проблему і знаходять способи її розв’язання. При цьому постійно зростає рівень творчості, намагання знаходити оптимальні співвідношення всіх видів діяльності, щоб одержати найкращі результати.

Стаття присвячена проблемі розвитку логіко-математичних здібностей молодших школярів засобами логічних завдань. Розроблено систему варіативних логіко-математичних завдань для формування зацікавлення учнів початкових класів математикою, логікою, а також по

У статті проаналізовано структуру логіко-математичної компетентності дітей дошкільного віку. Обґрунтовано основні шляхи вдосконалення змісту навчання дітей дошкільного віку логіко-математичних понять. Розкрито основні завдання педагога у формуванні логіко-математичного розвитку дітей дошкільного віку.

Використання відкритих світових мереж (наприклад, в рамках Open Course Ware Consortium) в навчально-науковому процесі заохочують передові університети світу на розробку відкритих освітянських курсів та викладення їх у вільному доступі [1–2]. Це надає додаткові можливості в одержанні якісної освіти за рахунок поєднання навчання у своєму «рідному» університеті з віртуальним навчанням у таких всесвітньовідомих університетах, як наприклад, Кембридж або Оксфорд. З іншого боку, цей процес впливає і на викладачів, що розроблюють свої власні курси, бо це процес конкурентний.

Розглядаються питання визначення математичної логіки. Symbolic logic is a section of formal logic in which logical inferences are explored through logical calculi based on a strict symbolic language. The mathematician is characterized by the widespread use of symbolism. Writing logical reasoning in the form of mathematical symbols gives the evidence a more concise, simple form. Formal logic operates with statements (our speech also consists of them)

Дисертація присвячена питанню антипомпажного керування газоперекачувальним агрегатом. Проведено комплексний аналіз та узагальнення існуючих методів та засобів, призначених для синтезу систем автоматичного антипомпажного регулювання газоперекачувальних агрегатів, визначено основні напрямки їх розвитку й удосконалення. Розроблено основні принципи побудови і функціонування ПІ-фазі-регулятора та багатопараметричного ПІД-фазі-регулятора в складі системи автоматичного антипомпажного регулювання. Розроблено динамічну математичну модель явища помпажу в відцентровому нагнітачі газоперекачувального агрегату з врахуванням перепуску газу через антипомпажний клапан. Розроблено алгоритм моделювання процесу синтезування системи антипомпажного регулювання. Розроблено узагальнену статичну математичну модель відцентрового нагнітача газоперекачувального агрегату для сукупності газодинамічних характеристик. На основі функцій спектральних щільностей ступеня підвищення тиску газу та продуктивності нагнітача визначено функцію передачі відцентрового нагнітача газоперекачувального агрегату. Здійснено постановку задачі синтезу оптимальної за швидкодією підсистеми автоматичного антипомпажного регулювання. Сформульовано постановку задачі синтезу регулятора підсистеми автоматичного антипомпажного регулювання на основі використання оператора обернення. На основі функції передачі відцентрового нагнітача розроблено моделі багатопараметричних ПІДД2-, ПЩЦ2ДЗ'регуляторів і метод синтезу таких регуляторів. Розроблено структури ПДЦ2-, ПДПД-регуляторів, функція передачі яких обернена до функції передачі об’єкта керування. Здійснено синтез оптимального за швидкодією закону керування відцентровим нагнітачем газоперекачувального агрегату з газотурбінним приводом. Розроблено та синтезовано ПІДД2-, ПІ-фазі-регулятор та ПІД-регулятор з фазі-блоком автоматичного налаштування коефіцієнтів. Розроблено імітаційну модель відцентрового нагнітача газоперекачувального агрегату з урахуванням антипомпажного клапану. Проведено імітаційне моделювання з розробленими регуляторами та здійснено їх порівняльний аналіз.
Диссертация посвящена вопросу антипомпажного управления газоперекачивающим агрегатом. Проведен комплексный анализ и обобщение существующих методов и средств, предназначенных для синтеза систем автоматического антипомпажного регулирования газоперекачивающих агрегатов, определены основные направления их развития и совершенствования. Разработаны основные принципы построения и функционирования ПИ-фази-регулятора и многопараметрического ПИД-фази-регулятора в составе системы автоматического антипомпажного регулирования. Разработана динамическая математическая модель явления помпажа в центробежном нагнетателе газоперекачивающего агрегата с учетом перепуска газа через антипомпажный клапан. Разработан алгоритм моделирования процесса синтезирования системы антипомпажного регулирования. Разработана обобщенная статическая математическая модель центробежного нагнетателя газоперекачивающего агрегата для совокупности газодинамических характеристик. На основе функций спектральных плотностей степени повышения давления газа и производительности нагнетателя определены функции передачи центробежного нагнетателя газоперекачивающего агрегата. Осуществлена постановка задачи синтеза оптимальной по быстродействию подсистемы автоматического антипомпажного регулирования. Сформулирована постановка задачи синтеза регулятора подсистемы автоматического антипомпажного регулирования на основе использования оператора обращения. На основе функции передачи центробежного нагнетателя разработаны модели многопараметрических ПИДД2-, ПИДД2ДЗ-регуляторов и метод синтеза таких регуляторов. Разработаны структуры ПДД2-, ПДПД-регуляторов, функция передачи которых обратная к функции передачи объекта управления. Осуществлен синтез оптимального по быстродействию закона управления центробежным нагнетателем газоперекачивающего агрегата с газотурбинным приводом. Разработан и синтезирован ПИДД2-, ПИ-фази-регулятор и ПИД-регулятор с фази-блоком автоматической настройки коэффициентов. Разработана имитационная модель центробежного нагнетателя газоперекачивающего агрегата с учетом антипомпажного клапана. Проведено имитационное моделирование с разработанными регуляторами и осуществлен их сравнительный анализ.
The thesis is devoted to antisurge control of gas pumping units. A comprehensive analysis and synthesis of existing methods and tools, designed to synthesize subsystems of automatic antisurge regulation of gas compressor units, are conducted and the main directions for their development and improvement are defined. Basic principles of construction and operation of the Pl-fuzzy-regulator and multiparametric PID-fuzzy-regulator as a part of the subsystem of automatic antisurge control are developed. The dynamic mathematical model of the surge phenomenon in the centrifugal pumping unit supercharger with the account of the gas bypass through the antisurge valve is designed. The algorithm of the synthesis process modeling of the antisurge regulation subsystem is implemented. The generalized mathematical static model of the centrifugal pumping unit supercharger for a set of gas-dynamic characteristics is designed. On the basis of the spectral density functions of the gas compression ratio and supercharger performance, the transfer function of the centrifugal pumping unit supercharger is determined. The synthesis problem of the time optimal subsystem of automatic antisurge control is stated. The synthesis problem statement of the subsystem regulator of automatic antisurge control, based on the inversion operator usage, is formulated. Based on the transfer function of the centrifugal supercharger, the models of multiparametric PIDD2- and PIDD2D3-regulators, as well as the method for these regulators synthesis, are developed. The structures of the PDD2- and PDPD-regulators, the transfer function of which is inverse to the transfer function of the control object, are designed. The synthesis of the optimal time control law of the centrifugal pumping unit supercharger with the gas turbine drive is conducted. The PIDD2- and Pl-fUzzy-regulator, as well as the PID regulator with the fuzzy block of automatic adjustment of coefficients, are developed and synthesized. The simulation model of the centrifugal pumping unit supercharger with the account of the antisurge valve is designed. The simulation modeling of the developed regulators is conducted and their comparative analysis is carried out.

За останні роки кіберспортивна дисципліна стрімко рвонула вперед. Тому зацікавленість у ній теж зросла. На сьогоднішній день молодь дуже стрімко розвивається й шукає для себе найбільш цікавий соціум, сферу, де вона буде почувати себе комфортно й отримувати задоволення. Однією з таких сфер є кіберспорт. Розглянемо дві досить відомі комп’ютерні ігри у світі : Dota 2 та Counter-Strike.

Єрмоленко, О. П. Модуль генерації математичної моделі компетенцій на базі логіки антонімів : дипломна робота : 121 - Інженерія програмного забезпечення / О. П. Єрмоленко ; керівник роботи І. В. Білоус ; НУ "Чернігівська політехніка", кафедра інформаційних технологій та програмної інженерії. – Чернігів, 2021. – 78 с.
Об’єкт розробки – модуль генерації математичної моделі компетенцій на базі логіки антонімів. В результаті роботи модуль має наступний функціонал: − графічне створення моделі; − додавання підрівнів; − збереження та відновлення моделі з файлу; − зміна діаметру вершин; − вибір типу з’єднання вершин; − генерація математичної моделі. Для функціонування модулю необхідна операційна система Windows з встановленим .NET Framework версії не нижче 4.7. Модуль був реалізований за допомогою технологій C#. Модуль була розроблена у середовищі розробки Visual Studio. Модуль може бути в подальшому розширений у функціональності, збільшення максимальної кількості підрівнів, додавання нових типів зв’язків.
The object of development is Module for generating a mathematical model of competencies based on the logic of antonyms. As a result, the application has the following functionality: − graphic creation of the model; − adding sublevels; − save and restore the model from a file; − change the diameter of the vertices; − select the type of connection of vertices; − generation of a mathematical model; The module requires a Windows operating system with the .NET Framework version at least 4.7 installed. The module was implemented using C # technology. The module was developed in the Visual Studio development environment. The module can be further expanded in functionality, increasing the maximum number of sublevels, adding new types of connections.

Дисертація присвячена питанням розробки методу і алгоритмів оптимального керування процесом компримування природного газу. В дисертації комплексно вирішені задачі: побудови моделей нагнітачів природного газу на основі індуктивного методу моделювання; ранжирування нагнітачів за їх технічним станом на основі методу нечіткого висновку і визначення коефіцієнтів завантаження газоперекачувального обладнання; оптимізації роботи КС за вартісним критерієм, який враховує енергетичні витрати на компримування газу, обмеження на технологічні параметри та коефіцієнти завантаження нагнітачів; синтезу системи оптимального керування газоперекачувальними агрегатами. Розв’язок цих задач у сукупності забезпечує економію енергоресурсів на компримування природного газу у розмірі 0.19грн/1000 ст.м3. Програмне забезпечення задачі оптимального керування оформлене у вигляді прикладного програмного модуля, інтегрованого у Сitect НМI верхнього рівня системи керування на прикладі Долинского ЛВУМГ. Основні результати роботи пройшли промислову апробацию на КС УМГ "Прикарпаттрансгаз", а також впроваджені у навчальний процес.
Диссертация посвящена вопросам разработки метода и алгоритмов оптимального управления процессом компримирования природного газа. Выбрано и обосновано направление исследований с целью создания методов и алгоритмов оптимального функционирования КС. Изложена методика проведения экспериментальных исследований для получения материала с целью построения эмпирических моделей. Разработана методика ранжирования газоперекачивающих агрегатов по их техническому состоянию на основе метода нечеткого вывода, что позволит экономить эксплуатационные затраты по перекачке природного газа. Основными параметрами, которые определяют техническое состояние ГПА, выбрано: скорость накопления продуктов отработки в моторном масле, коэффициент технического состояния нагнетателя по политропному к.п.д., коэффициент технического состояния газотурбинного двигателя по мощности, виброскорость и виброперемещение. Для построения математических моделей процесса компримирования газа избран индуктивный метод моделирования, который основан на принципе самоорганизации моделей. Поставлена и решена задача оптимального управления процессом компримирования природного газа, исходя из реального технического состояния нагнетателей, минимальных расходов на процесс и ограничений на технологические параметры. Задача оптимального управления состоит из нескольких подзадач. На первом этапе решена подзадача определения коэффициентов технического состояния каждого из нагнетателей. На втором этапе решена подзадача выбора необходимого количества агрегатов. На третьем этапе рассчитаны коэффициенты загрузки каждого из нагнетателей и найдены режимы их работы, которые обеспечивают необходимую производительность станции, с учетом ограничений на технологические параметры и минимальные энергетические затраты на эксплуатацию агрегатов. Программное обеспечение задачи оптимального управления оформлено в виде прикладного программного модуля, интегрированного в Сitect НМI верхнего уровня компьютерной системы управления на примере Долинского ЛПУМГ. Основные результаты работы прошли промышленную апробацию на КС УМГ "Прикарпаттрансгаз", а также внедрены в учебный процесс.
The dissertation deals with the development of methods and algorithms for optimal control of natural gas compressing process. The following problems have been solved in the dissertation: - Mathematical models for natural gas compressors have been created on the basis of information gained in the process of the compressor’s normal operating by means of the objective method of modeling; - Ranging of compressors according to their technical condition has been made by means of fuzzy logic method and load factors have been calculated that make possible to decrease expenses on natural gas transporting; - Compression station operating has been optimized on the basis of cost criterion that make possible to take into account power expenses on gas compression, technological parameter limits and load factors; - The system of optimal control for natural gas compressor’s operating has been designed. Software of optimal control system has been designed as the applied program module integrated in Citect HMI SCADA-systcm of control of natural gas compression process.

Підручник містить основні розділи дискретної математики: теорія мно-жин, теорія відношень, математична логіка, алгебраїчні структури, автома-ти, алгоритми, формальні мови та гра-матики, теорія графів та комбінатори-ка.

В роботі запропоновано використання даних дистанційного зондування Землі щодо підтримки прийняття управлінських рішень органами державної влади при проведенні земельно-кадастрових робіт на тимчасово окупованих територіях у Донецькій, Луганській областях та в Криму на основі використання теорії категорій. Надані пропозиції щодо підтримки прийняття управлінських рішень органами державної влади при проведенні земельно-кадастрових робіт на тимчасово окупованих територіях. Запропоновано обрати методи теорії категорій, які дозволяють у вигляді об'єктів категорії використовувати такі математичні конструкції, як висловлювання, предикати тощо. Розроблено метод підтримки прийняття управлінських рішень органами державної влади при проведенні земельно-кадастрових робіт на тимчасово окупованих територіях з використанням даних дистанційного зондування Землі, математичні конструкції теорії категорій та логіки предикатів, які відображають відношення в структурованому та логічному вигляді. Запропоновано додатково використовувати методи ройового інтелекту, які представлено модулем в системі підтримки прийняття рішень, при обробці вхідних даних. Наведено послідовність дій розробленого методу. Напрямком подальших досліджень є перевірка реалізуємості запропонованих варіантів управлінських рішень при проведенні земельно-кадастрових робіт на тимчасово окупованих територіях.