Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)- 21:40, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b33.pdf» (Весна 2022. Теперь тут полнота НИП)
- 21:39, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (Весна 2022. Теперь тут ГИП и формулировка теоремы Гёделя о полноте)
- 21:38, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b31.pdf» (Весна 2022. Теперь тут основные определения и корректность НИП)
- 21:38, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b30.pdf» (Весна 2022. Теперь тут полнота НИВ и сопутствующее)
- 21:37, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b29.pdf» (Весна 2022. Теперь тут корректность НИВ и сопутствующее)
- 21:36, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b28.pdf» (Весна 2022. Теперь тут основные определения по НИВ)
- 20:22, 19 марта 2022 KonovodovV (обсуждение | вклад) загрузил «Файл:Large graphs and model nets.pdf»
- 14:43, 16 марта 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220318.pdf»
- 13:44, 15 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-03-18.pdf»
- 11:34, 15 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l11-selezn.pdf»
- 11:34, 15 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l10-selezn.pdf»
- 10:22, 14 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (Весна 2022. Теперь здесь начало про логические исчисления.)
- 10:21, 14 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b26.pdf» (Весна 2022. Теперь здесь заключительный пример на методы сем таб и резол.)
- 21:46, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l3-selezn.pdf»
- 21:46, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l2-1-selezn.pdf»
- 21:43, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l7-selezn.pdf»
- 21:42, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l6-selezn.pdf»
- 21:42, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l5-selezn.pdf»
- 21:42, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l4-selezn.pdf»
- 20:38, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8995 страницы Половинкина Татьяна Ивановна