Вклад участника

(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)

• 14:26, 4 апреля 2021 (разн. | история) . . (+199)‎ . . Н Файл:Mathlog 318 b30.pdf ‎ (Математическая логика для 318, блок 30. Натуральное исчисление предикатов (основные определения, корректность))
• 14:25, 4 апреля 2021 (разн. | история) . . (+152)‎ . . Н Файл:Mathlog 318 b29.pdf ‎ (Математическая логика для 318, блок 29. Натуральное исчисление высказываний (полнота))
• 14:25, 4 апреля 2021 (разн. | история) . . (+162)‎ . . Н Файл:Mathlog 318 b28.pdf ‎ (Математическая логика для 318, блок 28. Натуральное исчисление высказываний (корректность))
• 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»)
• 21:11, 14 марта 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b16.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b16.pdf»)
• 16:04, 8 марта 2021 (разн. | история) . . (+1069)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 15:30, 5 марта 2021 (разн. | история) . . (+27)‎ . . м Спецсеминары ‎
• 23:40, 28 февраля 2021 (разн. | история) . . (+656)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 23:24, 28 февраля 2021 (разн. | история) . . (+712)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 23:21, 28 февраля 2021 (разн. | история) . . (+168)‎ . . Н Файл:Mathlog 318 b19.pdf ‎ (Математическая логика для 318, блок 19. Композиция подстановок и постановка задачи унификации)
• 23:20, 28 февраля 2021 (разн. | история) . . (+102)‎ . . Н Файл:Mathlog 318 b18.pdf ‎ (Математическая логика для 318, блок 18. Системы дизъюнктов)
• 23:19, 28 февраля 2021 (разн. | история) . . (+73)‎ . . Н Файл:Mathlog 318 b17.pdf ‎ (Математическая логика для 318, блок 17. ССФ)
• 23:19, 28 февраля 2021 (разн. | история) . . (+73)‎ . . Н Файл:Mathlog 318 b16.pdf ‎ (Математическая логика для 318, блок 16. ПНФ)
• 23:18, 28 февраля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b15.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b15.pdf»)
• 23:18, 28 февраля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b14.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b14.pdf»)
• 23:16, 28 февраля 2021 (разн. | история) . . (+108)‎ . . Н Файл:Mathlog 318 b15.pdf ‎ (Математическая логика для 318, блок 15. равносильность формул)
• 23:15, 28 февраля 2021 (разн. | история) . . (+120)‎ . . Н Файл:Mathlog 318 b14.pdf ‎ (Математическая логика для 318, блок 14. общая схема метода резолюций)
• 16:57, 28 февраля 2021 (разн. | история) . . (+13)‎ . . Спецсеминары ‎
• 16:23, 25 февраля 2021 (разн. | история) . . (+1853)‎ . . Спецсеминары ‎
• 19:24, 21 февраля 2021 (разн. | история) . . (-646)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 12:36, 20 февраля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b8.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf»)
• 19:02, 19 февраля 2021 (разн. | история) . . (+1143)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 18:54, 19 февраля 2021 (разн. | история) . . (+282)‎ . . Н Файл:Mathlog 318 b13.pdf ‎ (Математическая логика для 318, блок 13. завершения рассказа про метод семантических таблиц: пара утверждений и возможности автоматизации п…)
• 18:53, 19 февраля 2021 (разн. | история) . . (+170)‎ . . Н Файл:Mathlog 318 b12.pdf ‎ (Математическая логика для 318, блок 12. метод семантических таблиц в логике предикатов: полнота)
• 18:53, 19 февраля 2021 (разн. | история) . . (+180)‎ . . Н Файл:Mathlog 318 b11.pdf ‎ (Математическая логика для 318, блок 11. метод семантических таблиц в логике предикатов: корректность)
• 18:52, 19 февраля 2021 (разн. | история) . . (+185)‎ . . Н Файл:Mathlog 318 b10.pdf ‎ (Математическая логика для 318, блок 10. метод семантических таблиц в логике предикатов: табличный вывод)
• 18:52, 19 февраля 2021 (разн. | история) . . (+130)‎ . . Н Файл:Mathlog 318 b9.pdf ‎ (Математическая логика для 318, блок 9. Подстановки (основные определения))
• 18:51, 19 февраля 2021 (разн. | история) . . (+169)‎ . . Н Файл:Mathlog 318 b8.pdf ‎ (Математическая логика для 318, блок 8. метод семантических таблиц в логике предикатов: таблицы)
• 18:50, 19 февраля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b7.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b7.pdf»)
• 18:50, 19 февраля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b6.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b6.pdf»)
• 17:56, 19 февраля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b3.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b3.pdf»)

(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)