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

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

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

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

  1. Проектирование больших систем на С++‏‎ (389 версии)
  2. Математическая логика (318, 319/2, 241, 242)‏‎ (349 версии)
  3. Теория управляющих систем и математические модели СБИС‏‎ (288 версии)
  4. Основы кибернетики (2-й поток, 3 курс)‏‎ (265 версии)
  5. Основы кибернетики (3-й поток)‏‎ (263 версий)
  6. Математическая логика и логическое программирование (3-й поток)‏‎ (245 версии)
  7. Дискретная математика (1-й поток)‏‎ (239 версии)
  8. Избранные вопросы дискретной математики‏‎ (198 версии)
  9. Дискретные модели‏‎ (157 версии)
  10. Сложность решения дискретных задач‏‎ (140 версии)
  11. Дискретные функции и выполнимость ограничений‏‎ (132 версий)
  12. Математические методы верификации схем и программ‏‎ (127 версии)
  13. Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)‏‎ (125 версии)
  14. Основы кибернетики (318, 418 группы)‏‎ (111 версии - страница-перенаправление)
  15. Математические вопросы кибернетики‏‎ (109 версии)
  16. Модели вычислений‏‎ (107 версии)
  17. Некоторые вопросы теории управляющих систем‏‎ (104 версий)
  18. Теоретические проблемы программирования‏‎ (99 версии)
  19. Языки описания схем‏‎ (95 версии)
  20. Распределенные алгоритмы и системы‏‎ (92 версий - страница-перенаправление)
  21. Дискретная математика (1й курс)‏‎ (90 версии)
  22. Дискретные модели управляющих систем‏‎ (81 версия)
  23. Элементы теории дискретных управляющих систем‏‎ (69 версии)
  24. Дискретная математика 2 (группа 141)‏‎ (63 версий)
  25. Modern trends in discrete mathematics and computer science‏‎ (60 версии)
  26. Избранные вопросы теории графов‏‎ (53 версий)
  27. Большие графы и модели сложных сетей‏‎ (52 версий)
  28. Дискретная математика и математическая кибернетика‏‎ (52 версий)
  29. Просеминар для 2-го курса‏‎ (50 версии)
  30. Графы и их применения‏‎ (44 версий)
  31. Математические модели последовательных вычислений‏‎ (43 версий)
  32. Заглавная страница‏‎ (42 версий)
  33. Практикум по дискретным структурам‏‎ (39 версии)
  34. Математические модели и методы синтеза СБИС(семинар)‏‎ (35 версии)
  35. Расписание‏‎ (34 версий)
  36. Информация для 2 курса‏‎ (33 версий)
  37. Вероятностные методы в комбинаторике‏‎ (33 версий)
  38. Сложность алгоритмов‏‎ (31 версия)
  39. Математические модели и методы синтеза СБИС‏‎ (30 версии)
  40. Графы и их приложения‏‎ (29 версии)
  41. Спецсеминары‏‎ (29 версии)
  42. Дискретная математика (КФ)‏‎ (29 версии)
  43. Элементы теории синтеза, надежности и контроля дискретных управляющих систем‏‎ (29 версии)
  44. Вероятностные и квантовые алгоритмы‏‎ (29 версии)
  45. Дополнительные главы дискретной математики и кибернетики (2-й поток, 3 курс)‏‎ (26 версии)
  46. Магистерские программы‏‎ (26 версии)
  47. Mathematical Problems of Cybernetics‏‎ (25 версии)
  48. Математические вопросы проектирования СБИС (Архив)‏‎ (25 версии)
  49. Практикум (3 курс, осенний семестр 2017 года)‏‎ (25 версии)
  50. Фотографии‏‎ (25 версии)
  51. Математические модели и методы проектирования архитектуры сверхбольших интегральных схем‏‎ (23 версий)
  52. Дискретные модели в теории управляющих систем‏‎ (21 версия)
  53. Распределённые алгоритмы‏‎ (19 версии)
  54. Области научных интересов‏‎ (19 версии - страница-перенаправление)
  55. Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)‏‎ (17 версии)
  56. Математическая логика и теория алгоритмов‏‎ (17 версии - страница-перенаправление)
  57. Учебный план‏‎ (17 версии)
  58. Boolean SAT/SMT Solvers for Software Engineering‏‎ (17 версии)
  59. Математические модели и методы логического синтеза сверхбольших интегральных схем‏‎ (16 версии)
  60. Практикум (3 курс, осенний семестр 2016 года)‏‎ (15 версии)
  61. Mathematical Issues of Cybernetics‏‎ (13 версии)
  62. Функциональные системы‏‎ (12 версии)
  63. Некоторые вопросы синтеза управляющих систем (Архив)‏‎ (12 версии)
  64. Дополнительные главы дискретной математики (2-й поток)‏‎ (10 версии)
  65. Практикум (3 курс, весенний семестр 2015 года)‏‎ (9 версии)
  66. Геометрическая реализация графов и схем‏‎ (9 версии)
  67. Конференции‏‎ (8 версии)
  68. Спецкурсы‏‎ (8 версии)
  69. Практикум (3 курс, осенний семестр 2014 года)‏‎ (8 версии)
  70. Дискретный анализ‏‎ (8 версии)
  71. Практикум (3 курс, осенний семестр 2015 года)‏‎ (8 версии)
  72. Основы кибернетики (2-й поток)‏‎ (8 версии)
  73. Дискретные функции и сложность алгоритмов‏‎ (7 версии)
  74. Теоретические проблемы программирования (Архив)‏‎ (7 версии)
  75. Программируемые логические интегральные схемы‏‎ (7 версии)
  76. Дополнительные главы кибернетики и теории управляющих систем‏‎ (6 версии)
  77. Алексеев Валерий Борисович‏‎ (6 версии - страница-перенаправление)
  78. Основы кибернетики (418 группа)‏‎ (6 версии)
  79. Булевы функции и полиномы‏‎ (6 версии)
  80. Дискретная математика и математическая кибернетика (Архив)‏‎ (6 версии)
  81. Практикум (4 курс, осенний семестр 2014 года)‏‎ (6 версии)
  82. Частичные булевы функции‏‎ (5 версии)
  83. Данилов Борис Радиславович‏‎ (5 версии - страница-перенаправление)
  84. Ложкин Сергей Андреевич‏‎ (5 версии - страница-перенаправление)
  85. Проблемы теоретический кибернетики‏‎ (5 версии)
  86. Однородные функции‏‎ (5 версии)
  87. Нагорный Александр Степанович‏‎ (5 версии - страница-перенаправление)
  88. Выставка кафедр‏‎ (5 версии)
  89. C++ 11/14 и современные аспекты построения компиляторов‏‎ (5 версии)
  90. Выставка кафедр 2020‏‎ (5 версии)
  91. Научно-исследовательский семинар "Математические вопросы кибернетики"‏‎ (5 версии - страница-перенаправление)
  92. Команда факультета ВМК - победитель соревнования 2015 CAD Contest‏‎ (4 версий)
  93. Сот‏‎ (4 версий - страница-перенаправление)
  94. Математические модели и методы физического синтеза сверхбольших интегральных схем‏‎ (4 версий)
  95. Практикум (3 курс, весенний семестр)‏‎ (4 версий)
  96. Предикатное определение замкнутых классов‏‎ (4 версий)
  97. Предполные классы многозначной логики‏‎ (4 версий)
  98. Романов Дмитрий Сергеевич‏‎ (4 версий - страница-перенаправление)
  99. Архитектурные особенности современных вычислительных систем‏‎ (4 версий)
  100. Захаров Владимир Анатольевич‏‎ (4 версий - страница-перенаправление)
  101. Сапоженко Александр Антонович‏‎ (4 версий - страница-перенаправление)
  102. Селезнева Светлана Николаевна‏‎ (4 версий - страница-перенаправление)
  103. Вороненко Андрей Анатольевич‏‎ (4 версий - страница-перенаправление)
  104. Семинар MIPSfpga (24.10.2016)‏‎ (4 версий)
  105. Марченков Сергей Серафимович‏‎ (4 версий - страница-перенаправление)
  106. Подловченко Римма Ивановна‏‎ (4 версий)
  107. Научная работа‏‎ (4 версий)
  108. Коды и их применения‏‎ (4 версий)
  109. Функциональные уравнения многозначной логики‏‎ (3 версий)
  110. Актуальные математические задачи, связанные с проектированием СБИС‏‎ (3 версий)
  111. Практикум (3 курс, осенний семестр)‏‎ (3 версий)
  112. Элементарные рекурсивные функции‏‎ (3 версий)
  113. Операторы замыкания в многозначной логике‏‎ (3 версий)
  114. Бухман Антон Владимирович‏‎ (3 версий - страница-перенаправление)
  115. Основы теории алгоритмов‏‎ (3 версий)
  116. Федорова Валентина Сергеевна‏‎ (3 версий - страница-перенаправление)
  117. Практикум (4 курс, весенний семестр)‏‎ (3 версий)
  118. Рамиль Альварес Хосе‏‎ (2 версий)
  119. Основы кибернетики (2-й поток, 4 курс)‏‎ (2 версий)
  120. Вечер кафедр 2016‏‎ (2 версий)
  121. Распределенные алгоритмы‏‎ (2 версий - страница-перенаправление)
  122. Вечер кафедр 2018‏‎ (2 версий)
  123. Математические основы функционального программирования‏‎ (2 версий)
  124. Вечер кафедр 2019‏‎ (2 версий)
  125. Шуплецов Михаил Сергеевич‏‎ (2 версий - страница-перенаправление)
  126. О вечере кафедры математический кибернетики‏‎ (2 версий)
  127. Модели восстановления дискретных функций‏‎ (2 версий)
  128. Дискретный анализ (лекционный курс)‏‎ (2 версий)
  129. Основы проектирования интегральных схем и систем‏‎ (2 версий)
  130. Яблонский Сергей Всеволодович‏‎ (2 версий)
  131. Основы кибернетики (2-й поток) (Архив)‏‎ (2 версий)
  132. Математическая логика (группы 318, 241)‏‎ (2 версий - страница-перенаправление)
  133. Подымов Владислав Васильевич‏‎ (2 версий - страница-перенаправление)
  134. Совместное проектирование аппаратно-программных систем. Системный уровень‏‎ (2 версий)

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