Журнал загрузок
Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)- 14:26, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b30.pdf» (Математическая логика для 318, блок 30. Натуральное исчисление предикатов (основные определения, корректность))
- 14:25, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b29.pdf» (Математическая логика для 318, блок 29. Натуральное исчисление высказываний (полнота))
- 14:25, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b28.pdf» (Математическая логика для 318, блок 28. Натуральное исчисление высказываний (корректность))
- 14:24, 4 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (не помню, менял ли что, на всякий случай обновил)
- 09:02, 3 апреля 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210402.pdf»
- 20:43, 30 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l14-selezn.pdf»
- 20:43, 30 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l13-selezn.pdf»
- 15:47, 29 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТСНКДУС-21-1.pdf»
- 22:52, 28 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b27.pdf» (Математическая логика для 318, блок 27. Натуральное исчисление высказываний (основные определения))
- 22:51, 28 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b26.pdf» (Математическая логика для 318, блок 26. Устройство доказательств, логические исчисления)
- 22:50, 28 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b25.pdf» (Математическая логика для 318, блок 25. Метод резолюций - заключительный пример)
- 11:09, 24 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»
- 11:09, 24 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l11-selezn.pdf»
- 04:02, 24 марта 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 210326.pdf»
- 04:00, 24 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210326.pdf»
- 19:36, 23 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l11-selezn.pdf»
- 19:35, 23 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l10-selezn.pdf»
- 19:40, 22 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Etdus-lectures-2021-1.pdf»
- 21:52, 21 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b24.pdf» (Математическая логика для 318, блок 24. Полнота резолютивного вывода и теорема Эрбрана)
- 21:49, 21 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b23.pdf» (Математическая логика для 318, блок 23. Эрбрановские интерпретации)