Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)- 12:40, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 12.pdf» (опечатки)
- 10:29, 23 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 14.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 14. Стандартные схемы программ)
- 10:29, 23 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 13.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 13. Схемы Ляпунова-Янова)
- 10:28, 23 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 12.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 12. Проблема эквивалентности программ. Схемы программ)
- 19:15, 21 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 23.pdf» (опечатки и грубая ошибка в доказательстве)
- 18:34, 21 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 22.pdf» (опечатки)
- 14:18, 21 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (Весенний семестр 2022-2023. Темы те же)
- 14:18, 21 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b26.pdf» (Весенний семестр 2022-2023. Темы те же)
- 14:18, 21 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b25.pdf» (Весенний семестр 2022-2023. Темы те же.)
- 14:05, 21 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 23.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 23. Простые примеры волновых алгоритмов)
- 14:04, 21 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 22.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 22. Применение волновых алгоритмов - PIF, SYN, INF)
- 14:04, 21 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 21.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 21. Общее про волновые алгоритмы)
- 19:33, 17 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 14.pdf» (и еще опечатка)
- 19:12, 17 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 11.pdf» (опечатки)
- 19:12, 17 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 10.pdf» (опечатки)
- 19:10, 17 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 20.pdf» (и ещё опечатка)
- 13:01, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (опечатки)
- 12:56, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (2022-2023, весенний семестр. Темы те же.)
- 12:56, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b23.pdf» (2022-2023, весенний семестр. Темы те же.)
- 12:56, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b22.pdf» (2022-2023, весенний семестр. Темы те же.)
- 22:15, 15 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 11.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 11. Другие виды сетей Петри)
- 18:05, 15 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 02.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 20.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 19.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 18.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 17.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 16.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 15.pdf» (опечатки)
- 18:03, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 20.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 20. Алгоритм Чанди-Мисры)
- 18:03, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 19.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 19. Алгоритм Мерлина-Сигалла)
- 14:22, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 18.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 18. Алгоритм Туэга)
- 14:22, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 17.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 17. Оптимальные пути для всех пар вершин. Алг Флойда-Уоршелла)
- 14:21, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 16.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 16. Допущения о весах в маршрутизации, графы)
- 14:20, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 15.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 15. Задача маршрутизации)
- 17:32, 12 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Proseminar 2023.03.07 annotation.pdf» (Просеминар 2022-2023, 7 марта, аннотация доклада (Ложкин С.А., симметричные функции).)
- 14:01, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b21.pdf» (2022-2023, весенний семестр. Теперь тут про свойства логического следования)
- 13:49, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b20.pdf» (2022-2023, весенний семестр. Теперь здесь алгоритм унификации)
- 13:02, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 10.pdf» (опечатка)
- 12:45, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 14.pdf» (небольшие опечатки)
- 12:45, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 13.pdf» (небольшие опечатки)
- 12:31, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (одна несущественная опечатка)
- 12:25, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 09.pdf» (ой, залил битый файл. поправил)
- 12:24, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 09.pdf» (исправлены опечатки)
- 12:24, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 07.pdf» (исправлены опечатки)
- 10:31, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 10.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 10. Языки сетей Петри)
- 10:30, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 09.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 9. R-включение и R-эквивалентность)
- 10:30, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 08.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 8. Моделирование диофантовых многочленов сетями Петри)
- 10:29, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 07.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 7. Диофантовы уравнения)
- 13:01, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 14.pdf» (слегка поправил нотацию)
- 11:43, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b19.pdf» (2022-2023, весенний семестр. Теперь тут про композицию подстановок и унификаторы)
- 11:42, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b18.pdf» (2022-2023, весенний семестр. Теперь тут про системы дизъюнктов)
- 11:42, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b17.pdf» (2022-2023, весенний семестр. Теперь тут ССФ)
- 11:42, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (2022-2023, весенний семестр. Теперь тут ПНФ)
- 11:19, 7 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 14.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 14. Корректность протокола с таймерами)
- 11:19, 7 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 13.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 13. Протокол с таймерами)
- 14:24, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (2022-2023, весенний семестр. Теперь тут про равносильность)
- 14:22, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b14.pdf» (2022-2023, весенний семестр. Теперь тут про общую схему метода резолюций)
- 14:22, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b13.pdf» (2022-2023, весенний семестр. Теперь тут про лёвенгейма-сколема, мальцева и автоматизацию док-ва теорем)
- 14:21, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b12.pdf» (2022-2023, весенний семестр. Теперь тут про полноту табличного вывода)
- 12:32, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 03.pdf» (Исправлена ошибка в последнем примере)
- 10:27, 2 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 06.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 6. Проблемы достижимости и живости для сетей Петри)
- 10:26, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 05.pdf» (Немножко добавлено)
- 19:04, 28 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 09.pdf» (И ещё опечатки)
- 17:24, 28 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 11.pdf» (Исправлены опечатки)
- 17:23, 28 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 10.pdf» (Исправлены опечатки)
- 17:13, 28 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 12.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 12. Особенности реализации симметричного протокола раздвижного окна)
- 14:19, 28 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 11.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 11. Корректность симметричного протокола раздвижного окна)
- 14:19, 28 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 10.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 10. Как обосновывать корректность распределённых алгоритмов. Свойства безопасно…)
- 12:19, 22 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b10.pdf» (Внесены улучшения (более ясно выбраны слова в определении вывода))
- 12:18, 22 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b9.pdf» (Внесены улучшения (добавлен пример в конце))
- 20:40, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 09.pdf» (Исправлены опечатки)
- 20:40, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 08.pdf» (Исправлены опечатки)
- 20:39, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 07.pdf» (Исправлены опечатки)
- 20:39, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 06.pdf» (Исправлены опечатки)
- 18:44, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 05.pdf» (Исправлена опечатка в протоколе на слайде 13)
- 13:38, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 09.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 9: симметричный протокол раздвижного окна)
- 13:37, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 08.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 8: дополнительные допущения, сложность)
- 13:37, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 07.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 7: логические часы)
- 13:36, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 06.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 6: причинно-следственный порядок событий)
- 15:23, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Dusp title.png» (Для презентации 2023)
- 15:22, 20 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DCSA2023.pdf» (Презентация магистерской программы ДУСП по состоянию на 2023)
- 14:57, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 05.pdf» (Исправлены опечатки)
- 14:57, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 04.pdf» (Исправлены опечатки)
- 14:56, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 03.pdf» (Исправлены опечатки)
- 14:38, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b11.pdf» (2022-2023, весенний семестр. Блок 11. Корректность табличного вывода.)
- 14:38, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b10.pdf» (2022-2023, весенний семестр. Блок 10. Табличный вывод.)
- 14:38, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b9.pdf» (2022-2023, весенний семестр. Блок 9. База про подстановки.)
- 14:36, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (2022-2023, весенний семестр. Теперь тут про семантические таблицы логики предикатов.)
- 11:48, 17 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 04.pdf» (Исправлены опечатки)
- 11:48, 17 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 03.pdf» (Исправлено ещё больше опечаток)
- 13:07, 16 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (2022-2023, весенний семестр. Без существенных изменений)
- 13:07, 16 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (Весенний семестр 2022-2023. Без существенных изменений)
- 13:06, 16 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (2022-2023, весенний семестр. Убрал монотонность и транзитивность следования, расскажу про них позже, ближе к месту использования)
- 13:05, 16 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (2022-2023, весенний семестр. Без существенных изменений)
- 13:03, 16 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Исправлена одна опечатка)
- 10:32, 16 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 05.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 5. Задачи, проблемы, алгоритмы, разрешимость)
- 10:29, 16 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 04.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 4. Ограниченность и безопасность сетей Петри. Деревья покрытия разметок)
- 13:05, 14 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 05.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 5: пример надёжной передачи через ненадёжный канал)
- 13:04, 14 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 04.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 4: справедливость)
- 13:03, 14 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 03.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 3: системы переходов, синхронная и асинхронная композиция)
- 13:13, 9 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 03.pdf» (Исправлены опечатки)
- 13:13, 9 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 02.pdf» (Исправлены опечатки)
- 13:05, 9 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 02.pdf» (незначительные правки)
- 13:05, 9 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 01.pdf» (незначительные правки)
- 10:32, 9 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 03.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 3, примеры применения и свойства сетей Петри)
- 10:31, 9 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 02.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 2, база про сети Петри)
- 10:30, 9 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 01.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 1, оргвопросы)
- 13:12, 7 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 02.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 2: содержательное вступление.)
- 13:11, 7 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 01.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 1: оргвопросы.)
- 12:33, 6 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b4.pdf» (Весенний семестр 2022/2023, темы те же)
- 12:33, 6 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Весенний семестр 2022/2023, темы те же)
- 12:33, 6 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» (Весенний семестр 2022/2023, темы те же)
- 12:32, 6 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b1.pdf» (Весенний семестр 2022/2023, темы те же)
- 12:17, 29 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (Исправлена одна из формулировок утверждений про шкалы (на конечный итог не влияет))
- 17:22, 21 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP all.pdf» (ММ верификации СиП, 618 и 621, все лекции 2022 для экзамена в одном файле (кроме обзоров Spin и NuSMV))
- 17:02, 21 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP all.pdf» (Мат. лог. и лог. прог., 3 поток, все слайды лекций 2022 в одном файле)
- 22:00, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (Исправлены опечатки)
- 21:59, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (Исправлены опечатки)
- 21:59, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» (Исправлены опечатки)
- 21:58, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» (Исправлены опечатки (и это блок 58, не 56))
- 21:58, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» (Исправлены опечатки)
- 23:05, 11 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif CP 32.pdf» (Методы верификации (618, 621). Блок 32. Решение BMC при помощи SAT)
- 23:05, 11 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 31.pdf» (Методы верификации (618, 621). Блок 31. Проблема выполнимости булевых формул (SAT))
- 23:04, 11 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 30.pdf» (Методы верификации (618, 621). Блок 30. Bounded model checking (BMC), постановка задачи)
- 17:25, 10 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 58.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 56. Алгоритм model checking для CTL)
- 15:28, 7 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 29.pdf» (Методы верификации (618, 621). Блок 29. Редукция по конусу, абстракция данных)
- 15:27, 7 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 28.pdf» (Методы верификации (618, 621). Блок 28. Бисимуляция состояний. Алгоритм проверки бисимуляции. Фактор-модель)
- 15:26, 7 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 27.pdf» (Методы верификации (618, 621). Блок 27. Симуляция и бисимуляция)
- 09:55, 7 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» (Исправлены опечатки)
- 09:54, 7 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (Исправлены опечатки)
- 09:54, 7 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (Исправлены опечатки)
- 11:46, 4 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 57.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 57. Темпоральные логики для спецификации)
- 11:43, 4 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 56.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 56. Размеченные системы переходов)
- 11:42, 4 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 55.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 55. Верификация распределённых систем)
- 14:18, 29 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (Исправил нестыковки обозначений и усовершенствовал)
- 14:18, 29 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (Исправил нестыковки обозначений и усовершенствовал)
- 17:15, 28 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (Исправил опечатки и упр 3)
- 20:10, 26 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Prac Uppaal.zip» (Методы верификации (618, 621). Доп. материалы к задачам по Uppaal)
- 20:07, 26 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Prac Uppaal.pdf» (Методы верификации (618, 621). Задачи по Uppaal)
- 16:20, 26 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (Исправлены опечатки)
- 16:19, 26 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 47.pdf» (Исправлены опечатки)
- 16:11, 26 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 54.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 54. Логика Хоара и автоматизация проверки правильности программ)
- 16:10, 26 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 53.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 53. Модельные императивные программы. Постановка задачи верификации программ)
- 16:09, 26 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 52.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 52. Формальная верификация)
- 19:55, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 26.pdf» (Методы верификации (618, 621). Блок 26. Сети временных автоматов)
- 19:55, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 25.pdf» (Методы верификации (618, 621). Блок 25. Алгоритм model checking для TCTL. Временные регионы, системы регионов)
- 19:54, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 24.pdf» (Методы верификации (618, 621). Блок 24. Логика ветвящегося реального времени (TCTL). Задача model checking для TCTL)
- 19:51, 20 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 47.pdf» (Исправил небольшую неточность на титуле)
- 19:48, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 51.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 51. Интуиционистская логика)
- 19:47, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 50.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 50. Темпоральные логики)
- 19:47, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 49.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 49. Эпистемические логики)
- 19:46, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 48.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 48. Модальные логики)
- 19:46, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 47.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 47. Оператор отрицания. SLDNF)
- 19:45, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 46.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 46. Отрицание в логпрог, cwa)
- 16:19, 17 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 43.pdf» (Развернул слэш в \= и =\= как надо (как написал тут))
- 21:32, 13 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 38.pdf» (Исправлена опечатка)
- 17:47, 13 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 23.pdf» (Методы верификации (618, 621). Блок 23. СРВ, временные автоматы и их неправдоподобные вычисления)
- 17:46, 13 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 22.pdf» (Методы верификации (618, 621). Блок 22. CTL*, сравнение CTL и LTL)
- 12:18, 13 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (Добавил обозначение натуральных с нолём, которое используется, но забыл ввести)
- 18:27, 12 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Nusmv.pdf» (Исправлены опечатки)
- 18:07, 7 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 40.pdf» (Исправлены незначительные опечатки)
- 22:23, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Prac Nusmv.pdf» (Методы верификации (618, 621). Задачи по NuSMV)
- 21:59, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Review Nusmv.pdf» (Методы верификации (618, 621). Блок О2. Обзор NuSMV)
- 18:19, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 45.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 45. Логические программы: управление вычислениями, оператор отсечения)
- 18:18, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 44.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 44. Логические программы: стековые вычисления)
- 18:18, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 43.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 43. Логические программы: встроенные предикаты и функции)
- 18:17, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 42.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 42. Теорема Чёрча)
- 18:17, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 41.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 41. Задачи и проблемы, алгоритмы, разрешимость, m-сводимость)
- 18:16, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 40.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 40. Моделирование машин Тьюринга логическими программами)
- 21:35, 2 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP lections colloq.pdf» (Мат. лог. и лог. прог., 3 поток. Все лекции для коллоквиума)
- 23:24, 1 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 39.pdf» (Добавил одно обозначение в конце)
- 17:57, 31 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 21.pdf» (Исправлены опечатки)
- 17:44, 31 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 39.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 39. Машины Тьюринга)
- 17:43, 31 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 38.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 38. ХЛП: деревья вычислений, стратегии вычисления, стандартная стратегия)
- 17:40, 31 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 37.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 37. ХЛП: переключательная лемма, сильная полнота операционной семантики, стандартное правило выбора подц…)
- 17:40, 31 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 36.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 36. ХЛП, сравнение семантик)
- 14:39, 31 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 21.pdf» (Методы верификации (618, 621). Блок 21. Символьный алгоритм для CTL, преобразователи предикатов, неподвижные точки)
- 16:53, 26 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP sem03.pdf» (Методы верификации (618, 621). Семинар 3. CTL, базовый алгоритм model checking, BDD.)
- 15:13, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 20.pdf» (Исправлены опечатки)
- 15:13, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 19.pdf» (Исправлены опечатки)
- 14:22, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 35.pdf» (Исправлены опечатки, улучшено представление одного из доказательств (добавлена картинка, которую рисовал на лекции))
- 14:21, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 33.pdf» (Исправлены опечатки)
- 14:21, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 32.pdf» (Исправлены опечатки)
- 14:20, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 31.pdf» (Исправлены опечатки)
- 13:04, 24 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 20.pdf» (Методы верификации (618, 621). Блок 20. BDD)
- 13:03, 24 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 19.pdf» (Методы верификации (618, 621). Блок 19. Символьные представления моделей)
- 17:35, 23 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 35.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 35. ХЛП: полнота операционной семантики)
- 17:34, 23 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 34.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 34. ХЛП: корректность операционной семантики)
- 17:34, 23 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 33.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 33. ХЛП: операционная семантика, SLD-вычислимые ответы)
- 17:33, 23 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 32.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 32. ХЛП: списки)
- 17:32, 23 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 31.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 31. ХЛП: синтаксис, декларативная семантика, правильные ответы)
- 17:29, 17 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 18.pdf» (Исправлены опечатки)
- 17:28, 17 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 17.pdf» (Исправлены опечатки)
- 17:28, 17 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 16.pdf» (Исправлены опечатки)
- 17:23, 17 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 30.pdf» (Незначительные изменения на последнем слайде)
- 17:23, 17 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 29.pdf» (Исправлена незначительная опечатка)
- 09:56, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 18.pdf» (Методы верификации (618, 621). Блок 18. Справедливость и CTL)
- 09:55, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 17.pdf» (Методы верификации (618, 621). Блок 17. Базовый алгоритм model checking для CTL)
- 09:55, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 16.pdf» (Методы верификации (618, 621). Блок 16. Логика деревьев вычислений (CTL). Постановка заачи верификации моделей Крипке относительно CTL.)
- 00:16, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 30.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 30. Вычислительные возможности метода резолюций)
- 00:16, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 29.pdf» (Хорновские дизъюнкты)
- 00:15, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 28.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 28. Даша, Саша, Паша, пиво и методы сем таб и резол)
- 00:15, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 27.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 27. Стратегии резолютивного вывода)
- 00:14, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 26.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 26. Иллюстрация полноты резолютивного вывода)
- 21:40, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (Добавил одно недостающее обозначение (множество всех справедливых путей))
- 16:23, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (Небольшая опечатка на последнем слайде)
- 12:34, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Spin.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:33, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:33, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem02.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:33, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:33, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:33, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 14.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 06.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 11:43, 14 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (И ещё опечатка)
- 14:31, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 25.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:31, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 24.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:31, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 23.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 22.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 21.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 20.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 18.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 17.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 16.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 15.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 14.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 10.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 09.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 07.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 05.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 02.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:26, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 20:43, 10 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (Поправлено несколько опечаток)
- 20:29, 10 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 25.pdf» (Поправлено несколько опечаток)
- 21:12, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 25.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 25. Теорема Эрбрана. Полнота резолютивного вывода)
- 21:08, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 24.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 24. Эрбрановские интерпретации. Теорема об эрбр. инт.)
- 21:07, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 23.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 23. Обоснование общезначимости формулы методом резолюций (пример))
- 21:06, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 22.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 22. Резолютивный вывод и его корректность)
- 20:52, 9 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Spin.pdf» (Исправлена опечатка в нумерации упражнений)
- 20:49, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Prac Spin.pdf» (Методы верификации (618, 621). Задачи по Spin)
- 20:47, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Review Spin.pdf» (Методы верификации (618, 621). Блок О1. Обзор Spin)
- 20:27, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (Пересечение -> синхронная композиция)
- 20:25, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 14.pdf» (Добавлено важное уточнение про конечность модели)
- 20:23, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (Поправлено несколько опечаток)
- 20:19, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (Исправлено несколько опечаток)
- 14:07, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 15.pdf» (Методы верификации (618, 621). Блок 15. Автоматный алгоритм model checking для LTL: уточнённая схема)
- 14:07, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 14.pdf» (Методы верификации (618, 621). Блок 14. Автоматы Бюхи для моделей Крипке и ltl-формул)
- 14:06, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 13.pdf» (Методы верификации (618, 621). Блок 13. Пересечение и проверка пустоты автоматов Бюхи)
- 14:05, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 12.pdf» (Методы верификации (618, 621). Блок 12. Автоматы Бюхи, обычные и обобщённые)
- 14:05, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 11.pdf» (Методы верификации (618, 621). Блок 11. Автоматный алгоритм model checking для LTL: общая схема)
- 13:48, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 17.pdf» (Поправлена опечатка (в какой-то момент пропала формулировка теоремы))
- 07:57, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 21.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 21. Алгоритм унификации)
- 07:57, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 20.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 20. Композиция подстановок. Задача унификации (постановка))
- 07:56, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 19.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 19. Системы дизъюнктов)
- 07:55, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 18.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 18. ССФ)
- 07:55, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 17.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 17. ПНФ)
- 18:55, 1 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (Немного поменял обозначение последовательностей и того, откуда берутся их элементы (готическое S и Сигма вместо Сигма и Икс).)
- 18:54, 1 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Немного поменял обозначение последовательностей и того, откуда берутся их элементы (готическое S и Сигма вместо Сигма и Икс).)
- 12:17, 29 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (Исправлено несколько опечаток)
- 12:11, 29 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (Исправлено несколько опечаток)
- 12:05, 29 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (Исправлено несколько опечаток)
- 18:55, 26 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (Исправлено несколько опечаток в доказательстве)
- 14:12, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP sem02.pdf» (Методы верификации (618, 621). Семинар 2. Модели Крипке, LTL, безопасность и живость, справедливость.)
- 14:09, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 10.pdf» (Методы верификации (618, 621). Блок 10. Размеченные системы переходов. Справедливость в целом и в LTL.)
- 14:09, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 09.pdf» (Методы верификации (618, 621). Блок 9. LTL - синтаксис, семантика, постановка задачи верификации)
- 14:08, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 08.pdf» (Методы верификации (618, 621). Блок 8. Свойства трасс. Безопасность и живость.)
- 07:21, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 16.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 16. Равносильность формул логики предикатов)
- 07:20, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 15.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 16. Общая схема метода резолюций)
- 07:19, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 14.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 14. Метод семантических таблиц в логике предикатов: лёвенгейм-сколем, мальцев, автоматизация доказательс…)
- 07:18, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 13.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 13. Метод семантических таблиц в логике предикатов: полнота табличного вывода)
- 07:18, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 12.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 12. Метод семантических таблиц в логике предикатов: корректность табличного вывода)
- 07:17, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 11.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 11. Метод семантических таблиц в логике предикатов: табличный вывод)
- 07:16, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 10.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 10. Подстановки (основные определения))
- 07:15, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 09.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 9. Метод семантических таблиц в логике предикатов: семантические таблицы)
- 21:18, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:17, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:17, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:16, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:16, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:16, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 19:57, 19 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Исправил пару опечаток)
- 19:53, 19 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (Исправил пример невыполнимой формулы и использование не введённого ещё сокращения для цепочки кванторов)
- 09:54, 19 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 07.pdf» (Методы верификации (618, 621). Блок 7, модели Крипке и особенности моделирования систем)
- 09:53, 19 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 06.pdf» (Методы верификации (618, 621). Блок 6, общая схема model checking)
- 01:07, 19 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (Поправлена опечатка в одной формуле)
- 19:44, 17 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 08.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 8. Метод семантических таблиц в логике высказываний)
- 11:38, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP sem01.pdf» (Методы верификации (618, 621). Семинар 1, дедуктивная верификация императивных программ)
- 11:38, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 05.pdf» (Методы верификации (618, 621). Блок 5, автоматизация, слабейшее предусловие)
- 11:37, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 04.pdf» (Методы верификации (618, 621). Блок 4, аннотированные программы)
- 11:36, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 03.pdf» (Методы верификации (618, 621). Блок 3, постановка задачи дедуктивной верификации императивных программ, логика Хоара)
- 08:02, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 07.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 7, логика предикатов: невозможность проверки общезначимости перебором)
- 08:01, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 06.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 6, логика предикатов: выполнимые и общезначимые формулы, модели, логическое следствие, проблема общезнач…)
- 08:00, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 05.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 5, логика высказываний: выполнимые и общезначимые формулы)
- 07:59, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 04.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 4, логика предикатов (пример формализации на языке предикатов))
- 20:11, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Уточнение "инструкция-команда" в синтаксисе программ)
- 20:10, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (Исправлены опечатки)
- 13:21, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (Методы верификации (618, 621). Блок 1, вводный)
- 13:18, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 02.pdf» (Методы верификации (618, 621). Блок 2, синтаксис и семантика модельных императивных программ)
- 13:18, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 01.pdf» (Методы верификации (618, 621). Блок 1, вводный)
- 10:33, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 3, логика предикатов (синтаксис, семантика))
- 10:33, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 02.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 2, логика высказываний (синтаксис, семантика))
- 10:32, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 1, вводный)
- 10:24, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 03.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 3, логика предикатов (синтаксис, семантика))
- 10:23, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 02.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 2, логика высказываний (синтаксис, семантика))
- 10:22, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 01.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 1, вводный)
- 09:49, 17 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (Исправил несколько опечаток)
- 19:12, 15 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b48.pdf» (Курс мат.логики для группы 318 и остальных. Блок 48. Проверка моделей относительно CTL)
- 19:11, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b47.pdf» (Весна 2022. Теперь тут про императивные программы и логику Хоара)
- 19:10, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (Весна 2022. Теперь тут общие слова про формальную верификацию)
- 19:08, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Теперь тут темпоральные логики)
- 19:07, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Формальная верификация)
- 19:06, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Теперь тут темпоральные логики)
- 19:05, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (Весна 2022. Теперь тут эпистемичекие логики)
- 20:18, 11 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Курсовая работа - титульный лист.doc» (Титульный лист курсовой работы 2022)
- 20:17, 11 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Курсовая работа - требования.pdf» (Требования к курсовой работе 2022)
- 19:02, 29 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (Исправлено несколько опечаток)
- 19:02, 29 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Поправлено несколько опечаток)
- 17:36, 24 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (Весна 2022. Теперь тут про модальные логики)
- 17:36, 24 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Весна 2022. Теперь тут про арифметику Пресбургера)
- 18:36, 20 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (Исправлена пара опечаток)
- 18:36, 20 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (Исправлена пара опечаток)
- 08:09, 18 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (Весна 2022. Теперь тут про формальную арифметику и теорему Гёделя о неполноте)
- 08:08, 18 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (Весна 2022. Теперь тут про определения и выразимость)
- 08:07, 18 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (Весна 2022. Теперь тут про арифметические интерпретации и теории)
- 18:05, 14 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Dsa title.png»
- 17:58, 14 апреля 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:DSA2022.pdf» (Презентация о научно-образовательном направлении "Дискретные структуры и алгоритмы" кафедры МК, 2022)
- 21:44, 10 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (Весна 2022. Теперь здесь основные свойства аксиоматических теорий)
- 21:44, 10 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (Весна 2022. Теперь здесь базовые определения про аксиоматические теории)
- 12:01, 7 апреля 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Требования к МД 618.pdf» (Требования к тексту магистерской диссертации в 2022 году)
- 12:00, 7 апреля 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Требования к ВКР 418.pdf» (Требования к тексту ВКР в 2022 году)
- 13:25, 4 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.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-сводимость)
- 16:48, 21 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b30.pdf» (Исправлена пара незначительных опечаток)
- 16:48, 21 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b28.pdf» (Исправлена незначительная опечатка)
- 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. Теперь тут основные определения по НИВ)
- 10:22, 14 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (Весна 2022. Теперь здесь начало про логические исчисления.)
- 10:21, 14 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b26.pdf» (Весна 2022. Теперь здесь заключительный пример на методы сем таб и резол.)
- 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. Теперь это про алгоритм унификации)
- 11:37, 2 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (Техническая правка: убрал ненужный заголовок слайдов)
- 08:47, 28 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b20.pdf» (Весна 2022. Теперь это про композицию подстановок и задачу унификации.)
- 08:47, 28 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b19.pdf» (Весна 2022. Теперь это про системы дизъюнктов.)
- 08:46, 28 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b18.pdf» (Весна 2022. Теперь это про ССФ.)
- 23:04, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b17.pdf» (Весна 2022. Теперь это про ПНФ.)
- 23:04, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (Весна 2022. Теперь это про равносильность формул логики предикатов.)
- 23:03, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (Весна 2022. Теперь это общая схема метода резолюций.)
- 23:03, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b14.pdf» (Весна 2022. Теперь это послесловие метода семантических таблиц (Лёвенгейм-Сколем, Мальцев, автоматизация доказательства теорем).)
- 23:02, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b13.pdf» (Весна 2022. Теперь это про полноту табличного вывода в логике предикатов.)
- 23:02, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b12.pdf» (Весна 2022. Теперь это про корректность табличного вывода в логике предикатов.)
- 23:01, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b11.pdf» (Весна 2022. Теперь это про табличный вывод в логике предикатов.)
- 23:01, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b10.pdf» (Весна 2022. Теперь это про подстановки.)
- 23:00, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b9.pdf» (Весна 2022. Теперь это про семантические таблицы в логике предикатов.)
- 23:00, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:59, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:59, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:59, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:59, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b4.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:58, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:58, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:58, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b1.pdf» (Технические правки без существенных содержательных изменений.)
- 19:01, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (Весна 2022. Теперь это про метод семантических таблиц в логике высказываний)
- 19:00, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (Весна 2022. Теперь это про невозможность проверки общезначимости формул логики предикатов в лоб)
- 18:59, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (Слегка поправлена раскладка слов)
- 18:57, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (Слегка поправлена раскладка слов)
- 18:56, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Слегка поправлена раскладка слов)
- 18:27, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (Весна 2022. Бывший блок 5: выполнимость, общезначимость и следование в логике предикатов.)
- 18:27, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (Весна 2022. Теперь тут про выполнимость и общезначимость в логике высказываний.)
- 18:26, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b4.pdf» (Весна 2022. Лёгкие правки.)
- 18:25, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Весна 2022. Лёгкие правки.)
- 18:25, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» (Весна 2022. Убрал выполнимость-общезначимость (перенёс на попозже).)
- 18:24, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b1.pdf» (Весна 2022. Укоротил и слегка поправил)
- 00:08, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf» (Обновил год)
- 00:08, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (Обновил год)
- 00:06, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 03.pdf» (Обновил год)
- 00:06, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 02.pdf» (Обновил год)
- 20:12, 8 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Добавлена информация о Рамиле и Владимировой)
- 13:26, 8 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Поправлена неточность в наборе ДСА 2021)
- 12:19, 5 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Для выставки 2021)
- 12:34, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 01.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (Обновлён год на титуле)
- 12:30, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (Обновлён год на титуле)
- 12:30, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf» (Обновлён год на титуле)
- 12:29, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf» (Обновлён год на титуле)
- 18:27, 20 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (и ещё пара опечаток поправлена)
- 20:44, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Requirements-kurs-2021.zip»
- 02:58, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b47.pdf» (Математическая логика для 318, блок 47. Проверка моделей относительно логики деревьев вычислений (CTL model checking))
- 02:56, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b46.pdf» (Математическая логика для 318, блок 46. Императивные программы. Формальная верификация программ. Логика Хоара)
- 02:55, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b45.pdf» (Математическая логика для 318, блок 45. Что ещё интересного есть в логике. Формальная верификация)
- 14:48, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Поправил один из законов модальных логик)
- 14:43, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (поправил опечатки)
- 14:40, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (поправил опечатки)
- 14:35, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (поправил опечатки)
- 14:29, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (поправил опечатки)
- 14:22, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (поправил опечатки)
- 20:31, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b44.pdf» (Математическая логика для 318, блок 44. Темпоральные логики)
- 20:31, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b43.pdf» (Математическая логика для 318, блок 43. Эпистемические логики)
- 20:30, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b42.pdf» (Математическая логика для 318, блок 42. Модальные логики)
- 20:53, 25 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b41.pdf» (Математическая логика для 318, блок 41. Арифметика Пресбургера)
- 20:53, 25 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b40.pdf» (Математическая логика для 318, блок 40. Формальная арифметика и теорема Гёделя о неполноте)
- 17:14, 22 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf» (пара новых пунктов, слегка поправленная стилистика)
- 10:51, 21 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:К предзащите 618-2 2021.pdf»
- 10:51, 21 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:К предзащите 418 2021.pdf»
- 22:14, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b39.pdf» (Математическая логика для 318, блок 39. Определения и выразимость)
- 22:13, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b38.pdf» (Математическая логика для 318, блок 38. Арифметические интерпретации и теории)
- 22:12, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b38.pdf» (Математическая логика для 318, блок 35. Арифметические интерпретации и теории)
- 22:11, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b37.pdf» (Математическая логика для 318, блок 37. Основные свойства аксиоматических теорий)
- 22:11, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b36.pdf» (Математическая логика для 318, блок 36. Аксиоматические теории первого порядка. Проблема общезначимости формул в теории)
- 22:00, 18 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b35.pdf» (поправлена опечатка на слайде 3)
- 21:57, 18 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b33.pdf» (поправил небольшие недочёты на предпоследнем слайде)
- 17:29, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b35.pdf» (Математическая логика для 318, блок 35. Теорема Чёрча)
- 17:29, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b34.pdf» (Математическая логика для 318, блок 32. Машины Тьюринга)
- 17:28, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b33.pdf» (Математическая логика для 318, блок 33. Проблемы алгоритмы разрешимость сводимость)
- 17:25, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b33.pdf» (Математическая логика для 318, блок 32. Проблемы алгоритмы разрешимость сводимость)
- 15:52, 7 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (и ещё капельку поправил (расположение правил вывода))
- 15:49, 7 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (поправил несколько слов (чисто стилистика))
- 15:49, 4 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (случайно залил версию не-handout, поправил)
- 14:31, 4 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b31.pdf» (поправил недочёт в титуле)
- 14:28, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b32.pdf» (Математическая логика для 318, блок 32. Натуральное исчисление предикатов (полнота))
- 14:28, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b31.pdf» (Математическая логика для 318, блок 31. Гильбертовское исчисление предикатов. Теорема Гёделя о полноте (формулировка).)
- 14:26, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b30.pdf» (Математическая логика для 318, блок 30. Натуральное исчисление предикатов (основные определения, корректность))
- 14:25, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b29.pdf» (Математическая логика для 318, блок 29. Натуральное исчисление высказываний (полнота))
- 14:25, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b28.pdf» (Математическая логика для 318, блок 28. Натуральное исчисление высказываний (корректность))
- 14:24, 4 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (не помню, менял ли что, на всякий случай обновил)
- 22:52, 28 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b27.pdf» (Математическая логика для 318, блок 27. Натуральное исчисление высказываний (основные определения))
- 22:51, 28 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b26.pdf» (Математическая логика для 318, блок 26. Устройство доказательств, логические исчисления)
- 22:50, 28 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b25.pdf» (Математическая логика для 318, блок 25. Метод резолюций - заключительный пример)
- 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» (поправил незначительные опечатки)
- 14:58, 18 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b22.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» (косметические правки)
- 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. общая схема метода резолюций)
- 12:36, 20 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (исправил ошибку в примерах таблиц)
- 18:54, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b13.pdf» (Математическая логика для 318, блок 13. завершения рассказа про метод семантических таблиц: пара утверждений и возможности автоматизации п…)
- 18:53, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b12.pdf» (Математическая логика для 318, блок 12. метод семантических таблиц в логике предикатов: полнота)
- 18:53, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b11.pdf» (Математическая логика для 318, блок 11. метод семантических таблиц в логике предикатов: корректность)
- 18:52, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b10.pdf» (Математическая логика для 318, блок 10. метод семантических таблиц в логике предикатов: табличный вывод)
- 18:52, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b9.pdf» (Математическая логика для 318, блок 9. Подстановки (основные определения))
- 18:51, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b8.pdf» (Математическая логика для 318, блок 8. метод семантических таблиц в логике предикатов: таблицы)