Файл:Mathlog 318 lecture 13.pdf — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
(PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
 
(не показаны 4 промежуточных версий 1 участника)
(нет различий)

Текущая версия на 11:35, 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 группы
  • Вы не можете перезаписать этот файл.

Нет страниц, ссылающихся на данный файл.