[room] программирование и математика

[Aleksey Korotkov]

On Mon, 28 Nov 2005 22:38:36 +0200
Michael Shigorin wrote:

MS> > Непейвода Н.Н., Скопин И.Н. Основания программирования.
MS> > Москва-Ижевск: Институт компьютерных исследований, 2003. 
MS> 
MS> Они не пишут (не писали) что-то работающее при этом?

Про Скопина ничего сказать не могу (не знаком). Гугль в помощь.

У Непейводы учился, потом работали на одном факультете, одно
время и на одной кафедре (последний год я на другом факультете
работаю). Математик с мировым именем. Интереснейший собеседник,
человек с широчайшим кругозором. Про писали (пишут) -- сейчас не
знаю, а одно время он работал программистом (причём довольно
недавно) в Новосибирске (кажется, в "Новософте").

Погуглить могли и сами :)

Вот что нашлось сходу:

http://www.intuit.ru/lector/66.html
http://www.intuit.ru/department/se/progstyles/
http://potential.org.ru/bin/view/Home/NepeivodaLecture
(вот это, кажется, очень в тему: Лекция Н.Н.Непейводы в МФТИ 14
мая 2005 "Призраки и подпорки: на стыке между теорией и практикой
программирования":
http://potential.org.ru/pub/Home/NepeivodaLecture/part1.WAV
http://potential.org.ru/pub/Home/NepeivodaLecture/part2.WAV;
только объём уж очень не_для_модема :(; пожали бы хоть в ogg/mp3)
http://ulm.udsu.ru/~nnn/
http://www.nsu.ru/archive/conf/nit/96/sect1/node14.html
http://is.ifmo.ru/aboutus/_log_prog2.pdf
http://www.philosophy.ru/library/logic/SR-4-NNN.doc
http://v3.udsu.ru/item-ipspub/meth-v/obj-14590.html
http://v3.udsu.ru/item-ipspub/meth-v/obj-15594.html
http://www.osp.ru/os/2004/02/077.htm
http://cniudgu.dax.ru/mion_pblc.htm

Пример работы:
http://ershov.iis.nsk.su/archive/eaimage.asp?lang=1&did=2719&fileid=80100
http://ershov.iis.nsk.su/archive/eaimage.asp?lang=1&did=2719&fileid=80101
и далее. Попробуйте разобраться :)

-- 
С уважением,
Алексей Коротков

mailto:ziga на uni.udm.ru