Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 18:02, 25 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (опечатки)
- 15:17, 20 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (весна 2023-2024, без существенных изменений)
- 14:36, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (2022-2023, весенний семестр. Теперь тут про семантические таблицы логики предикатов.)
- 13:07, 16 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (2022-2023, весенний семестр. Без существенных изменений)
- 23:00, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (Технические правки, без существенных содержательных изменений.)
- 19:01, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (Весна 2022. Теперь это про метод семантических таблиц в логике высказываний)
- 12:36, 20 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (исправил ошибку в примерах таблиц)
- 18:51, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b8.pdf» (Математическая логика для 318, блок 8. метод семантических таблиц в логике предикатов: таблицы)