Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 13:49, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b20.pdf» (2022-2023, весенний семестр. Теперь здесь алгоритм унификации)
- 13:02, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 10.pdf» (опечатка)
- 12:45, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 14.pdf» (небольшие опечатки)
- 12:45, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 13.pdf» (небольшие опечатки)
- 12:31, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (одна несущественная опечатка)
- 12:25, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 09.pdf» (ой, залил битый файл. поправил)
- 12:24, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 09.pdf» (исправлены опечатки)
- 12:24, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 07.pdf» (исправлены опечатки)
- 10:31, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 10.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 10. Языки сетей Петри)
- 10:30, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 09.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 9. R-включение и R-эквивалентность)
- 10:30, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 08.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 8. Моделирование диофантовых многочленов сетями Петри)
- 10:29, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 07.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 7. Диофантовы уравнения)
- 13:01, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 14.pdf» (слегка поправил нотацию)
- 11:43, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b19.pdf» (2022-2023, весенний семестр. Теперь тут про композицию подстановок и унификаторы)
- 11:42, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b18.pdf» (2022-2023, весенний семестр. Теперь тут про системы дизъюнктов)
- 11:42, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b17.pdf» (2022-2023, весенний семестр. Теперь тут ССФ)
- 11:42, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (2022-2023, весенний семестр. Теперь тут ПНФ)
- 11:19, 7 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 14.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 14. Корректность протокола с таймерами)
- 11:19, 7 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 13.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 13. Протокол с таймерами)
- 14:24, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (2022-2023, весенний семестр. Теперь тут про равносильность)
- 14:22, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b14.pdf» (2022-2023, весенний семестр. Теперь тут про общую схему метода резолюций)
- 14:22, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b13.pdf» (2022-2023, весенний семестр. Теперь тут про лёвенгейма-сколема, мальцева и автоматизацию док-ва теорем)
- 14:21, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b12.pdf» (2022-2023, весенний семестр. Теперь тут про полноту табличного вывода)
- 12:32, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 03.pdf» (Исправлена ошибка в последнем примере)
- 10:27, 2 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 06.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 6. Проблемы достижимости и живости для сетей Петри)
- 10:26, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 05.pdf» (Немножко добавлено)
- 19:04, 28 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 09.pdf» (И ещё опечатки)
- 17:24, 28 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 11.pdf» (Исправлены опечатки)
- 17:23, 28 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 10.pdf» (Исправлены опечатки)
- 17:13, 28 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 12.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 12. Особенности реализации симметричного протокола раздвижного окна)
- 14:19, 28 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 11.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 11. Корректность симметричного протокола раздвижного окна)
- 14:19, 28 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 10.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 10. Как обосновывать корректность распределённых алгоритмов. Свойства безопасно…)
- 12:19, 22 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b10.pdf» (Внесены улучшения (более ясно выбраны слова в определении вывода))
- 12:18, 22 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b9.pdf» (Внесены улучшения (добавлен пример в конце))
- 20:40, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 09.pdf» (Исправлены опечатки)
- 20:40, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 08.pdf» (Исправлены опечатки)
- 20:39, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 07.pdf» (Исправлены опечатки)
- 20:39, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 06.pdf» (Исправлены опечатки)
- 18:44, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 05.pdf» (Исправлена опечатка в протоколе на слайде 13)
- 13:38, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 09.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 9: симметричный протокол раздвижного окна)
- 13:37, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 08.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 8: дополнительные допущения, сложность)
- 13:37, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 07.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 7: логические часы)
- 13:36, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 06.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 6: причинно-следственный порядок событий)
- 15:23, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Dusp title.png» (Для презентации 2023)
- 15:22, 20 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DCSA2023.pdf» (Презентация магистерской программы ДУСП по состоянию на 2023)
- 14:57, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 05.pdf» (Исправлены опечатки)
- 14:57, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 04.pdf» (Исправлены опечатки)
- 14:56, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 03.pdf» (Исправлены опечатки)
- 14:38, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b11.pdf» (2022-2023, весенний семестр. Блок 11. Корректность табличного вывода.)
- 14:38, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b10.pdf» (2022-2023, весенний семестр. Блок 10. Табличный вывод.)
