Αξίωσις

Видавництво

Видавництво спеціалізується на наукових дослідженнях, формальних системах, аксіоматичних системах, облікових системах, архівах, каталогах, програмному забезпеченні, формальній математиці, формальній філософії, формальній літературі, та формальному мистецтву. Сайт видавництва — axiosis.top.

Аксіосис (давньогрецька, Αξίωσις):
1) нагорода честі, визнання (Her.);
2) гідність (Thuc.);
3) благородство, знатність (Thuc.);
4) вимога, побажання, петиція, прохання (Thuc.; Polyb.; Plut.);
5) думка, погляд, максима (Thuc.; Aeschin.);
6) значення, сенс, сутність, семантика (Thuc., Plut.).

Книги та монографії

Корпус «Οκτώ σώματα» — вісім текстів, які розділені на чотири теми: етика, філософія, логіка і політика. Кожна тема містить теоретичну і практичну частини.

1 Ньондро Лонгчен Нінгтік. Серія «Етика».
ISBN: 978-1-62540-054-3 (2022)

2 Божевільний монах. Серія «Етика».
ISBN: 978-617-8027-08-7 (2021)

3 Формальна філософія. Серія «Філософія».
ISBN: 978-617-8027-23-1 (2023)

4 Топовий програміст. Серія «Філософія».
ISBN: 978-617-8027-27-8 (2021)

5 Формальна система. Серія «Логіка».
ISBN: 978-617-8027-10-0 (2021)

6 Державна система. Серія «Логіка».
ISBN: 978-617-8027-23-0 (2022)

7 Ідея Нації. Серія «Політика».
ISBN: 978-617-8027-07-0 (2022)

8 Заповіт. Серія «Політика».
ISBN: 978-617-8027-07-1 (2023)

Статті та нариси

6 Фреймворк для підприємств ISO 20922
DOI: 10.13140/RG.2.2.27432.24327 (2013)

7 Система управління процесами ISO 19510
DOI: 10.13140/RG.2.2.20721.35682 (2015)

8 Одноаксіоматична система верифікації ПЗ
DOI: 10.13140/RG.2.2.34143.12963 (2017)

9 Мінімальна система для вбудовування MLTT
DOI: 10.13140/RG.2.2.25754.52169 (2018)

10 Мова для квантових комп'ютерів PLQ
DOI: 10.13140/RG.2.2.19043.63523 (2019)

11 Модальна гомотопічна мова математики HTS
DOI: 10.13140/RG.2.2.14010.47045 (2021)

Головний редактор

Намдак Тонпа (Максим Сохацький), доктор філософії КПІ (ЄДРПОУ 02070921), буддистський піп-капелан лінії передачі Лонгчен Нінгтік тибетського буддизму (ЄДРПОУ 38778275). Провідний інженер-програміст ДП «ІНФОТЕХ» (ЄДРПОУ 34239034) у підпорядкуванні МВС України (ЄДРПОУ 00032684). Автор «Депозитів ПриватБанк» та «МІА: Документообіг» побудованих на авторських творах ERP.UNO та N2O.DEV.

Бібліотека

Бібліотека видавництва в категоріях універсального десяткового класифікатора.

УДК 0

Загальний клас. Наука та знання. Організація. Комп'ютерна наука. Інформація. Документація. Бібліотечна справа. Установи. Публікації.

УДК 1

Філософія. Психологія.

УДК 51

Проєкт УДК 51 — це електронна репрезентація бібліотеки інституту формальної математики.

Бібліотека складається з чотирьох полиць: 1) Геометрія (514) та Аналіз (517), Диференціальні ігри (519.9); 2) Топологія (515.1), Алгебра (512), Логіка та основи математики (510); 3) Алгебраїчна топологія (515.14), Спеціальная алгебра (512.6); 4) Диференціальна геометрія (514.7).