Добро пожаловать,
Свежие материалы
Обсуждения
Микропроцессор "Эверест" (1)
Запрет регистрации на osrc.info (1)
Ответ Javе и Flash'у (70)
Новая программа поддержки от Microsoft (2)
Solaris будет портирован на Itanium и POWER? (3)
9 декабря вышла новая сборка Xameleon (9)
рассылка (2)
ЗРОС (3)
Новый стиль OSRC.info (2)
Обсуждение статьи "Взгляд на развитие YellowTAB" (124)В Сети
Гостей: 6, Пользователей: 0 ...
рекорд он-лайн: 2015
(Пользователей: 1, Гостей: 2014) в 29.03.2010 00:07
Пользователей: 1007
Новичок: alicemokas
рекорд он-лайн: 2015
(Пользователей: 1, Гостей: 2014) в 29.03.2010 00:07
Пользователей: 1007
Новичок: alicemokas
CNews.ru: Компьютер подтвердил: пятый цвет не нужен
 Новая технология контроля логики, удостоверившая корректность компьютерного доказательства математической теоремы, осуществленного еще в 1976 году, позволит повысить эффективность выявления ошибок в коде программных продуктов на ранних этапах их разработки. |
Комментарии
| Freeman |22.04.2005 17:10 | |
| Комментарии: 240 Зарегистрирован: 01.07.2004 14:57 | И это все?? |
| ddc |22.04.2005 20:30 | |
 | Freeman Для желающих есть ещё и ссылка... |
| Dron |22.04.2005 22:22 | |
 | Я тоже что-то не понял где там речь о контроле программных ошибок... Доказали старую гепотезу... и все. И то я не понял почему они уверены что в текущей программе нету ошибок? |
| Roman I Khimov |22.04.2005 23:21 | |
| Комментарии: 952 | Перечитай еще раз. На самом деле, это интереснее, чем четыре цвета на карте. Ключевое слово - coq. |
| ddc |23.04.2005 13:22 | |
| Roman I Khimov Я конечно извиняюсь, но и новость при таком подходе нужно было назвать "Coq проверил теорию о четырёх цветах"... |
| Roman I Khimov |23.04.2005 14:56 | |
| Комментарии: 952 | По мне, главное то, что она появилась и ее прочитали, а название as is с CNews.ru - им уже виднее, как что называть. |
| ddc |24.04.2005 00:10 | |
| "Жираф большой, ему видней..." |
Комментарии доступны только авторизованным пользователям, авторизуйтесь или зарегистрируйтесь на сайте здесь