Связанные правки для «Математическая логика и логическое программирование (группа 318)»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
20 февраля 2021
- (Журнал загрузок); 12:36 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (исправил ошибку в примерах таблиц)
19 февраля 2021
- (Журнал загрузок); 18:54 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b13.pdf» (Математическая логика для 318, блок 13. завершения рассказа про метод семантических таблиц: пара утверждений и возможности автоматизации п…)
- (Журнал загрузок); 18:53 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b12.pdf» (Математическая логика для 318, блок 12. метод семантических таблиц в логике предикатов: полнота)
- (Журнал загрузок); 18:53 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b11.pdf» (Математическая логика для 318, блок 11. метод семантических таблиц в логике предикатов: корректность)
- (Журнал загрузок); 18:52 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b10.pdf» (Математическая логика для 318, блок 10. метод семантических таблиц в логике предикатов: табличный вывод)
- (Журнал загрузок); 18:52 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b9.pdf» (Математическая логика для 318, блок 9. Подстановки (основные определения))
- (Журнал загрузок); 18:51 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b8.pdf» (Математическая логика для 318, блок 8. метод семантических таблиц в логике предикатов: таблицы)
- (Журнал загрузок); 18:50 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (не помню, менял ли тут чего, так что на всякий случай обновил)
- (Журнал загрузок); 18:50 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (причесал перед окончательным рассказом)
- (Журнал загрузок); 17:56 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» ("счётно-бесконечный" -> "счётный")
- (Журнал загрузок); 17:54 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» ("счётно-бесконечный" -> "счётный")