Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 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»)
- 17:54, 19 февраля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b2.pdf»)
- 00:55, 15 февраля 2021 (разн. | история) . . (+1096) . . Математическая логика (318, 319/2, 241, 242)
- 00:49, 15 февраля 2021 (разн. | история) . . (+157) . . Н Файл:Mathlog 318 b7.pdf (Математическая логика для 318, блок 7: метод семантических таблиц в логике высказываний)
- 00:48, 15 февраля 2021 (разн. | история) . . (+191) . . Н Файл:Mathlog 318 b6.pdf (Математическая логика для 318, блок 6: невозможно проверить общезначимость формул логики предикатов в лоб)
- 00:47, 15 февраля 2021 (разн. | история) . . (+197) . . Н Файл:Mathlog 318 b5.pdf (Математическая логика для 318, блок 5: логика предикатов - выполнимость, общезначимость, логическое следствие)
- 17:49, 10 февраля 2021 (разн. | история) . . (+96) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 01:11, 8 февраля 2021 (разн. | история) . . (+675) . . Математическая логика (318, 319/2, 241, 242)
- 01:04, 8 февраля 2021 (разн. | история) . . (+163) . . Н Файл:Mathlog 318 b4.pdf (Математическая логика для 318, блок 4: формализация утверждения на языке логики предикатов)
- 01:04, 8 февраля 2021 (разн. | история) . . (+187) . . Н Файл:Mathlog 318 b3.pdf (Математическая логика для 318, блок 3: базовые определения (синтаксис и семантика) для логики предикатов)
- 01:03, 8 февраля 2021 (разн. | история) . . (+148) . . Н Файл:Mathlog 318 b2.pdf (Математическая логика для 318, блок 2: базовые определения для логики высказываний)
- 01:03, 8 февраля 2021 (разн. | история) . . (+80) . . Н Файл:Mathlog 318 b1.pdf (Математическая логика для 318, блок 1: вводный)
- 16:03, 4 февраля 2021 (разн. | история) . . (-66) . . Математическая логика (318, 319/2, 241, 242)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)