|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
27.10.2016, 12:50 | #1 |
Новичок
Джуниор
Регистрация: 27.10.2016
Сообщений: 2
|
Частичная корректность программы, логика Хоара
Подскажите, являются ли данные программы частично корректными? Если нет, нужно подать пример "x".
Мне кажется, что первая нет, а вторая да, но не совсем понимаю почему. Буду благодарна за подробное объяснение. |
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
помощь с отладкой программы, Сортировка Хоара | Кира123 | Помощь студентам | 1 | 06.05.2016 07:58 |
разбор кода программы (нечеткая логика) | lexflax | Qt и кроссплатформенное программирование С/С++ | 0 | 09.09.2014 16:21 |
Математическая логика (Элементы теории множеств, Логика и исчисление высказываний) | sash_ok.83 | Фриланс | 0 | 12.06.2012 20:43 |
Логика предикатов (мат логика 2 задачи) | Deathcube | Помощь студентам | 0 | 27.02.2012 18:28 |
Логика программы | Romich41 | БД в Delphi | 0 | 26.12.2010 18:23 |