alizar7 фев 2008 в 14:29Премию Тьюринга получил метод логической проверки программного кодаВремя на прочтение1 минОхват и читатели881ЧуланВсего голосов 22: ↑19 и ↓3+16Добавить в закладки4ПоделитьсяКомментарии18
centur7 фев 2008 в 15:46Кстати Нобель не любил математиков потому что у него жену математик увел =))))
jony7 фев 2008 в 15:54Показать предыдущий комментарийнаверна он не любил ещё и тех, кто об этом вспоминал
Li0liQ7 фев 2008 в 16:14Показать предыдущий комментарийА Вы бы на его месте любили после этого математику?)
centur7 фев 2008 в 17:47Показать предыдущий комментарийя бы не акцентировал внимание на профессии. Если только жену не завлекли интегралами =)))
KuLiBiN7 фев 2008 в 22:29Показать предыдущий комментарийА мне по, я "е" в степени "икс" =) (анекдот студенческий вспомнился...)
necrofess7 фев 2008 в 20:35Показать предыдущий комментарийНу еще смотря какая жена. Может потом следовало бы полюбить математиков.
Vergellan7 фев 2008 в 19:43Показать предыдущий комментарийПервый - он всегда один. Не бывает самых и не самых первых.
pavlentij8 фев 2008 в 10:48я диплом по model checking писал, и в италии в универе работал на эту тему ... вот спасибо за новость эту - порадовало!
Премию Тьюринга получил метод логической проверки программного кода