RKulagin / MLTA
Mathematical Logic and Theory of Algorithms syllabus
☆17Updated 5 months ago
Alternatives and similar repositories for MLTA:
Users that are interested in MLTA are comparing it to the libraries listed below
- Шаблон РПЗ к НИРС или ВКР (кафедра ИУ8).☆35Updated 2 months ago
- Бот для создания очередей в групповых чатах мессенджера Телеграм☆12Updated last year
- ☆9Updated 5 years ago
- Курс "Алгоритмы и структуры данных" ФИВТ МФТИ, основной поток, 2016-2018. Решения задач на c++☆42Updated 5 years ago
- 😎 Материалы для успешного прохождения курсов на Бакалаврской программе «Программная инженерия» ФКН НИУ ВШЭ☆89Updated 2 years ago
- Шаблон LaTeX для оформления отчетов о НИР, расчётно-пояснительной записки к курсовым и дипломным работам (ГОСТ 7.32-2017 и ГОСТ РВ 15.110…☆347Updated 2 months ago
- ITMO CT C++ course notes☆125Updated 7 months ago
- ☆116Updated 3 years ago
- KoKoS - утилита для удобного решения задач курса АКОС.☆42Updated 3 months ago
- ☆20Updated 3 years ago
- ☆35Updated 4 years ago
- HSE materials☆129Updated last month
- Sources for Russian articles on Algorithmica.org☆83Updated last year
- Лекционный материал по курсу "Алгоритмические языки - C++" 3 семестр на кафедре ИУ8☆18Updated 2 years ago
- Технопарк Mail.Ru / 1-ый семестр / Web-технологии☆79Updated 9 months ago
- Это репозиторий для проведения курса по The Missing Semester of Your CS Education в университете Высшая Школа Экономики☆399Updated 2 years ago
- IT internships in Russia 🇷🇺☆436Updated 10 months ago
- Материалы для занятий по курсу "Углублённое программирование на C/C++" в Технопарке☆31Updated 2 years ago
- Репозиторий для конспектов Клуба Теха Лекций.☆70Updated last month
- Distributed Systems Course at CS HSE☆146Updated 2 weeks ago
- ☆11Updated last month
- ☆53Updated last month
- Материалы курса АКОС на ФПМИ☆299Updated 5 months ago
- ☆37Updated 9 months ago
- Практические задания. Университет ИТМО, кафедра КТ☆24Updated 3 years ago
- Preparing for Yandex technical interview.☆59Updated 3 years ago
- Курс лекций для студентов МГУ и МФТИ посвященный проектированию высоконагруженных систем☆32Updated last year
- LeetCode frequently asked questions☆220Updated 2 years ago
- ☆25Updated last month