Αξίωσις

Видавництво

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

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

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

1 Перша формальна система
ISBN: 978-617-8027-10-0 (2021)

2 Перша державна система
ISBN: 978-617-8027-23-0 (2022)

3 Топовий програміст
ISBN: 978-617-8027-27-8 (2021)

4 Ідея Нації
ISBN: 978-617-8027-07-0 (2022)

5 Ньондро Лонгчен Нінгтік
ISBN: 978-1-62540-054-3 (2022)

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

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).

Бібліотека

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

УДК 0

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

УДК 1

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

УДК 51

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

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

УДК 7

Мистецтво. Декоративно-прикладне мистецтво. Ігри. Спорт.

УДК 8

Мови. Лінгвістика. Література. Міжнародна класифікація документів для систематизації творів науки, літератури, мистецтва, періодичного друку, бібліотек. УДК 8 відноситься до бібліотеки інституту формальної літератури.