| dc.contributor.author | Михалевич, В. М. | uk |
| dc.contributor.author | Чумакова, Д. А. | uk |
| dc.contributor.author | Безверха, С. В. | uk |
| dc.contributor.author | Балибюк, М. О. | uk |
| dc.contributor.author | Mykhalevych, V. M. | en |
| dc.contributor.author | Chumakova, D. A. | en |
| dc.contributor.author | Bezverha, S. V. | en |
| dc.contributor.author | Balybiuk, M. O. | en |
| dc.date.accessioned | 2026-09-11T11:58:27Z | |
| dc.date.available | 2026-09-11T11:58:27Z | |
| dc.date.issued | 2026 | |
| dc.identifier.citation | Михалевич В. М., Чумакова Д. А., Безверха С. В., Балибюк М. О. Задача доведення тотожності формул для обчислення кута між двома прямими засобами СКМ Maple // Матеріали LV Всеукраїнської науково-технічної конференції підрозділів ВНТУ, Вінниця, 24-27 березня 2026 р. Електрон. текст. дані. 2026. Електрон. текст. дані. 2026. URI: https://conferences.vntu.edu.ua/index.php/all-fitki/all-fitki-2026/paper/view/28194. | uk |
| dc.identifier.uri | https://ir.lib.vntu.edu.ua/handle/123456789/54171 | |
| dc.description.abstract | У роботі досліджуються різні аналітичні способи визначення кута між двома прямими на площині. | uk |
| dc.description.abstract | The paper investigates various analytical methods for determining the angle between two lines in the plane. The formula based on the scalar product of the normal vectors of the general equations of the lines and the formula expressed through their slopes are considered. Using the computer algebra system Maple, symbolic transformations are performed to prove the identity of the corresponding expressions. The obtained results demonstrate the effectiveness of Maple as a tool for the formal proof of mathematical statements and for verifying analytical transformations. | en |
| dc.language.iso | uk_UA | uk_UA |
| dc.publisher | ВНТУ | uk |
| dc.relation.ispartof | Матеріали LV Всеукраїнської науково-технічної конференції підрозділів ВНТУ, Вінниця, 24-27 березня 2026 р. Електрон. текст. дані. 2026. | uk |
| dc.relation.uri | https://conferences.vntu.edu.ua/index.php/all-fitki/all-fitki-2026/paper/view/28194 | |
| dc.subject | aple | en |
| dc.subject | кут між двома прямими | uk |
| dc.subject | косинус | uk |
| dc.subject | тангенс | uk |
| dc.subject | Maple | en |
| dc.subject | angle between two lines | en |
| dc.subject | cosine | en |
| dc.subject | tangent | en |
| dc.title | Задача доведення тотожності формул для обчислення кута між двома прямими засобами СКМ Maple | uk |
| dc.type | Thesis | |
| dc.relation.references | Михалевич В. М. Навчально-контролюючий Maple — комплекс з вищої математики / В. М. Михалевич // Інформаційні технології та комп’ютерна інженерія. — 2004. — № 1. — С. 74–78. | uk |
| dc.relation.references | Михалевич В. М. Розвиток системи Мaple у навчанні вищої математики майбутніх інженерів-механіків : монографія / В. М. Михалевич, Я. В. Крупський. — Вінниця: ВНТУ, 2013. — 236 с. ISBN. — 978-966-641-539-7. | uk |
| dc.relation.references | Михалевич В.М. Елементарна математика. Алгебра. Новітні інформаційні технології навчання (Maple). Ч. 2. : практикум / В. М. Михалевич, А. Ф. Дода. – Вінниця : ВНТУ, 2010. – 160 с. (надрукований в 2011 р.) | uk |
| dc.relation.references | Михалевич В. М. Розвиток системи Мaple у навчанні вищої математики [Електронний ресурс] / В. М. Михалевич, Я. В. Крупський // Інформаційні технології і засоби навчання. — 2011. — Т. 21 — № 1. — Режим доступу до журн. : http://journal.iitta.gov.ua. | uk |
| dc.relation.references | Бондаренко З. В. Курс вищої математики з комп’ютерною підтримкою. Диференціальні рівняння : навч. посіб. / З. В. Бондаренко, В. І. Клочко. – Вінниця : ВНТУ, 2004. – 130 с. | uk |
| dc.relation.references | Михалевич В. М. Організація самостійної роботи студентів шляхом використання системи комп’ютерної математики Maple / В. М. Михалевич, Я. В. Крупський, О. І. Тютюнник // Вісник Вінницького політехнічного інституту. — 2014. — № 3. — С. 114–118. | uk |
| dc.relation.references | Дерець Є. В. Дослідження готовності студентів до використання комп'ютерноорієнтованих систем навчання математики / Є. В. Дерець // Збірник наукових праць Дніпровського державного університету. - 2017. | uk |
| dc.relation.references | Михалевич В. М. Використання систем комп’ютерної математики у процесі навчання лінійного програмування студентів ВНЗ: монографія / В. М. Михалевич, О. І. Тютюнник. – Вінниця: ВНТУ, 2016. – 279 с. ISBN 978-966-641-670-7. | uk |
| dc.relation.references | Михалевич В. М. Проектування навчальних задач з лінійного програмування з використанням систем комп’ютерної математики [Електронний ресурс] / В. М. Михалевич, О.І. Тютюнник // Інформаційні технології і засоби навчання. — 2013. — Т. 38 — № 6. — Режим доступу до журн. : http://journal.iitta.gov.ua. | uk |
| dc.relation.references | Тютюнник О. І. Реалізація принципу наочності за допомогою засобів СКМ у процесі навчання лінійного програмування / О. І. Тютюнник, В. М. Михалевич // Сучасні інформаційні технології та інноваційні методики навчання у підготовці фахівців: методологія, теорія, досвід, проблеми // Зб. наук. пр. – Випуск 36 / Редкол.: І.А. Зязюн (голова) та ін. – Київ-Вінниця : ТОВ фірма “Планер”, 2013, – С.434-440. | uk |
