Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)- 22:58, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b1.pdf» (Технические правки без существенных содержательных изменений.)
- 19:01, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (Весна 2022. Теперь это про метод семантических таблиц в логике высказываний)
- 19:00, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (Весна 2022. Теперь это про невозможность проверки общезначимости формул логики предикатов в лоб)
- 18:59, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (Слегка поправлена раскладка слов)
- 18:57, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (Слегка поправлена раскладка слов)
- 18:56, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Слегка поправлена раскладка слов)
- 18:27, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (Весна 2022. Бывший блок 5: выполнимость, общезначимость и следование в логике предикатов.)
- 18:27, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (Весна 2022. Теперь тут про выполнимость и общезначимость в логике высказываний.)
- 18:26, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b4.pdf» (Весна 2022. Лёгкие правки.)
- 18:25, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Весна 2022. Лёгкие правки.)
- 18:25, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» (Весна 2022. Убрал выполнимость-общезначимость (перенёс на попозже).)
- 18:24, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b1.pdf» (Весна 2022. Укоротил и слегка поправил)
- 00:08, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf» (Обновил год)
- 00:08, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (Обновил год)
- 00:06, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 03.pdf» (Обновил год)
- 00:06, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 02.pdf» (Обновил год)