Наиболее часто редактировавшиеся страницы

Перейти к: навигация, поиск

Ниже показаны до 50 результатов, начиная с №1.

Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)

  1. Основы кибернетики (3-й поток)‏‎ (241 версия)
  2. Математическая логика и логическое программирование (группа 318)‏‎ (215 версии)
  3. Теория управляющих систем и математические модели СБИС‏‎ (172 версий)
  4. Математическая логика и логическое программирование (3-й поток)‏‎ (163 версий)
  5. Избранные вопросы дискретной математики‏‎ (132 версий)
  6. Сложность решения дискретных задач‏‎ (117 версии)
  7. Основы кибернетики (318, 418 группы)‏‎ (111 версии - страница-перенаправление)
  8. Основы кибернетики (2-й поток, 3 курс)‏‎ (109 версии)
  9. Дискретные модели‏‎ (107 версии)
  10. Некоторые вопросы теории управляющих систем‏‎ (104 версий)
  11. Теоретические проблемы программирования‏‎ (94 версий)
  12. Проектирование больших систем С++‏‎ (85 версии)
  13. Модели вычислений‏‎ (82 версий)
  14. Дискретные функции и выполнимость ограничений‏‎ (64 версий)
  15. Дискретная математика 2 (группа 141)‏‎ (60 версии)
  16. Modern trends in discrete mathematics and computer science‏‎ (60 версии)
  17. Математические методы верификации схем и программ‏‎ (55 версии)
  18. Дискретные модели управляющих систем‏‎ (54 версий)
  19. Распределенные алгоритмы‏‎ (46 версии)
  20. Элементы теории дискретных управляющих систем‏‎ (41 версия)
  21. Дискретная математика и математическая кибернетика‏‎ (39 версии)
  22. Просеминар для 2-го курса‏‎ (36 версии)
  23. Математические модели и методы синтеза СБИС(семинар)‏‎ (35 версии)
  24. Заглавная страница‏‎ (34 версий)
  25. Расписание‏‎ (33 версий)
  26. Языки описания цифровых схем‏‎ (32 версий)
  27. Графы и их применения‏‎ (30 версии)
  28. Математические модели и методы синтеза СБИС‏‎ (28 версии)
  29. Дискретная математика (1й курс)‏‎ (28 версии)
  30. Информация для 2 курса‏‎ (26 версии)
  31. Сложность алгоритмов‏‎ (25 версии)
  32. Практикум (3 курс, осенний семестр 2017 года)‏‎ (25 версии)
  33. Модели последовательных и параллельных вычислений‏‎ (24 версий)
  34. Дискретные модели в теории управляющих систем‏‎ (21 версия)
  35. Области научных интересов‏‎ (19 версии - страница-перенаправление)
  36. Фотографии‏‎ (18 версии)
  37. Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)‏‎ (17 версии)
  38. Boolean SAT/SMT Solvers for Software Engineering‏‎ (17 версии)
  39. Математическая логика и теория алгоритмов‏‎ (17 версии - страница-перенаправление)
  40. Учебный план‏‎ (16 версии)
  41. Математические вопросы проектирования СБИС (Архив)‏‎ (16 версии)
  42. Магистерские программы‏‎ (15 версии)
  43. Практикум (3 курс, осенний семестр 2016 года)‏‎ (15 версии)
  44. Дополнительные главы дискретной математики и кибернетики (2-й поток, 3 курс)‏‎ (15 версии)
  45. Вероятностные и квантовые алгоритмы‏‎ (13 версии)
  46. Математические модели и методы проектирования архитектуры сверхбольших интегральных схем‏‎ (12 версии)
  47. Некоторые вопросы синтеза управляющих систем (Архив)‏‎ (12 версии)
  48. Функциональные системы‏‎ (11 версии)
  49. Дополнительные главы дискретной математики (2-й поток)‏‎ (10 версии)
  50. Элементы теории синтеза, надежности и контроля дискретных управляющих систем‏‎ (10 версии)

Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)