 помогите решить задачу по верификации, задача иностранного вуза на англ языке, срочно |
Здравствуйте, гость ( Вход | Регистрация )
  |
| lidia |
 4.11.2010, 21:48
Сообщение
#1
|
|
Новичок  Группа: Продвинутые Сообщений: 3 Регистрация: 4.11.2010 Город: москва  |
Нужно решить задачу по теме Computer-Aided Formal Verification
|
   |
 
|
| Harch |
4.11.2010, 21:53
Сообщение
#2
|
|
Ассистент Группа: Активисты Сообщений: 834 Регистрация: 21.10.2009 Город: Москва Учебное заведение: МГУ |
И что что надо? Давайте задачу и наработки.
|
|
|
|
| lidia |
6.11.2010, 7:02
Сообщение
#3
|
|
Новичок Группа: Продвинутые Сообщений: 3 Регистрация: 4.11.2010 Город: москва |
Цитата(Harch @ 4.11.2010, 21:53)  И что что надо? Давайте задачу и наработки. вот задания: Прикрепленные файлы 
_________________3_______________.doc ( 25.5 килобайт )
Кол-во скачиваний: 7
____________3.rar ( 73.68 килобайт )
Кол-во скачиваний: 3 |
|
|
|
| Vahappaday |
6.11.2010, 8:14
Сообщение
#4
|
|
Аспирант Группа: Продвинутые Сообщений: 334 Регистрация: 26.4.2009 Город: Липецк Учебное заведение: ЛГТУ Вы: студент |
Здорово указывать пароль в отдельном файлике))))
А что такое AX в первой задаче? В принципе, о чём-то подобном я читал, но с подобной терминологией не сталкивался. И да, сами-то чего нарешали? Да и AF тоже... Вообще, есть компактно изложенная теория? |
|
|
|
| Harch |
6.11.2010, 8:47
Сообщение
#5
|
|
Ассистент Группа: Активисты Сообщений: 834 Регистрация: 21.10.2009 Город: Москва Учебное заведение: МГУ |
Цитата Давайте задачу и наработки. Так и не увидел ваших наработок... |
|
|
|
| lidia |
8.11.2010, 19:02
Сообщение
#6
|
|
Новичок Группа: Продвинутые Сообщений: 3 Регистрация: 4.11.2010 Город: москва |
слева написано что для всех путей начинающихся с данногоо состояния в конце концов будет состояние в котором р верно а справа что для данного состояния либо р верно в данном состоянии, либо для всех путей верно что в следующем состоянии верно тоже выражение что и слев т.е. либо р верно прямо щас, либо в конце концов для всех путей будет состояние в котором оно верно
|
|
|
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | Сейчас: 19.4.2026, 20:49 |
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board
v2.1.7 © 2026 IPS, Inc.
Зеркало сайта Решебник.Ру - reshebnik.org.ru