Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq +26
- Блог компании Образовательные проекты JetBrains
- Тестирование IT-систем
- Алгоритмы
- Функциональное программирование
Публикации с тегом спбгу
Парсинг Markdown и LaTeX в Grazie Chrome Plugin +9
Материалы со смены для школьников по математике и программированию в «Сириусе» +17
Факультет математики и компьютерных наук СПбГУ ищет преподавателей -2
DataArt примет открытую лекцию Андрея Терехова, завкафедрой системного программирования Матмеха СПбГУ +11
Андрей Терехов (продолжение): «Когда говорят, что мы отстали от американцев навсегда, я отвечаю: „Не дождетесь!“» +61
Андрей Терехов: «Можно сколько угодно говорить, что американское лучше, но наша машина никогда не ломается» +143
Бакалавриат СПбГУ +21
