Журнал загрузок
Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (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. Эрбрановские интерпретации)
- 21:47, 21 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b21.pdf» (поправил не очень хорошо подобранные слова)
- 21:45, 21 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b20.pdf» (поправил незначительные опечатки)
- 16:44, 18 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l7-selezn.pdf»
- 16:43, 18 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l6-selezn.pdf»
- 16:41, 18 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l5-selezn.pdf»
- 16:40, 18 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l4-selezn.pdf»
- 14:58, 18 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b22.pdf» (поправил опечатку на последнем слайде (неверный резолютивный вывод))
- 23:24, 17 марта 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 210319.pdf»
- 23:04, 17 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210319.pdf»
- 21:16, 14 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b22.pdf» (Математическая логика для 318, блок 19. Пример обоснования общезначимости формулы методом резолюций)
- 21:15, 14 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b21.pdf» (Математическая логика для 318, блок 21. Резолютивный вывод и его корректность)
- 21:13, 14 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b20.pdf» (Математическая логика для 318, блок 19. Алгоритм унификации атомарных формул)
- 21:12, 14 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b19.pdf» (косметические правки)
- 21:12, 14 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b18.pdf» (косметические правки + чуть расширено изложение)
- 21:12, 14 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b17.pdf» (косметические правки)
- 21:11, 14 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (косметические правки)
- 14:17, 12 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l8-selezn.pdf»
- 14:17, 12 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l7-selezn.pdf»
- 12:41, 12 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210312.pdf»
- 22:50, 11 марта 2021 RomanovDS (обсуждение | вклад) загрузил «Файл:Popkov KA 2019 Poln diag obr ili zamyk.pdf»
- 19:21, 9 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus5-selezn.pdf»
- 21:10, 4 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l3-selezn.pdf»
- 21:08, 4 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l2-selezn.pdf»
- 21:08, 4 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l1-selezn.pdf»
- 18:14, 4 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210305.pdf»
- 12:49, 4 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l7-selezn.pdf»
- 12:48, 4 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l6-selezn.pdf»
- 22:02, 1 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТДУС-21-1 318.pdf»
- 13:46, 1 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l9-selezn.pdf»
- 13:45, 1 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l8-selezn.pdf»