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

[Aleksey Korotkov]

On Sat, 26 Nov 2005 14:50:28 +0200
Michael Shigorin wrote:

MS> программистов-теоретиков
MS> ещё не встречал, в отличие от математиков, физиков да
MS> химиков.

Это, типа, шутка юмора?

Гляньте, например, сюда:

Математическая логика в программировании. М.: Мир, 1991.

(если, конечно, не имеется в виду личная встреча; в последнем
случае -- милости просим в град Ижевск, где можно увидеть одного
из авторов книжки, поминаемой ниже).

MS> (те, кто пишут книжки -- или при этом практики, или,
MS> наверное, "кто не умеет -- учит"?..)

Гляньте, например, сюда:

Непейвода Н.Н., Скопин И.Н. Основания программирования.
Москва-Ижевск: Институт компьютерных исследований, 2003. 

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

mailto:ziga на uni.udm.ru