Log in

Relevant bibliographies by topics / Теорія алгоритмів і математична логіка / Journal articles

To see the other types of publications on this topic, follow the link: Теорія алгоритмів і математична логіка.

Journal articles on the topic 'Теорія алгоритмів і математична логіка'

Author: Grafiati

Published: 28 May 2022

Last updated: 30 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 17 journal articles for your research on the topic 'Теорія алгоритмів і математична логіка.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Філєр, Залмен Юхимович, та Олександр Миколайович Дрєєв. "Міжпредметні зв’язки у розвитку алгоритмічного мислення". New computer technology 5 (10 листопада 2013): 92–93. http://dx.doi.org/10.55056/nocote.v5i1.100.

Full text

Abstract:

Математика розвиває алгоритмічне мислення. До Фалеса математика була рецептурно-догматичною, набором алгоритмів для розв’язання типових задач. Давньогрецька математика виробила систему аксіом й методи логічного виведення з них теорем. Рецептура замінювалася доказовими алгоритмами, одним з яких був алгоритм Евкліда. Знаходження найбільшого спільного дільника, який дає й розвинення звичайного дробу в ланцюговий і побудову двосторонніх наближень.У школі некваліфіковані вчителі не дають чітких алгоритмів розв’язання типових задач, хоча не всі діти здатні до швидких “творчих” знахідок й тому не вмі

APA, Harvard, Vancouver, ISO, and other styles

2

Яковлєва, Ольга, та Юлія Банна. "ПРИКЛАДИ ВИКОРИСТАННЯ ГРАФІВ ПРИ РОЗВ’ЯЗАННІ МАТЕМАТИЧНИХ І ЛОГІЧНИХ ЗАДАЧ У 5-6 КЛАСАХ". Education. Innovation. Practice 11, № 9 (2023): 79–85. http://dx.doi.org/10.31110/2616-650x-vol11i9-011.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

3

БУЦЕНКО, Юрій, та Володимир ЛАБЖИНСЬКИЙ. "МАШИННИЙ АНАЛІЗ НЕКОНТРОЛЬОВАНИХ ПАРАМЕТРІВ ПРОМИСЛОВИХ СИСТЕМ В РЕЖИМІ РЕАЛЬНОГО ЧАСУ НА ОСНОВІ НЕЧІТКОЇ ЛОГІКИ". Information Technology: Computer Science, Software Engineering and Cyber Security, № 2 (10 січня 2023): 12–23. http://dx.doi.org/10.32782/it/2022-2-2.

Full text

Abstract:

Проведено комплексне дослідження та визначено загальні теоретичні засади використання машинного аналізу неконтрольованих параметрів промислових систем в режимі реального часу на основі теорії нечіткої логіки. В основу запропонованої математичної моделі було покладено класифікацію, яка включає у себе три типи нечітких множин: нечітку множину першого порядку, нечітку множину другого порядку та інтервальну нечітку множину другого порядку. Для кожного зі згаданих типів множин було побудовано математичний апарат, що повною мірою відображає її особливості, але при цьому характеризується мінімальною

APA, Harvard, Vancouver, ISO, and other styles

4

Hridasov, Illia, Hennadii Khudov, Irina Khizhnyak, Mykola Yaloveha та Vitalii Burkov. "ОПТИМІЗАЦІЯ МАРШРУТУ РУХУ БЕЗПІЛОТНОГО ЛІТАЛЬНОГО АПАРАТУ ЛІТАКОВОГО ТИПУ ПРИ ПОШУКУ ПОВІТРЯНОГО СУДНА, ЯКЕ ЗАЗНАЛО ЛИХА ІЗ ВИКОРИСТАННЯМ РІВНОМІРНО-ОПТИМАЛЬНОЇ СТРАТЕГІЇ ПОШУКУ". Системи управління, навігації та зв’язку. Збірник наукових праць 2, № 80 (2025): 5–12. https://doi.org/10.26906/sunz.2025.2.005.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

5

Дранишников, Л. В. "НЕЧІТКЕ МОДЕЛЮВАННЯ В СИСТЕМАХ УПРАВЛІННЯ". Математичне моделювання, № 1(46) (14 червня 2022): 7–15. http://dx.doi.org/10.31319/2519-8106.1(46)2022.258341.

Full text

Abstract:

Застосування лінійних пропорційно-інтегрально-диференціальних (ПІД) регуляторів у системах управління нелінійними об'єктами найчастіше призводить до низької якості процесу регулювання, що характеризується великими значеннями перерегулювання, статичною помилкою та/або часом перехідного процесу. Системи управління характеризуються, як правило, нелінійними залежностями, складною для моделювання динамікою, наявністю неконтрольованих шумів та перешкод. Класична теорія управління базуються на ідеї лінеаризації систем. Тому найефективнішою є розробка систем управління на основі адаптивного підх

APA, Harvard, Vancouver, ISO, and other styles

6

Круглова, Наталія Володимирівна, та Олександр Олександрович Диховичний. "ДОБІР МАТЕМАТИЧНОЇ МОДЕЛІ ДЛЯ АНАЛІЗУ ТЕСТОВИХ ЗАВДАНЬ ТИПУ «ВБУДОВАНІ ВІДПОВІДІ» З МАТЕМАТИЧНИХ ДИСЦИПЛІН". Information Technologies and Learning Tools 87, № 1 (2022): 166–84. http://dx.doi.org/10.33407/itlt.v87i1.4487.

Full text

Abstract:

У статті досліджується питання вибору математичної моделі для аналізу комп’ютерних тестів з математичних дисциплін. Особливістю даного дослідження є розгляд тестових завдань типу «вбудовані відповіді». Такі тестові завдання мають декілька пов’язаних за певною логікою «кроків» і були використані саме для дистанційного контролю знань з математичних дисциплін під час карантину в НТУУ «Київський політехнічний інститут імені Ігоря Сікорського». Введення таких завдань у тест ставить перед викладачем питання: як аналізувати якість таких тестів? Автори побудували дослідження на основі загальновідомих

APA, Harvard, Vancouver, ISO, and other styles

7

ПЛАХТІЙ, Маріанна, та Тетяна СУЛЯТИЦЬКА. "ІСТОРІЯ УКРАЇНСЬКОЇ ФІЛОСОФІЇ ТА ІСТОРІЯ ЛОГІКИ: СПІЛЬНІ ТА ВІДМІННІ ПЕРСОНАЛІЇ". Human Studies a collection of scientific articles Series of «Philosophy», № 44 (20 травня 2022): 235–47. http://dx.doi.org/10.24919/2522-4700.44.15.

Full text

Abstract:

Метою статті є дослідити особливості формування логіки у контексті напрямів її розвитку в Україні, виявити спільні та відмінні персоналії в історії філософії та історії логіки на початку ХХ століття. Методологічними засадами дослідження стали історичний, компаративний методи та метод аналогії. Наукова новизна. Наприкінці ХІХ століття в межах логічної проблематики існувала велика кількість напрямів: логіка формальна, логіка індуктивна, логіка і теорія знання, логіка математична, психологічний напрямок у логіці. Розвиток логіки як філософської дисципліни вийшов за межі академічного філософствува

APA, Harvard, Vancouver, ISO, and other styles

8

Янев, Николай. "А. Н. Колмогоров -- 120 години от неговото рождение". Mathematics and Education in Mathematics 52 (1 квітня 2023): 25–36. http://dx.doi.org/10.55630/mem.2023.52.25-36.

Full text

Abstract:

Андрей Николаевич Колмогоров (1903–1987) заема уникално място в съвременната математика и в научния свят. Той напомня класическите естествени учени от миналите векове с разнообразието и широчината на научните си изследвания - теория на тригонометричните редове, теория на мярката и множествата, изследвания в теорията на интеграцията, теория на апроксимацията, конструктивна логика, топология и геометрия, функционален анализ, теория на суперпозицията на функции и 13-та задача на Хилберт, теория на кохомологията, теми в класическата механика, ергодична теория, теория на турбулентността, динамични

APA, Harvard, Vancouver, ISO, and other styles

9

Karaieva, Nataliia, та Larysa Levchenko. "МЕТОДОЛОГІЧНІ ЗАСАДИ УПРАВЛІННЯ СТАЛИМ РОЗВИТКОМ ЕНЕРГЕТИКИ В УМОВАХ ГЛОБАЛЬНИХ РИЗИКІВ І БІФУРКАЦІЙНИХ ЗРУШЕНЬ". Системи управління, навігації та зв’язку. Збірник наукових праць 2, № 72 (2023): 54–58. http://dx.doi.org/10.26906/sunz.2023.2.054.

Full text

Abstract:

Проаналізована проблематика забезпечення сталого розвитку енергетики в умовах глобальних ризиків, зростання глобальної невизначеності, непередбачуваності та біфуркаційних зрушень, пов’язаних із Четвертою промисловою революцією та зеленим «енергетичним» переходом. Доведена необхідність розгляду сучасної енергетики як складної емерджентної системи в умовах багатоваріантності та нелінійності векторів розвитку глобальної економіки, енергетики. На основі аналізу методологічних положень теорій лінійної та нелінійної (синергетичної) парадигм обґрунтовано доцільність використання синергетично-кібернет

APA, Harvard, Vancouver, ISO, and other styles

10

Одрехівський, Микола, Ростислав Дарміць та Володимир Жежуха. "ІНТЕЛЕКТУАЛЬНІ ІНФОРМАЦІЙНІ СИСТЕМИ МОНІТОРИНГУ КОМПЕТЕНТНОСТЕЙ УПРАВЛІНЦІВ ІННОВАЦІЙНИХ ПІДПРИЄМСТВ". Financial and credit activity problems of theory and practice 5, № 46 (2022): 222–38. http://dx.doi.org/10.55643/fcaptp.5.46.2022.3884.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

11

Гетманенко, Людмила. "ФОРМУЛА-ТРІЙЦЯ ЯК РЕЗУЛЬТАТ ЕМОЦІЙНОГО ПОШУКУ НОВИХ ФОРМУЛ ГЕОМЕТРІЇ". Physical and Mathematical Education 38, № 4 (2023): 31–35. http://dx.doi.org/10.31110/2413-1571-2023-038-4-004.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

12

Доценко, Світлана Олексіївна. "РЕАЛІЗАЦІЯ СИСТЕМНО-ДІЯЛЬНІСНОГО ПІДХОДУ НА УРОКАХ МАТЕМАТИКИ". Педагогіка та психологія, № 55 (7 грудня 2016): 52–63. https://doi.org/10.5281/zenodo.194575.

Full text

Abstract:

<em>У статті обґрунтовано особливості реалізації системно</em><em>-</em><em>діяльнісного</em> <em>підходу на уроках математики початкової школи. Визначено принципи данного</em> <em>підходу: принцип діяльності, безперервності, цілісного уявлення про світ,</em> <em>мінімакса, психологічної комфортності, варіативності та творчості.</em> <em>Зазначено, що діяльність це процес вирішення життєвих завдань людиною,</em> <em>який збуджує її до певних дій для досягнення конкретної мети. Головним</em> <em>підґрунтям є теорія поетапного формування розумових дій П. Гальперіна</em> <em>та Н. Тализіної. Акце

APA, Harvard, Vancouver, ISO, and other styles

13

Дебела, І. М. "КОНЦЕПТУАЛЬНА МОДЕЛЬ ЗАДАЧІ ОПТИМІЗАЦІЇ УПРАВЛІННЯ". Таврійський науковий вісник. Серія: Економіка, № 16 (30 червня 2023): 114–18. http://dx.doi.org/10.32782/2708-0366/2023.16.15.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

14

Бурачек, Віктор Романович. "Проблеми та переваги дистанційного навчання при викладанні дисциплін математичного циклу". Theory and methods of e-learning 3 (5 лютого 2014): 29–34. http://dx.doi.org/10.55056/e-learn.v3i1.312.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

15

Франчук, Наталія Петрівна. "Стан та перспективи технологій машинного перекладу тексту". Theory and methods of e-learning 3 (13 лютого 2014): 319–25. http://dx.doi.org/10.55056/e-learn.v3i1.356.

Full text

Abstract:

На сьогоднішній день існує багато компаній у всьому світі, що займаються розробкою систем машинного перекладу (СМП), за допомогою яких здійснюється переклад на різні мови світу. Серед них можна виділити такі: SYSTRAN (США, systransoft.com), Langenscheidt (Німеччина, langenscheidt.de), Transparent Language (США, transparent.com), LANGUAGE ENGINEERING CORPORATION (США, lec.com), Translation Experts (США, tranexp.com), Linguatec (Німеччина, linguatec.net), SDL (Великобританія, sdl.com), STAR (Швейцарія, star-group.net), ATRIL (США, atril.com), Alis Technologies (Канада, alis.com).Вивчення джерел

APA, Harvard, Vancouver, ISO, and other styles

16

Пушкарев, И. А., та А. В. Огородов. "Разработка программного и методического обеспечениядля проведения практических занятийпо конструктивной теории машин Тьюринга". Математический вестник Вятского государственного университета, № 1 (5 червня 2018). http://dx.doi.org/10.25730/vsu.0536.18.004.

Full text

Abstract:

Аннотация. В статье рассматриваются некоторые специальные аспекты конструктивной теории машин Тьюринга в рамках преподавания математической логики и теории алгоритмов. В частности, преподавание этой части дисциплины требует использования соответствующего специально разработанного программного обеспечения. В данной работе эта проблема анализируется с позиций накопленного опыта преподавания теории алгоритмов студентам специальности «Прикладная математика и информатика» на основе подхода, основанного на рассмотрении «диаграмм Тьюринга», разработанного немецкими учеными под руководством профессора

APA, Harvard, Vancouver, ISO, and other styles

17

Бондаренко О. Г. "ОСОБЛИВОСТІ ДІАГНОСТУВАННЯ ТЕХНІЧНОГО СТАНУ ТЕХНОЛОГІЧНИХ ТРУБОПРОВОДІВ НИЗЬКОЧАСТОТНИМИ СПРЯМОВАНИМИ ХВИЛЯМИ НА ОСНОВІ ТЕОРІЇ РОЗПІЗНАВАННЯ ОБРАЗІВ". METHODS AND DEVICES OF QUALITY CONTROL, № 2(49) (26 березня 2023). http://dx.doi.org/10.31471/1993-9981-2022-2(49)-5-26.

Full text

Abstract:

На основі аналізу теоретичних основ та практичних аспектів методів й основних принципів побудови систем розпізнавання образів у різних галузях науки і техніки визначена сутність основних понять методології розпізнавання образів стосовно її використання у задачах оцінки технічного стану промислових об‘єктів методами неруйнівного контролю та технічного діагностування. Наведена сутність поняття «образ» та його використання у гідролокації для отримання образів акустичних зображень при виявленні підводних човнів та реєстрації сейсмічних сигналів при пошуку родовищ нафти. Подана математична задача к

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!