Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 17:14, 22 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf» (пара новых пунктов, слегка поправленная стилистика)
- 10:49, 16 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf» (немного поменял последние пункты упражнения 2)
- 16:11, 11 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf»
- 15:18, 20 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp 318 seminar definability.pdf» (мат.логика и логическое программирование для группы 318. Семинар по определимости в интерпретациях.)