Статьи по дате последнего редактирования

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

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

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

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