Журнал загрузок
Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 13:25, 29 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-01.pdf»
- 08:35, 28 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (Весна 2022. Теперь это теорема Чёрча)
- 08:35, 28 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b35.pdf» (Весна 2022. Теперь это про машины Тьюринга)
- 08:34, 28 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b34.pdf» (Весна 2022. Теперь это про задачи, проблемы, алгоритмы, разрешимость и m-сводимость)
- 23:11, 22 марта 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220325.pdf»
- 15:16, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l13-selezn.pdf»
- 15:15, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»
- 11:04, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-22-03-25.pdf»
- 10:14, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-03-25.pdf»
- 16:48, 21 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b30.pdf» (Исправлена пара незначительных опечаток)
- 16:48, 21 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b28.pdf» (Исправлена незначительная опечатка)
- 01:12, 21 марта 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:OK seminary.zip»
- 21:40, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b33.pdf» (Весна 2022. Теперь тут полнота НИП)
- 21:39, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (Весна 2022. Теперь тут ГИП и формулировка теоремы Гёделя о полноте)
- 21:38, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b31.pdf» (Весна 2022. Теперь тут основные определения и корректность НИП)
- 21:38, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b30.pdf» (Весна 2022. Теперь тут полнота НИВ и сопутствующее)
- 21:37, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b29.pdf» (Весна 2022. Теперь тут корректность НИВ и сопутствующее)
- 21:36, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b28.pdf» (Весна 2022. Теперь тут основные определения по НИВ)
- 20:22, 19 марта 2022 KonovodovV (обсуждение | вклад) загрузил «Файл:Large graphs and model nets.pdf»
- 14:43, 16 марта 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220318.pdf»
- 13:44, 15 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-03-18.pdf»
- 11:34, 15 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l11-selezn.pdf»
- 11:34, 15 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l10-selezn.pdf»
- 10:22, 14 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (Весна 2022. Теперь здесь начало про логические исчисления.)
- 10:21, 14 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b26.pdf» (Весна 2022. Теперь здесь заключительный пример на методы сем таб и резол.)
- 21:46, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l3-selezn.pdf»
- 21:46, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l2-1-selezn.pdf»
- 21:43, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l7-selezn.pdf»
- 21:42, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l6-selezn.pdf»
- 21:42, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l5-selezn.pdf»
- 21:42, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l4-selezn.pdf»
- 14:11, 10 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l9-selezn.pdf»
- 14:08, 10 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l8-selezn.pdf»
- 11:58, 8 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b25.pdf» (Поправлена стыдная ошибка: следствие не в ту сторону на слайде 2.)
- 11:54, 8 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (Поправлена стыдная ошибка: следствие не в ту сторону на слайде 2.)
- 11:52, 8 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b23.pdf» (Поправлена стыдная ошибка, следствие не в ту сторону на слайде 2.)
- 19:58, 6 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b23.pdf» (ударение над "выводим")
- 19:57, 6 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b22.pdf» (ударение над "выводим")
- 19:49, 6 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b21.pdf» (Мелкая техническая правка)
- 19:46, 6 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b20.pdf» (Мелкая техническая правка)
- 19:42, 6 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (Мелкая техническая правка)
- 21:00, 4 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b25.pdf» (Весна 2022. Теперь здесь теорема Эрбрана и полнота резолютивного вывода)
- 21:00, 4 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (Весна 2022. Теперь здесь про эрбрановские интерпретации)
- 20:59, 4 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b23.pdf» (Весна 2022. Теперь здесь пример обоснования общезначимости методом резолюций)
- 20:59, 4 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b22.pdf» (Весна 2022. Теперь это про резолютивный вывод и его корректность)
- 20:58, 4 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b21.pdf» (Весна 2022. Теперь это про алгоритм унификации)
- 23:55, 3 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l6-selezn.pdf»
- 23:49, 3 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l7-selezn.pdf»
- 11:37, 2 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (Техническая правка: убрал ненужный заголовок слайдов)
- 22:24, 1 марта 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220304.pdf»