Борис Авраамович Трахтенброт

Биография

Борис Трахтенброт ( 20 февраля 1921, Бричево, Сорокский уезд, Бессарабия — 19 сентября 2016, Реховот, Израиль) - советский и израильский математик в области математической логики, теории алгоритмов и кибернетики. Доктор физико-математических наук (1962), профессор (1963).
Один из начинателей теоретической информатики в СССР, видный теоретик в области дискретной математики и формальных языков, а также математической логики, электронных вычислительных машин, в особенности теории автоматов.
Публиковаться начал в 1950 году (представлена и доказана теорема неразрешимости Трахтенброта) и тогда же защитил кандидатскую диссертацию в Институте математики Украинской Академии Наук (Киев) по теме «Разрешимость проблем для конечных классов и определения конечных классов» под научным руководством профессора (впоследствии академика) П. С. Новикова. Первая же монография математика («Алгоритмы и машинное решение задач», в 2-х изданиях — 1957 и 1960) была переведена на болгарский, английский, французский (оба издания), чешский, японский (оба издания), испанский (оба издания), итальянский, турецкий, немецкий и польский языки. Монографии «Введение в теорию конечных автоматов» (1962), «Конечные автоматы: поведение и синтез» (1970) и «Алгоритмы и вычислительные автоматы» (1974) также были переведены на несколько иностранных языков.
В 2008 году в серии «Столпы компьютерных наук» (Pillars of Computer Science) издательства Springer Verlag вышел сборник научных статей в честь 85-летия Б. А. Трахтенброта.



Показывать:
Вне серий
Вне серий
Введение в теорию конечных автоматов 13M, 405 с.   (скачать pdf)

X