Редактирование: МФСП, 12 лекция (от 26 ноября)

Материал из eSyr's wiki.

Перейти к: навигация, поиск

Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.

Текущая версия Ваш текст
Строка 19: Строка 19:
По этому поводу будут 2 задачи:
По этому поводу будут 2 задачи:
-
# Написать формулу, получающуюся при решении задачи по методу Флойда и показать, как она будет доказываться в PVS.
+
# Написать формулу, получающуюся при решении задачи по методу Флойда
-
# Тоже на доказательство в PVS, скорее всего с применением индукции, но не сильно сложное.
+
и показать, как она будет доказываться в PVS.
 +
# Тоже на доказательство в PVS, скорее всего с применением индукции,
 +
но не сильно сложное.
Следующая среда — консультация, через раз — коллоквиум.
Следующая среда — консультация, через раз — коллоквиум.

Пожалуйста, обратите внимание, что все ваши добавления могут быть отредактированы или удалены другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. eSyr's_wiki:Авторское право).
НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!


Отменить | Справка по редактированию (в новом окне)

Шаблоны, использованные на этой странице:

Получено с http://esyr.us/wiki/%D0%9C%D0%A4%D0%A1%D0%9F%2C_12_%D0%BB%D0%B5%D0%BA%D1%86%D0%B8%D1%8F_%28%D0%BE%D1%82_26_%D0%BD%D0%BE%D1%8F%D0%B1%D1%80%D1%8F%29
Личные инструменты
Разделы