Обговорення:Припущення (програмування)

А statement теж перекладають як твердження ---- Ілля 09:26, 9 листопада 2006 (UTC)

Є ще варіант, перекладати assertion як припущення. --vityok 11:51, 9 листопада 2006 (UTC)

Справді, припущення звучить краще. Бо твердження це скоріше щось на зразок (2+2 == 4) == True. Крім того assert 2+2 == 4, це як "Нехай 2+2 == 4". А якщо ні, то ми далі не працюємо. --Буник 04:40, 2 лютого 2011 (UTC)

А я би сказав, що Припущення - це assum(). assert - це у більшості випадків вбивство програми, а не твердження. Назвали би краще або Assertion або Асертація або Перевірка_припущення_(програмування) --94.154.222.3 18:26, 2 лютого 2011 (UTC) danbst(c)2011

assertion - судження, твердження, вислів. 1. Вираз який у разі неправильного значення є помилкою. Подібні вирази можна використовувати з метою налагодження програм. 2. у логічному програмуванні - новий факт, або правило, які програма під час виконання вводить до бази даних. (див. також logic programming, Prolog, run time). Е. М. Пройдаков, Л. А. Теплицький. Англо-Український тлумачний словник з обчислювальної техніки, Інтернету і програмування. — СофтПрес. — С. 552. — ISBN 966-530-070-9.

Хоча й не дуже люблю цю книжку. Яке таке неправильне значення? False? Ви так кажете ніби False це щось погане :). І що ще за налагодження програми? :) BTW IMHO, перевірка припущення досить навіть класний термін. --Буник 18:42, 2 лютого 2011 (UTC)

Я теж так думаю, класний термін )) Ну вже точно не "припущення". І ще, коментар до прикладу неправильний або занадто закручений або приклад некоректний. Які від'ємні числа? Якщо потрібно зробити перевірку на від'ємні числа, то її треба ставити вище, типу

  int total = countNumberOfUsers();
  assert(total >= 0);
  if (total % 2 == 0) {
      // total парне
  } else {
      // total не парне
  }

--Danbst 19:45, 2 лютого 2011 (UTC)

Як на мене, то мова програмування має бути лаконічною. Краще обрати якесь одне слово: перевірити буде, як на мене, непоганим варіантом. Але це більше стосується конкретних варіантів мов програмування, назва статті може й не бути точним відповідником слова мови програмування.--vityok 21:15, 2 лютого 2011 (UTC)

Так ассерт - це досить лаконічний термін, його і використовують в "побуті". А офіціальний термін може бути скільки завгодно довгим, його основне призначення - відображати суть поняття якомога коректніше. Слово "перевірити" занадто туманне (звичайне розгалуження також перевіряє по своїй суті вираз). Якби я тут заправляв, то залишив оригінальний англійський термін як назву статті і від нього відштовхувався.

Окрім того, стаття про, наскільки я зрозумів, конструкцію програмування, а не про оператор/функцію конкретної мови. --Danbst 22:14, 2 лютого 2011 (UTC)

Перевірка припущення - це уже дія яка виконується програмою. Ми ж кодуючи лише задаємо дане "припущення" на розгляд програмі під час виконання. Тому "перевірка припущення" некоректно, назва повинна бути або "припущення" або "судження", як вказано в наведеному вище джерелі. Твердження мені особисто також не дуже подобається... хоча по аналогії до рос. утверждение може бути але стосовно англ. не дуже. Volodimirg 16:41, 29 червня 2011 (UTC)

можливо все таки "судження" - оскільки воно передбачає перевірку припущення Volodimirg 17:51, 29 червня 2011 (UTC)

Як на мене це пересвідчення. To assert означає пересвідчитись. І нема перекриття з іншими термінами. --Дядько Ігор 06:15, 5 липня 2011 (UTC)