Все доступные журналы

Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).

Журналы

Все доступные журналы Журнал блокировок Журнал загрузок Журнал защиты Журнал импорта Журнал объединений Журнал патрулирования Журнал переименований Журнал прав участника Журнал регистрации участников Журнал удалений Исполнитель:  Цель (название или участник):   Найти заголовки, начинающиеся с данных символов

С года (и ранее): С месяца (и ранее): все январь февраль март апрель май июнь июль август сентябрь октябрь ноябрь декабрь

(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)

• 14:01, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 16.pdf» (языки описания схем 2023-2024. verilog - арифметическая трактовка, знаковость, расширение-сужение)
• 14:01, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 15.pdf» (языки описания схем 2023-2024. verilog - логические значения)
• 14:00, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 14.pdf» (Языки описания схем 2023-2024. verilog helloworld с диаграммами сигналов)
• 13:59, 3 октября 2023 Root (обсуждение | вклад) удалил страницу Файл:HDL VP14.pdf
• 13:59, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP14.pdf»
• 13:32, 3 октября 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-10-06.pdf»
• 10:25, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 20.pdf» (2023-2024. теперь уточненная схема автоматного алгоритма для лтл)
• 10:24, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 19.pdf» (2023-2024. теперь автоматы бюхи для лтл-формул)
• 10:24, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 18.pdf» (2023-2024. теперь автоматы бюхи для моделей крипке)
• 10:24, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 17.pdf» (2023-2024. теперь проверка пустоты автоматов бюхи)
• 10:23, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 16.pdf» (2023-2024. теперь пересечение автоматов бюхи)
• 10:23, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (2023-2024. теперь автоматы бюхи и обобщенные)
• 10:22, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 14.pdf» (2023-2024. теперь общая схема автоматного алгоритма для лтл)
• 12:37, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 13.pdf» (улучшенный вариант)
• 12:36, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 12.pdf» (улучшенный вариант)
• 12:36, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 16.pdf» (опечатки)
• 12:35, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 15.pdf» (опечатки)
• 12:34, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (опечатки)
• 12:34, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (опечатки)
• 14:30, 26 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 13.pdf» (Языки описания схем, 2023-2024. V hello world со схемами)
• 14:29, 26 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 12.pdf» (Языки описания схем, 2023-2024. V hello world без схем)
• 14:29, 26 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 11.pdf» (Языки описания схем 2023-2024. V Общие слова)
• 22:48, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 28.pdf» (2023-2024. без существенных изменений)
• 22:47, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 27.pdf» (2023-2024. без существенных изменений)
• 22:47, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 26.pdf» (2023-2024. без существенных изменений)
• 22:46, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 25.pdf» (2023-2024. без существенных изменений)
• 22:46, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 24.pdf» (2023-2024. без существенных изменений)
• 22:46, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 23.pdf» (2023-2024. без существенных изменений)
• 22:45, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 22.pdf» (2023-2024. без существенных изменений)
• 22:45, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 21.pdf» (2023-2024. теперь тут монотонность и транзитивность логического следования)
• 22:44, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 20.pdf» (2023-2024. теперь тут алгоритм унификации)
• 22:44, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (2023-2024. теперь тут композиция подстановок и постановка задачи унификации)
• 22:43, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 18.pdf» (2023-2024. теперь тут системы дизъюнктов)
• 22:43, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 17.pdf» (2023-2024. теперь тут ссф)
• 22:43, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 16.pdf» (2023-2024. теперь тут пнф)
• 10:08, 24 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
• 18:42, 23 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
• 11:55, 23 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
• 19:54, 22 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf» (Изменены планы семинаров и задачи к экзамену)
• 14:10, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem02.pdf» (2023-2024. ничего нового)
• 14:06, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (уточнение)
• 13:53, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (2023-2024. теперь тут про справедливость в целом и в ltl)
• 13:52, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (2023-2024. теперь тут ltl и ltl-mc)
• 13:51, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (опечатки)
• 13:51, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (уточнения и опечатки)
• 19:10, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (опечатки)
• 19:10, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (опечатки)
• 19:10, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (ошибка в определении таблицы (не сверхкритичная, но влияет на экстремальный случай в теоремах про произвольные таблицы))
• 19:03, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (опечатки)
• 12:25, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (опечатки)

(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)