Журнал загрузок

Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.

Журналы

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

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

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

• 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» (опечатки)
• 18:48, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 10.pdf» (мелкие технические шероховатости)
• 18:47, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 03.pdf» (опечатки)
• 11:53, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 15.pdf» (2023-2024. теперь здесь равносильность формул)
• 11:53, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 14.pdf» (2023-2024. теперь тут общая схема метода резолюций)
• 11:52, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (2023-2024. теперь тут левенгейм-сколем, мальцев и автоматизация доказательств)
• 11:46, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (2023-2024. Теперь тут свойства трасс, живость и безопасность)
• 11:45, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (2023-2024. Теперь тут нотация для последовательностей)
• 11:45, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (2023-2024. Теперь тут особенности моделирования систем)
• 11:44, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (2023-2024. Теперь тут модели Крипке)
• 11:15, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (опечатки, уточнения)
• 22:38, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP s01.pdf» (Языки описания схем, 2023-2024. Практика: комб и послед схемы)
• 22:34, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 10.pdf» (Языки описания схем, 2023-2024. Шины, регистры, RTL)
• 22:34, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 09.pdf» (Языки описания схем, 2023-2024. Послед схемы)
• 22:33, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 08.pdf» (Языки описания схем, 2023-2024. Ещё о триггерах)
• 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»

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