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

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

Текущая версия на 18:03, 13 мая 2019

лекция 17 по курсу математической логики для 318 группы

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяРазмерыУчастникПримечание
текущий18:03, 13 мая 2019 (337 КБ)PodymovVV (обсуждение | вклад)поправлены опечатки
16:31, 12 мая 2019 (337 КБ)PodymovVV (обсуждение | вклад)суперобновлённый вариант. 2018/2019 учебный год. табличный алгоритм model checking для ltl
17:18, 16 мая 2016 (863 КБ)PodymovVV (обсуждение | вклад)[необработанный вариант] математическая логика и логическое программирование, лекция 17 по обновлённой программе (2016)
14:40, 29 мая 2015 (361 КБ)PodymovVV (обсуждение | вклад)лекция 17 по курсу математической логики для 318 группы
  • Вы не можете перезаписать этот файл.

Следующая 1 страница ссылается на данный файл: