Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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»
- 13:45, 1 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l7-selezn.pdf»
- 23:21, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b19.pdf» (Математическая логика для 318, блок 19. Композиция подстановок и постановка задачи унификации)
- 23:20, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b18.pdf» (Математическая логика для 318, блок 18. Системы дизъюнктов)
- 23:19, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b17.pdf» (Математическая логика для 318, блок 17. ССФ)
- 23:19, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b16.pdf» (Математическая логика для 318, блок 16. ПНФ)
- 23:18, 28 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (прошлая версия была не handout. поправил)
- 23:18, 28 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b14.pdf» (прошлая версия была не handout. поправил)
- 23:16, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b15.pdf» (Математическая логика для 318, блок 15. равносильность формул)
- 23:15, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b14.pdf» (Математическая логика для 318, блок 14. общая схема метода резолюций)
- 13:07, 26 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 21:40, 25 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 21:39, 25 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 18:42, 25 февраля 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210226.pdf»
- 15:25, 22 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l6-selezn.pdf»
- 15:12, 22 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 12:36, 20 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (исправил ошибку в примерах таблиц)
