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

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

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

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
More sources

Dissertations / Theses on the topic "Теорія алгоритмів і математична логіка"

1

Шаповалов, Сергій Павлович, Сергей Павлович Шаповалов, Serhii Pavlovych Shapovalov, Інга Володимирівна Возна, Инга Владимировна Возная та Inha Volodymyrivna Vozna. "Застосування відкритих освітніх ресурсів в набутті знань з курсу "Математична логіка та теорія алгоритмів"". Thesis, Сумський державний університет, 2014. http://essuir.sumdu.edu.ua/handle/123456789/38071.

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

Жовтя, Є. М. "Використання Flash-технології для активізації навчання з курсу "Теорія алгоритмів та матлогіка"". Thesis, Видавництво СумДУ, 2011. http://essuir.sumdu.edu.ua/handle/123456789/9872.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Семиряжко, Н. М., та Сергій Володимирович Коваленко. "Розробка системи розпізнавання елементів електричних схем з растрового зображення". Thesis, Національний технічний університет "Харківський політехнічний інститут", 2019. http://repository.kpi.kharkov.ua/handle/KhPI-Press/49112.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Єрка, М. О. "Комп'ютерна реалізація алгоритмів рішення задач теорії ігор та їх порівняльний аналіз". Master's thesis, Сумський державний університет, 2018. http://essuir.sumdu.edu.ua/handle/123456789/72165.

Full text
Abstract:
Проведений інформаційний огляд методів дослідження математичної теорії ігор; розроблені та реалізовані на ЕОМ алгоритми рішення задач теорії ігор; створена комп’ютерна реалізація, проведені тестові розрахунки.
APA, Harvard, Vancouver, ISO, and other styles
5

Чекалов, Олександр Петрович, Александр Петрович Чекалов, Oleksandr Petrovych Chekalov, Сергій Павлович Шаповалов, Сергей Павлович Шаповалов та Serhii Pavlovych Shapovalov. "Методологія викладання курсу "Теорія алгоритмів та математична логіка" для студентів спеціальності "Інформатика"". Thesis, 2009. http://essuir.sumdu.edu.ua/handle/123456789/18172.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Теорія алгоритмів і математична логіка"

1

Бондаренко, М. Е. Пантеон Херсонеса Таврического. Компания Спутник+, 2003.

Find full text
Abstract:
Підручник містить основні розділи дискретної математики: теорія мно-жин, теорія відношень, математична логіка, алгебраїчні структури, автома-ти, алгоритми, формальні мови та гра-матики, теорія графів та комбінатори-ка.
APA, Harvard, Vancouver, ISO, and other styles
2

Кривий, С. Л. Дискретна математика. Києво-Могилянська академія, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Кривий, С. Л. Дискретна математика. Києво-Могилянська академія, 2007.

Find full text
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!