Вклад участника
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)
- 14:24, 4 апреля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b27.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b27.pdf»)
- 23:01, 28 марта 2021 (разн. | история) . . (+528) . . Математическая логика (318, 319/2, 241, 242)
- 22:52, 28 марта 2021 (разн. | история) . . (+177) . . Н Файл:Mathlog 318 b27.pdf (Математическая логика для 318, блок 27. Натуральное исчисление высказываний (основные определения))
- 22:51, 28 марта 2021 (разн. | история) . . (+157) . . Н Файл:Mathlog 318 b26.pdf (Математическая логика для 318, блок 26. Устройство доказательств, логические исчисления)
- 22:50, 28 марта 2021 (разн. | история) . . (+140) . . Н Файл:Mathlog 318 b25.pdf (Математическая логика для 318, блок 25. Метод резолюций - заключительный пример)
- 22:03, 21 марта 2021 (разн. | история) . . (+19) . . м Математическая логика (318, 319/2, 241, 242)
- 22:01, 21 марта 2021 (разн. | история) . . (+966) . . Математическая логика (318, 319/2, 241, 242)
- 21:52, 21 марта 2021 (разн. | история) . . (+154) . . Н Файл:Mathlog 318 b24.pdf (Математическая логика для 318, блок 24. Полнота резолютивного вывода и теорема Эрбрана)
- 21:49, 21 марта 2021 (разн. | история) . . (+118) . . Н Файл:Mathlog 318 b23.pdf (Математическая логика для 318, блок 23. Эрбрановские интерпретации)
- 21:47, 21 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b21.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b21.pdf»)
- 21:45, 21 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b20.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b20.pdf»)
- 14:58, 18 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b22.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b22.pdf»)
- 18:04, 15 марта 2021 (разн. | история) . . (+165) . . Математическая логика (318, 319/2, 241, 242)
- 21:22, 14 марта 2021 (разн. | история) . . (+331) . . Математическая логика (318, 319/2, 241, 242)
- 21:16, 14 марта 2021 (разн. | история) . . (+180) . . Н Файл:Mathlog 318 b22.pdf (Математическая логика для 318, блок 19. Пример обоснования общезначимости формулы методом резолюций)
- 21:15, 14 марта 2021 (разн. | история) . . (+137) . . Н Файл:Mathlog 318 b21.pdf (Математическая логика для 318, блок 21. Резолютивный вывод и его корректность)
- 21:13, 14 марта 2021 (разн. | история) . . (+136) . . Н Файл:Mathlog 318 b20.pdf (Математическая логика для 318, блок 19. Алгоритм унификации атомарных формул)
- 21:12, 14 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b19.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b19.pdf»)
- 21:12, 14 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b18.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b18.pdf»)
- 21:12, 14 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b17.pdf»)
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)