Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)- 09:49, 17 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (Исправил несколько опечаток)
- 19:12, 15 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b48.pdf» (Курс мат.логики для группы 318 и остальных. Блок 48. Проверка моделей относительно CTL)
- 19:11, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b47.pdf» (Весна 2022. Теперь тут про императивные программы и логику Хоара)
- 19:10, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (Весна 2022. Теперь тут общие слова про формальную верификацию)
- 19:09, 15 мая 2022 Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 b45.pdf (Удалена старая версия 20220515160701!Mathlog_318_b45.pdf: дубль)
- 19:09, 15 мая 2022 Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 b45.pdf (Удалена старая версия 20220515160836!Mathlog_318_b45.pdf: загружено по ошибке)
- 19:08, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Теперь тут темпоральные логики)
- 19:07, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Формальная верификация)
- 19:06, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Теперь тут темпоральные логики)
- 19:05, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (Весна 2022. Теперь тут эпистемичекие логики)
- 20:18, 11 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Курсовая работа - титульный лист.doc» (Титульный лист курсовой работы 2022)
- 20:17, 11 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Курсовая работа - требования.pdf» (Требования к курсовой работе 2022)
- 19:02, 29 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (Исправлено несколько опечаток)
- 19:02, 29 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Поправлено несколько опечаток)
- 14:49, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos7-selezn.pdf»
- 13:14, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos5-selezn.pdf»
- 13:01, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos4-selezn.pdf»
- 12:45, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos1-selezn.pdf»
- 12:43, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos1-selezn.pdf»
- 20:32, 26 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-kf-l15-selezn.pdf»
- 17:36, 24 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (Весна 2022. Теперь тут про модальные логики)
- 17:36, 24 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Весна 2022. Теперь тут про арифметику Пресбургера)
- 18:31, 21 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l21-selezn.pdf»
- 18:31, 21 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l20-selezn.pdf»
- 18:36, 20 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (Исправлена пара опечаток)
- 18:36, 20 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (Исправлена пара опечаток)
- 10:59, 20 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-kf-l14-selezn.pdf»
- 17:43, 19 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-kf-l14-selezn.pdf»
- 10:56, 19 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-29.pdf»
- 22:27, 18 апреля 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ЭТСНКДУС-22-1.pdf»
- 08:09, 18 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (Весна 2022. Теперь тут про формальную арифметику и теорему Гёделя о неполноте)
- 08:08, 18 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (Весна 2022. Теперь тут про определения и выразимость)
- 08:07, 18 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (Весна 2022. Теперь тут про арифметические интерпретации и теории)
- 01:00, 15 апреля 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ЭТСНКДУС-22-1.pdf»
- 00:56, 15 апреля 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ЭТДУС-22-1 318.pdf»
- 00:50, 15 апреля 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220415.pdf»
- 22:08, 14 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l19-selezn.pdf»
- 22:04, 14 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l18-selezn.pdf»
- 18:05, 14 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Dsa title.png»
- 17:58, 14 апреля 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:DSA2022.pdf» (Презентация о научно-образовательном направлении "Дискретные структуры и алгоритмы" кафедры МК, 2022)
- 20:03, 12 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-kf-l13-selezn.pdf»
- 12:15, 11 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-22.pdf»
- 12:15, 11 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-15.pdf»
- 21:44, 10 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (Весна 2022. Теперь здесь основные свойства аксиоматических теорий)
- 21:44, 10 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (Весна 2022. Теперь здесь базовые определения про аксиоматические теории)
- 11:21, 8 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l16-selezn.pdf»
- 11:08, 8 апреля 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ЭТСНКДУС-22-1.pdf»
- 20:04, 7 апреля 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТСНКДУС-22-1.pdf»
- 12:01, 7 апреля 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Требования к МД 618.pdf» (Требования к тексту магистерской диссертации в 2022 году)
- 12:00, 7 апреля 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Требования к ВКР 418.pdf» (Требования к тексту ВКР в 2022 году)
- 17:47, 6 апреля 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220408.pdf»
- 19:48, 5 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-kf-l12-selezn.pdf»
- 13:25, 4 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (Расширил список задач, теперь оно на два семинара.)
- 17:49, 3 апреля 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТДУС-22-1 318.pdf»
- 13:45, 1 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-08.pdf»
- 20:22, 31 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l15-selezn.pdf»
- 20:22, 31 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l14-selezn.pdf»
- 11:16, 30 марта 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220401.pdf»
- 13:25, 29 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-01.pdf»
- 08:35, 28 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (Весна 2022. Теперь это теорема Чёрча)
- 08:35, 28 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b35.pdf» (Весна 2022. Теперь это про машины Тьюринга)
- 08:34, 28 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b34.pdf» (Весна 2022. Теперь это про задачи, проблемы, алгоритмы, разрешимость и m-сводимость)
- 23:11, 22 марта 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220325.pdf»
- 15:16, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l13-selezn.pdf»
- 15:15, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»
- 11:04, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-22-03-25.pdf»
- 10:14, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-03-25.pdf»
- 16:48, 21 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b30.pdf» (Исправлена пара незначительных опечаток)
- 16:48, 21 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b28.pdf» (Исправлена незначительная опечатка)
- 01:12, 21 марта 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:OK seminary.zip»
- 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 страницы Половинкина Татьяна Ивановна
- 20:36, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8994 страницы Рамиль Альварес Хосе
- 20:35, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8993 страницы Владимирова Юлия Сергеевна
- 20:33, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8992 страницы Участник:VladimirovaYuS
- 20:33, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8991 страницы Участник:VladimirovaYuS
- 20:32, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8990 страницы Савицкий Игорь Владимирович
- 20:30, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8989 страницы Участник:SavitskiyIV
- 20:28, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8988 страницы Ложкин Сергей Андреевич
- 20:26, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8987 страницы Данилов Борис Радиславович
- 20:26, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8986 страницы Бухман Антон Владимирович
- 20:25, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8985 страницы Участник:ShupletsovMS