Файл:Mathlog 318 lecture 13.pdf — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf») |
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf») |
(нет различий)
|
Версия 11:32, 25 апреля 2019
лекция 13 по курсу математической логики для 318 группы
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Размеры | Участник | Примечание | |
---|---|---|---|---|
текущий | 11:35, 25 апреля 2019 | (345 КБ) | PodymovVV (обсуждение | вклад) | опечатка была плохо поправлена, а теперь хорошо |
11:32, 25 апреля 2019 | (345 КБ) | PodymovVV (обсуждение | вклад) | исправлена нехорошая опечатка в правилах натурального вывода | |
16:15, 22 апреля 2019 | (345 КБ) | PodymovVV (обсуждение | вклад) | исправлены опечатки | |
20:17, 21 апреля 2019 | (344 КБ) | PodymovVV (обсуждение | вклад) | программа 2018/2019 учебного года: конец рассказа про исчисления | |
20:11, 25 апреля 2018 | (376 КБ) | PodymovVV (обсуждение | вклад) | исправлена некорректность в натуральном выводе | |
16:37, 25 апреля 2018 | (378 КБ) | PodymovVV (обсуждение | вклад) | исправлена некорректность в натуральном выводе | |
16:10, 24 апреля 2018 | (376 КБ) | PodymovVV (обсуждение | вклад) | ||
14:22, 24 апреля 2018 | (375 КБ) | PodymovVV (обсуждение | вклад) | мат.логика и лог.программирование для группы 318 и мат.логика и теория алгоритмов для группы 241. весенний семестр 2018. лекция 13: исчисления пр… | |
10:33, 23 апреля 2018 | (358 КБ) | PodymovVV (обсуждение | вклад) | ||
10:31, 23 апреля 2018 | (358 КБ) | PodymovVV (обсуждение | вклад) | ||
10:30, 23 апреля 2018 | (358 КБ) | PodymovVV (обсуждение | вклад) | ||
13:32, 21 апреля 2017 | (345 КБ) | PodymovVV (обсуждение | вклад) | ||
17:39, 7 июня 2016 | (340 КБ) | PodymovVV (обсуждение | вклад) | математическая логика и логическое программирование, лекция 13 по обновлённой программе (2016) | |
11:41, 25 апреля 2016 | (767 КБ) | PodymovVV (обсуждение | вклад) | [необработанный вариант] математическая логика и логическое программирование, лекция 13 по обновлённой программе (2016) | |
14:38, 10 апреля 2015 | (285 КБ) | PodymovVV (обсуждение | вклад) | лекция 13 по курсу математической логики для 318 группы |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.