-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
184 lines (133 loc) · 10.6 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
<html>
<head>
<meta charset="utf-8" />
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<meta name="description" content="Аксіоматичні Системи" />
<meta name="author" content="Максим Сохацький" />
<title>Αξίωσις</title>
<link rel="stylesheet" href="https://n2o.dev/blank.css" />
<link rel="stylesheet" href="journal.css" />
</head>
<body>
<nav>
<a href='https://tonpa.guru'>Автор</a>
<a href='https://axiosis.top/'>Видавництво</a>
<a href='https://5ht.co'>Щоденник</a>
</nav>
<header>
<a href="https://github.com/axiosis"><img src="https://avatars.githubusercontent.com/u/114073605?s=400&u=5c1fd4a9bb7b5341fcf77f0b5e616b75928f2469&v=4"></a><h1><font face="arial">Αξίωσις</font></a></h1>
</header>
<aside>
<article>
<section>
<center><h3>ВИДАВНИЦТВО «АКСІОСИС»</h3></center>
<center>УДК 01, 027.7</h3></center>
<center>Аксіоматичні системи<br>
Головний редактор: Максим Сохацький</center>
</section>
</article>
</aside>
<main>
<section>
<h3>Видавництво</h3>
<p> Видавництво спеціалізується на наукових дослідженнях, формальних системах,
аксіоматичних системах, облікових системах, архівах, каталогах,
програмному забезпеченні, формальній математиці, формальній філософії,
формальній літературі, та формальному мистецтву.
Сайт видавництва — <a href="https://axiosis.top">axiosis.top</a>.</p>
<p>
<p>Аксіосис (давньогрецька, Αξίωσις):<br>
1) нагорода честі, визнання (Her.);<br>
2) гідність (Thuc.);<br>
3) благородство, знатність (Thuc.);<br>
4) вимога, побажання, петиція, прохання (Thuc.; Polyb.; Plut.);<br>
5) думка, погляд, максима (Thuc.; Aeschin.);<br>
6) значення, сенс, сутність, семантика (Thuc., Plut.).
</P>
<br><br>
<figure><img style="border-color:white;" src="https://tonpa.guru/stream/2023/qr/Fy2aiUyWcAITBwO.jpg" width=600></figure>
<br><br>
</section>
<section>
<h3> Книги та монографії </h3>
<p>Корпус «Οκτώ σώματα» — вісім текстів, які розділені на чотири теми: етика, філософія, логіка і політика.
Кожна тема містить теоретичну і практичну частини.</p>
<p><span class=num style="background-color: Maroon;color:white;margin:8px;padding:8px;">1</span> <a href="https://axiosis.top/nendro/">Ньондро Лонгчен Нінгтік</a>. Серія «Етика». <br>
<img class="pdf"> <a href="https://axiosis.github.io/books/nendro/nendro.pdf">ISBN: 978-1-62540-054-3 (2022)</a> </p>
<p><span class=num style="background-color: Crimson;color:white;margin:8px;padding:8px;">2</span> <a href="https://axiosis.top/monk/">Божевільний монах</a>. Серія «Етика». <br>
<img class="pdf"> <a href="https://axiosis.github.io/books/monk/monk.pdf">ISBN: 978-617-8027-08-7 (2021)</a> </p>
<p><span class=num style="background-color: Coral;color:white;margin:8px;padding:8px;">3</span> <a href="https://axiosis.top/fp/">Формальна філософія</a>. Серія «Філософія». <br>
<img class="pdf"> <a href="https://axiosis.github.io/books/fp/fp.pdf">ISBN: 978-617-8027-23-1 (2023)</a> </p>
<p><span class=num style="background-color: Gold;color:white;margin:8px;padding:8px;">4</span> <a href="https://axiosis.top/top/">Топовий програміст</a>. Серія «Філософія». <br>
<img class="pdf"> <a href="https://axiosis.github.io/books/top/top.pdf">ISBN: 978-617-8027-27-8 (2021)</a> </p>
<p><span class=num style="background-color: LimeGreen;color:white;margin:8px;padding:8px;">5</span> <a href="https://axiosis.top/axio/">Формальна система</a>. Серія «Логіка». <br>
<img class="pdf"> <a href="https://axiosis.github.io/books/axio/axio.pdf">ISBN: 978-617-8027-10-0 (2021)</a> </p>
<p><span class=num style="background-color: RoyalBlue;color:white;margin:8px;padding:8px;">6</span> <a href="https://axiosis.top/erp/">Державна система</a>. Серія «Логіка». <br>
<img class="pdf"> <a href="https://axiosis.github.io/books/erp/erp.pdf">ISBN: 978-617-8027-23-0 (2022)</a> </p>
<p><span class=num style="background-color: MidnightBlue;color:white;margin:8px;padding:8px;">7</span> <a href="https://axiosis.top/azov/">Ідея Нації</a>. Серія «Політика».<br>
<img class="pdf"> <a href="https://axiosis.github.io/books/azov/idea.pdf">ISBN: 978-617-8027-07-0 (2022)</a> </p>
<p><span class=num style="background-color: Indigo;color:white;margin:8px;padding:8px;">8</span> <a href="https://axiosis.top/crm/">Заповіт</a>. Серія «Політика».<br>
<img class="pdf"> <a href="https://axiosis.github.io/books/crm/mia-sed.pdf">ISBN: 978-617-8027-07-1 (2023)</a> </p>
</section>
<section>
<h3> Статті та нариси </h3>
<p><span class=num>6</span> <a href="https://n2o.dev/ua/books/vol.2/index.html">Фреймворк для підприємств ISO 20922</a> <br>
<img class="pdf">DOI: 10.13140/RG.2.2.27432.24327 (2013) </p>
<p><span class=num>7</span> <a href="https://n2o.dev/ua/books/vol.3/index.html">Система управління процесами ISO 19510</a> <br>
<img class="pdf">DOI: 10.13140/RG.2.2.20721.35682 (2015) </p>
<p><span class=num>8</span> <a href="https://axiosis.github.io/articles/henk/pts_ua.pdf">Одноаксіоматична система верифікації ПЗ</a> <br>
<img class="pdf">DOI: 10.13140/RG.2.2.34143.12963 (2017) </p>
<p><span class=num>9</span> <a href="https://axiosis.github.io/articles/per/anno_ua.pdf">Мінімальна система для вбудовування MLTT</a> <br>
<img class="pdf">DOI: 10.13140/RG.2.2.25754.52169 (2018) </p>
<p><span class=num>10</span> <a href="https://axiosis.github.io/articles/bloch/quantum.pdf">Мова для квантових комп'ютерів PLQ</a> <br>
<img class="pdf">DOI: 10.13140/RG.2.2.19043.63523 (2019) </p>
<p><span class=num>11</span> <a href="https://axiosis.github.io/articles/anders/anders.pdf">Модальна гомотопічна мова математики HTS</a> <br>
<img class="pdf">DOI: 10.13140/RG.2.2.14010.47045 (2021) </p>
</section>
<section>
<h3>Головний редактор</h3>
<p>Намдак Тонпа (Максим Сохацький), доктор філософії КПІ (ЄДРПОУ 02070921),
буддистський піп-капелан лінії передачі Лонгчен Нінгтік
тибетського буддизму (ЄДРПОУ 38778275). Провідний інженер-програміст
ДП «ІНФОТЕХ» (ЄДРПОУ 34239034) у підпорядкуванні МВС України (ЄДРПОУ 00032684).
Автор <a href="https://deposits.privatbank.ua/static/doc/index.htm">«Депозитів ПриватБанк»</a>
та <a href="https://crm.erp.uno">«МІА: Документообіг»</a> побудованих на
авторських творах <a href="https://erp.uno">ERP.UNO</a> та <a href="https://n2o.dev/ua">N2O.DEV</a>.
</p>
</section>
<section>
<h3>Бібліотека</h3>
<p>Бібліотека видавництва в категоріях універсального десяткового класифікатора.</p>
<h3><a href="https://tonpa.guru/stream/2022/2022-10-01 УДК 0.htm">УДК 0</a></h3>
<p>Загальний клас.
Наука та знання. Організація. Комп'ютерна наука. Інформація. Документація.
Бібліотечна справа. Установи. Публікації.</p>
<h3><a href="https://tonpa.guru/stream/2022/2022-10-01 УДК 1.htm">УДК 1</a></h3>
<p>Філософія. Психологія.</p>
<h3><a href="https://tonpa.guru/stream/2020/2020-04-26 УДК 51.htm">УДК 51</a></h3>
<p>Проєкт УДК 51 — це електронна репрезентація бібліотеки інституту формальної математики.</p>
<p>Бібліотека складається з чотирьох полиць:
1) Геометрія (514) та Аналіз (517), Диференціальні ігри (519.9);
2) Топологія (515.1), Алгебра (512), Логіка та основи математики (510);
3) Алгебраїчна топологія (515.14), Спеціальная алгебра (512.6);
4) Диференціальна геометрія (514.7).</P>
<h3><a href="https://tonpa.guru/stream/2022/2022-10-25 УДК 6.htm">УДК 6</a></h3>
<p>Прикладні науки. Медицина. Техніка.</p>
</p>
<h3><a href="https://tonpa.guru/stream/2022/2022-10-01 УДК 7.htm">УДК 7</a></h3>
<p>Мистецтво. Декоративно-прикладне мистецтво. Ігри. Спорт.</p>
</p>
<h3><a href="https://tonpa.guru/stream/2022/2022-09-30 УДК 8.htm">УДК 8</a></h3>
<p>Мови. Лінгвістика. Література.
Міжнародна класифікація документів для систематизації творів науки, літератури,
мистецтва, періодичного друку, бібліотек. УДК 8 відноситься до бібліотеки інституту формальної літератури.</p>
</p>
<br><center>˙</center>
<figure><img width=600 src="mika.jpeg"></figure>
<br><center>˙</center>
</section>
</main>
<footer style="margin-top: 100px;"><a rel="me" href="https://twiukraine.com/@5HT">Namdak Tönpa</a> <span class="heart"> ❤ </span> 1980—2024</footer>
</body>
</html>