-
Notifications
You must be signed in to change notification settings - Fork 13
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1 changed file
with
124 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,124 @@ | ||
| <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="Namdak Tonpa" /> | ||
| <title>ІФМ</title> | ||
| <link rel="stylesheet" href="https://n2o.dev/blank.css" /> | ||
| </head> | ||
| <body> | ||
| <header> | ||
| <h1 style="font-size:24pt;">Інститут<br/>Формальної<br/>Математики</h1> | ||
| </header> | ||
| <main> | ||
| <article> | ||
| <section> | ||
| <h3>Передумови</h3> | ||
|
|
||
| <p>Інститут передбачає два факультети: математики та інформатики з | ||
| пʼятьома кафедрами, кожна з яких має у штаті пʼять PhD, які спеціалізуються | ||
| на певних наборах з обовʼязковим покриттям всіх курсів. Курси кафедри | ||
| формальної філософії є обовʼязковими. Ви можете отримати курси всіх кафедр самостійно | ||
| в університетах.</p> | ||
| <div align="right"><ul><li><a href="https://axiosis.top">Максим Сохацький</a></li></ul></div> | ||
| </section> | ||
| </article> | ||
| </main> | ||
| <aside> | ||
| <article> | ||
| <section> | ||
| <h3>Формальної філософії</h3> | ||
| <div><ul> | ||
| <li>Теорія категорій</li> | ||
| <li>Формальні логіки</li> | ||
| <li>Категоріальна логіка</li> | ||
| <li>Лямбда-числення</li> | ||
| <li>Модальні логіки</li> | ||
| <li>Теорія типів Мартіна-Льофа</li> | ||
| <li>Формалізація штучних мов</li> | ||
| <li>Формалізація людських мов</li> | ||
| <li>Мультимодальна гомотопічна теорія типів</li> | ||
| <li>Теорія топосів</li> | ||
| <li>Теорія інфініті-категорій</li> | ||
| </ul></div> | ||
| </section> | ||
| <section> | ||
| <h3>Чистої математики</h3> | ||
| <div><ul> | ||
| <li>Алгебра</li> | ||
| <li>Геометрія</li> | ||
| <li>Теорія гомотопій</li> | ||
| <li>Теорія чисел</li> | ||
| <li>p-адичний аналіз</li> | ||
| <li>Мотивне інтегрування</li> | ||
| <li>Алгебраїчна топологія</li> | ||
| <li>Диференціальна геометрія</li> | ||
| <li>Гомотопічна теорія типів</li> | ||
| <li>Модельні категорії Квілена</li> | ||
| <li>Локальна гомотопічна теорія</li> | ||
| <li>К-теорія</li> | ||
| <li>М-теорія</li> | ||
| </ul></div> | ||
| </section> | ||
| <section> | ||
| <h3>Прикладної математики</h3> | ||
| <div><ul> | ||
| <li>Дискретна математика</li> | ||
| <li>Математична статистика</li> | ||
| <li>Формальні логіки</li> | ||
| <li>Комплексний аналіз</li> | ||
| <li>Чисельні методи</li> | ||
| <li>Математичний аналіз</li> | ||
| <li>Функціональний аналіз</li> | ||
| <li>Звичайні диференційні рівняння</li> | ||
| <li>Диференційні рівняння в частинних похідних</li> | ||
| <li>Рівняння математичної фізики</li> | ||
| </ul></div> | ||
| </section> | ||
| </article> | ||
| <article> | ||
| <section> | ||
| <h3>Мовного забезпечення</h3> | ||
| <div><ul> | ||
| <li>Генератор компіляторів</li> | ||
| <li>Інтерпретатори</li> | ||
| <li>Верифікація мікропроцесорів</li> | ||
| <li>Верифікація ПЗ</li> | ||
| <li>Верифікація об`єктного коду</li> | ||
| <li>Теорія мов програмування</li> | ||
| <li>Історія мов програмування</li> | ||
| </ul></div> | ||
| </section> | ||
| <section> | ||
| <h3>Теоретичної інформатики</h3> | ||
| <div><ul> | ||
| <li>Лямбда-числення</li> | ||
| <li>Спектральна теорія графів</li> | ||
| <li>Теорія мов програмування</li> | ||
| <li>Теорія операційних системи</li> | ||
| <li>Теорія масового обслуговування</li> | ||
| <li>Теорія розподілених систем</li> | ||
| <li>Системи реального часу та телеметрія</li> | ||
| <li>Інформаційно-пошукові системи</li> | ||
| <li>Моделювання складних систем</li> | ||
| <li>Комп'ютерні сховища даних</li> | ||
| <li>Комп'ютерні обчислення</li> | ||
| <li>Комп'ютерна графіка</li> | ||
| <li>Комп'ютерні мережі</li> | ||
| <li>Веб-програмування</li> | ||
| <li>Функціональне програмування</li> | ||
| <li>Схемотехніка</li> | ||
| <li>Мікропроцесорні архітектури</li> | ||
| </ul></div> | ||
| </section> | ||
| </article> | ||
| <article> | ||
| <br><center>˙</center> | ||
| </article> | ||
|
|
||
| </main> | ||
| <footer>«Групоїд Інфінітіі» — 2023</footer> | ||
| </body> | ||
| </html> |