Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)- 12:06, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (весна 2023-2024, без существенных изменений)
- 12:06, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (весна 2023-2024, без существенных изменений)
- 12:06, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b14.pdf» (весна 2023-2024, без существенных изменений)
- 12:05, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b13.pdf» (весна 2023-2024, без существенных изменений)
- 11:39, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 17.pdf» (опечатки)
- 11:33, 4 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 17.pdf» (распределённые алгоритмы, весна 2023-2024, блок 17)
- 11:33, 4 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 16.pdf» (распределённые алгоритмы, весна 2023-2024, блок 16)
- 11:32, 4 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 15.pdf» (распределённые алгоритмы, весна 2023-2024, блок 15)
- 11:32, 4 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 14.pdf» (распределённые алгоритмы, весна 2023-2024, блок 14)
- 11:32, 4 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 13.pdf» (распределённые алгоритмы, весна 2023-2024, блок 13)
- 09:23, 27 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP S02.pdf» (опечатки)
- 09:23, 27 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 11.pdf» (опечатки)
- 13:08, 26 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 12.pdf» (опечатка в титуле)
- 13:05, 26 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 12.pdf» (распределённые алгоритмы, весна 2023-2024, блок 12)
- 23:51, 25 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 10.pdf» (опечатки)
- 23:40, 25 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP S02.pdf» (Распределённые алгоритмы, весна 2023-2024, семинар 2 (безопасность и живость))
- 18:13, 25 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b12.pdf» (весна 2023-2024, без существенных изменений)
- 18:13, 25 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b11.pdf» (весна 2023-2024, без существенных изменений)
- 18:12, 25 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b10.pdf» (весна 2023-2024, без существенных изменений)
- 18:02, 25 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (опечатки)
- 15:17, 20 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b9.pdf» (весна 2023-2024, без существенных изменений)
- 15:17, 20 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (весна 2023-2024, без существенных изменений)
- 15:17, 20 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (весна 2023-2024, без существенных изменений)
- 15:16, 20 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (весна 2023-2024, без существенных изменений)
- 15:53, 19 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 11.pdf» (распределённые алгоритмы, весна 2023-2024, блок 11)
- 15:53, 19 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 10.pdf» (распределённые алгоритмы, весна 2023-2024, блок 10)
- 15:53, 19 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 09.pdf» (распределённые алгоритмы, весна 2023-2024, блок 9)
- 15:52, 19 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 08.pdf» (распределённые алгоритмы, весна 2023-2024, блок 8)
- 15:52, 19 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 07.pdf» (распределённые алгоритмы, весна 2023-2024, блок 7)
- 13:15, 19 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP S01.pdf» (опечатка)
- 20:01, 18 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP S01.pdf» (Распределённые алгоритмы 2023-2024, семинар 1)
- 10:18, 13 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (весна 2023-2024, без существенных изменений)
- 10:17, 13 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b4.pdf» (весна 2023-2024, без существенных изменений)
- 18:29, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 06.pdf» (Распределённые алгоритмы, 521, весна 2023-2024, блок 6)
- 18:29, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 05.pdf» (Распределённые алгоритмы, 521, весна 2023-2024, блок 5)
- 18:29, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 04.pdf» (Распределённые алгоритмы, 521, весна 2023-2024, Блок 4)
- 18:28, 12 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 02.pdf» (опечатки)
- 18:28, 12 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 01.pdf» (опечатки)
- 10:40, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 03.pdf» (Распределённые алгоритмы, 521, весна 2023-2024, блок 3)
- 10:39, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 02.pdf» (Распределённые алгоритмы, 521, весна 2023-2024, блок 2)
- 10:39, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 01.pdf» (Распределённые алгоритмы, группа 521, весна 2023-2024)
- 16:43, 11 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (весна 2023-2024, без существенных изменений)
- 16:43, 11 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» (весна 2023-2024, без существенных изменений)
- 16:43, 11 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b1.pdf» (весна 2023-2024, без существенных изменений)
- 11:01, 22 января 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP all.pdf» (2023-2024)
- 16:58, 6 января 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP all.pdf» (для экзамена 2023-2024)
- 16:33, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» (опечатки)
- 16:33, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» (опечатки)
- 16:33, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» (опечатки)
- 16:26, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 40.pdf» (опечатки)
- 16:26, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 38.pdf» (опечатки)
- 14:32, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 24.pdf»
- 10:35, 11 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» (2023-2024, без существенных изменений)
- 10:34, 11 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» (2023-2024, без существенных изменений)
- 10:34, 11 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» (2023-2024, без существенных изменений)
- 10:03, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 40.pdf» (методы верификации программ, 2023-2024. блок 40. bmc -> sat)
- 10:03, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 39.pdf» (методы верификации программ, 2023-2024. блок 39. sat)
- 10:02, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 38.pdf» (методы верификации программ, 2023-2024. блок 38. bmc)
- 10:01, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 37.pdf» (методы верификации программ, 2023-2024. блок 37. абстракция и редукция)
- 10:01, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 36.pdf» (методы верификации программ, 2023-2024. блок 36. алгоритм проверки бисимул экв)
- 10:00, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 35.pdf» (методы верификации программ, 2023-2024. блок 35. симуляция и бисимуляция)
- 09:59, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 34.pdf» (методы верификации программ, 2023-2024. блок 34. алгоритм для тиситиэль, системы регионов)
- 13:09, 7 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R06.pdf» (исправлен)
- 13:08, 7 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 17.pdf» (Важное уточнение синтаксиса констант)
- 19:22, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (опечатки)
- 19:22, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (опечатки)
- 19:22, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатки)
- 10:34, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (2023-2024, без существенных изменений)
- 20:30, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 55.pdf» (русифицировал главный термин)
- 20:27, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 55.pdf» (2023-2024, без существенных изменений)
- 20:27, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (2023-2024, без существенных изменений)
- 12:30, 3 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 33.pdf» (Методы верификации программ, 2023-2024. Сети временных автоматов)
- 12:29, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (2023-2024. Теперь тут TCTL)
- 11:30, 28 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (опечатки)
- 11:30, 28 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (опечатки)
- 20:52, 26 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R06.pdf» (языки описания схем. 2023-2024. кое-что ещё 6: эспиай для произвольного числа устройтсв, высокий импеданс)
- 20:37, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (небольшая помарка)
- 20:14, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (2023-2024. без существенных изменений)
- 20:14, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (2023-2024. без существенных изменений)
- 20:14, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 51.pdf» (2023-2024. без существенных изменений)
- 20:13, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 50.pdf» (2023-2024. без существенных изменений)
- 20:13, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (2023-2024. без существенных изменений)
- 20:13, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 48.pdf» (2023-2024. без существенных изменений)
- 17:25, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (2023-2024. теперь здесь про неправдоподобные вычисления временных автоматов)
- 17:25, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» (2023-2024. теперь здесь про срв и временные автоматы)
- 17:24, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (было неверное описание. не символьный алгоритм, а цтл* и сравнение лтл с цтл)
- 17:23, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (2023-2024. теперь здесь окончание символьного алгоритма для цтл)
- 14:30, 25 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R03.pdf» (опечатки)
- 14:29, 25 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R02.pdf» (опечатки)
- 14:29, 25 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R01.pdf» (опечатки)
- 19:18, 24 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Nusmv.pdf» (опечатки)
- 15:05, 19 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R05.pdf» (языки описания схем. 2023-2024. кое-что ещё 5: эспиай для двух устройств)
- 15:05, 19 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R04.pdf» (языки описания схем. 2023-2024. кое-что ещё 4: классификация протоколов передачи данных)
- 15:04, 19 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R03.pdf» (языки описания схем. 2023-2024. приёмник юарт)
- 15:03, 19 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R02.pdf» (языки описания схем. 2023-2024. кое-что ещё 2: передатчик юарт, автоматы с таймерами)
- 15:00, 19 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Nusmv.pdf» (2023-2024, без существенных изменений)
- 14:57, 19 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Nusmv.pdf» (2023-2024, без существенных изменений)
- 19:54, 13 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R01.pdf» (языки описания схем, кое-что ещё, 1. протоколы передачи данных. общее описание юарта)
- 19:51, 13 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 46.pdf» (исправлены недочёты в одном доказательстве)
- 19:50, 13 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem03.pdf» (опечатки)