FORMAL RESEARCH
NEMESISJAM
Формальні засади
Авторська дослідницька програма про межі повноважень, доказовості та автономної дії.
01 / ІНЖЕНЕРНЕ ПИТАННЯ
Що саме доводиться — і за яких припущень?
Коли потрібні формальні постановки й незалежне рецензування.
Сильне технічне твердження може приховувати невказане припущення, різне значення одного терміна або надто широкий висновок. Формальний підхід починається з точного визначення того, про яку властивість, модель і межі йдеться.
Предмет NEMESISJAM — авторські дослідження формальних засад повноважень, доказовості та автономної дії, придатні для критичного технічного діалогу.
02 / ПРЕДМЕТ РОБОТИ
Що потрібно визначити
- Чітко сформульоване питання або властивість
- Модель, визначення та перелік припущень
- Аргументація й матеріали для рецензування
Що потрібно з’ясувати
- Чи всі припущення сформульовано явно?
- Чи узгоджено значення термінів у всій аргументації?
- Чи не виходить висновок за межі моделі та доведення?
03 / ПОЯСНЮВАЛЬНИЙ ПРИКЛАД
Формулювання властивості контрольованого виконання
Є теза, що дія потребує належного повноваження. Предмет розбору — яке саме значення мають «дія» і «повноваження», за яких припущень теза справедлива та який доказ її підтримує.
Приклад пояснює предмет дослідження; це не звіт про виконаний проєкт.04 / ТЕХНІЧНЕ ОЦІНЮВАННЯ
Матеріали для предметного огляду
Для погодженого оцінювання конкретного кандидата доречно сформувати та перевірити такі матеріали.
Для BOARD-EX-001 відкрито лише підсумок вузької локальної перевірки; технічні матеріали програми розглядаються за погодженим обсягом. Це не кваліфікація релізу. Для інших п’яти програм окремих пакетів тут немає. DA-EX-001 стосується лише форми звернень сайту.
- Уточнені формулювання властивостей і припущень
- Перелік зобов’язань, що потребують доведення
- Зауваження та питання для незалежного рецензента