Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 12:56, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b23.pdf» (2022-2023, весенний семестр. Темы те же.)
- 12:56, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b22.pdf» (2022-2023, весенний семестр. Темы те же.)
- 22:15, 15 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 11.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 11. Другие виды сетей Петри)
- 18:05, 15 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 02.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 20.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 19.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 18.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 17.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 16.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 15.pdf» (опечатки)
- 18:03, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 20.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 20. Алгоритм Чанди-Мисры)
- 18:03, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 19.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 19. Алгоритм Мерлина-Сигалла)
- 14:22, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 18.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 18. Алгоритм Туэга)
- 14:22, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 17.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 17. Оптимальные пути для всех пар вершин. Алг Флойда-Уоршелла)
- 14:21, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 16.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 16. Допущения о весах в маршрутизации, графы)
- 14:20, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 15.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 15. Задача маршрутизации)
- 19:29, 13 марта 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem230314.pdf»
- 19:28, 13 марта 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Specsem230307.pdf»
- 19:27, 13 марта 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem230307.pdf»
- 19:23, 13 марта 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem 230307.pdf»
- 19:17, 13 марта 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem 230314.pdf»
- 14:03, 13 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l8.pdf»
- 17:32, 12 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Proseminar 2023.03.07 annotation.pdf» (Просеминар 2022-2023, 7 марта, аннотация доклада (Ложкин С.А., симметричные функции).)
- 23:48, 11 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-03-17.pdf»
- 14:01, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b21.pdf» (2022-2023, весенний семестр. Теперь тут про свойства логического следования)
- 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. Протокол с таймерами)
- 13:58, 6 марта 2023 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-1-selezn-l7.pdf»
- 13:57, 6 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-l7-selezn.pdf»
- 13:54, 6 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l7.pdf»
- 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, весенний семестр. Теперь тут про лёвенгейма-сколема, мальцева и автоматизацию док-ва теорем)
