Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 22:33, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 07.pdf» (Языки описания схем, 2023-2024. Терминология для сигналов)
- 22:32, 11 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 06.pdf» (Языки описания схем, 2023-2024. Комб схемы с обр связью, основные триггеры)
- 22:32, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 06.pdf»
- 22:32, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 05.pdf» (Языки описания схем, 2023-2024. СФЭЗ)
- 22:31, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 04.pdf» (Языки описания схем, 2023-2024. Лог вентили и комб схемы)
- 16:40, 11 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (опечатки)
- 16:31, 11 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (опечатки)
- 17:50, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (2023-2024. Теперь здесь про полноту табличного вывода)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (2023-2024. Теперь здесь про корректность табличного вывода)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 10.pdf» (2023-2024. Теперь здесь про табличный вывод)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 09.pdf» (2023-2024. Теперь здесь про подстановки)
- 17:48, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (2023-2024. Теперь здесь про семантические таблицы (в ЛП))
- 17:48, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 07.pdf» (2023-2024. Без существенных изменений)
- 17:47, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (2023-2024. Без существенных изменений)
- 17:46, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 05.pdf» (2023-2024. Без существенных изменений)
- 17:44, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (опечатки)
- 17:44, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (Опечатки, уточнения)
- 17:38, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (2023-2024. Без существенных изменений)
- 17:35, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (2023-2024. Теперь тут общая схема метода модел чекин)
- 17:35, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 06.pdf» (2023-2024. Теперь тут про возможности автоматизации дедуктивного анализа программ и про слабейшее предусловие)
- 17:34, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (2023-2024. Теперь тут про аннотированные программы)
- 17:34, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (2023-2024. Теперь тут про дедуктивную верификацию программ в целом и про логику Хоара)
- 17:33, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (2023-2024. Теперь тут про общие принципы дедуктивной верификации и про императивные программы)
- 17:31, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (опечатки)
- 14:32, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 03.pdf» (Языки описания схем, блок 3. Физика и КМОП)
- 14:31, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 02.pdf» (Языки описания схем, блок 2. Напоминания: БФ, СФЭ)
- 14:31, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 01.pdf» (Языки описания схем, блок 1 (оргвопросы))
- 00:02, 4 сентября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-23-2 311-319.pdf»
- 23:40, 3 сентября 2023 ZhukovVV (обсуждение | вклад) загрузил «Файл:Pbscpp.pdf»
- 16:49, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (2023/2024, теперь здесь собрано всё напоминание про логику предикатов)
- 16:49, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (2023/2024, без сверхсущественных изменений)
- 16:41, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (2023/2024, без существенных изменений)
- 16:41, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (2023/2024, без существенных изменений)
- 16:40, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 02.pdf» (2023/2024, без существенных изменений)
- 16:39, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (2023/2024, без существенных изменений)
- 17:14, 30 августа 2023 SavitskiyIV (обсуждение | вклад) загрузил «Файл:Программа ДГДМК 2023-2024.pdf»
- 13:48, 29 августа 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10366 страницы Распределенные алгоритмы и системы
- 13:47, 29 августа 2023 Root (обсуждение | вклад) переименовал страницу Распределенные алгоритмы в Распределенные алгоритмы и системы (Актуальное название)
- 13:47, 29 августа 2023 Root (обсуждение | вклад) удалил страницу Распределенные алгоритмы и системы (Лишнее перенаправление)
- 13:46, 29 августа 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10363 страницы Математические модели последовательных вычислений
- 13:46, 29 августа 2023 Root (обсуждение | вклад) переименовал страницу Модели последовательных и параллельных вычислений в Математические модели последовательных вычислений (Актуальное название)
- 13:46, 29 августа 2023 Root (обсуждение | вклад) удалил страницу Математические модели последовательных вычислений (Лишнее перенаправление)
- 13:45, 29 августа 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10360 страницы Математическая логика (318, 319/2, 241, 242)
- 13:44, 29 августа 2023 Root (обсуждение | вклад) переименовал страницу Математическая логика и логическое программирование (группа 318) в Математическая логика (318, 319/2, 241, 242) (Актуальное название)
- 13:44, 29 августа 2023 Root (обсуждение | вклад) удалил страницу Математическая логика (318, 319/2, 241, 242) (Лишнее перенаправление)
- 13:41, 29 августа 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10357 страницы Языки описания схем
- 13:41, 29 августа 2023 Root (обсуждение | вклад) переименовал страницу Языки описания цифровых схем в Языки описания схем (Было неточное название)
- 13:40, 29 августа 2023 Root (обсуждение | вклад) удалил страницу Языки описания схем (Это был костыль, больше нужды нет)
- 17:50, 23 августа 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10354 страницы Проектирование больших систем на С++
- 17:49, 23 августа 2023 Root (обсуждение | вклад) переименовал страницу Проектирование больших систем С++ в Проектирование больших систем на С++ (опечатка)
