Внутрішній нормативний акт · Академічні стандарти

Положення про академічну доброчесність

ПЗВО «Науково-навчальний інститут формальної математики “Групоїд Інфініті”» (ННІ ФМГІ)
Розроблено відповідно до статті 42 Закону України «Про освіту», статей 32, 58 Закону України «Про вищу освіту» з урахуванням стандартів академічної доброчесності провідних дослідницьких університетів (MIT, Cambridge, Caltech).

Преамбула

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

1. Загальні засади та фундаментальні принципи

1.1. Дотримання академічної доброчесності є фундаментальним обов’язком кожного члена академічної спільноти Інституту.

1.2. Інститут керується такими ключовими принципами (відповідно до традицій Caltech Honor Code та Oxford Academic Integrity Framework):

2. Поняття та форми порушень академічної доброчесності

2.1. Відповідно до чинного законодавства та інституційних вимог порушеннями академічної доброчесності визнаються:

3. Співпраця та використання комп’ютерних засобів

3.1. Інститут заохочує відкрите наукове обговорення математичних ідей, семінари та спільне дослідження теорій (open peer exchange).

3.2. Дозволяється концептуальне обговорення задач між здобувачами, якщо підсумковий розв’язок, математичне формальне доведення або програмний код сформульовано самостійно і в роботі чітко зазначено імена співрозмовників (політика Whiteboard / Gilligan Rule).

3.3. Використання інтерактивних систем доведення теорем (Lean, Coq, Agda тощо) для перевірки доведень вітається, проте всі зовнішні леми, аксіоми чи бібліотеки повинні мати чітку атрибуцію.

4. Комісія з академічної доброчесності

4.1. Для розгляду фактів порушень та утвердження стандартів етики в Інституті діє Комісія з академічної доброчесності (далі — Комісія).

4.2. До складу Комісії входять науково-педагогічні працівники відповідних кафедр та представники органу студентського самоврядування (не менше 30% складу Комісії) на засадах паритетності.

4.3. Принципи діяльності Комісії:

5. Заходи реагування та академічні санкції

5.1. У разі встановлення факту порушення академічної доброчесності до здобувача можуть бути застосовані такі заходи:

5.2. Вибір заходу здійснюється з урахуванням тяжкості порушення, умислу, визнання провини здобувачем та системності попередньої поведінки (градація MIT Committee on Discipline).

6. Прикінцеві положення

6.1. Положення набирає чинності з моменту його затвердження Вченою радою та введення в дію наказом керівника Інституту.

6.2. Кожен здобувач вищої освіти та науково-педагогічний працівник знайомиться з цим Положенням під час вступу чи прийому на роботу та підтверджує своє зобов’язання неухильно його дотримуватися.

Документ є відкритим внутрішнім регуляторним актом ПЗВО «Інститут Формальної Математики». Підлягає постійному розміщенню на офіційному веб-ресурсі Інституту.

Супутні нормативні документи Інституту: