Борис Аврамович Трахтенброт: біографія

Біографія

Борис Трахтенброт народився в бессарабської єврейської землеробської колонії Брічево (нині Дондюшанський району Молдавії) в 1921 році в родині Абрама Трахтенбройта, в 1941 році висланого на поселення і примусові роботи до Сибіру.

У 1947 році закінчив математичний факультет Чернівецького університету. У 1950-1958 роках працював у Пензенському педагогічному інституті, в 1958-1960 роках - у Пензенському політехнічному інституті. З 1960 року - в Інституті математики Сибірського відділення Академії наук СРСР (Новосибірський Академмістечко) і в Новосибірському державному університеті (з 1963 року - професор, завідувач відділом).

Після переїзду до Ізраїлю в грудні 1980 року - професор відділення точних і комп'ютерних наук Тель-Авівського університету (з 1991 року - professor emeritus). Член редколегії журналу «Information and Computation» (Elsevier).

Б. А. Трахтенброт - один з засновників теоретичної інформатики (TCS, theoretical computer science) в СРСР, видатний теоретик у галузі дискретної математики і формальних мов, а також математичної логіки, електронних обчислювальних машин, особливо теорії автоматів (див. теорему нерозв'язності Трахтенброта і щілинних теорему Трахтенброта-Бородіна).

Публікуватися почав в 1950 році (представлена ??і доведена теорема нерозв'язності Трахтенброта) і тоді ж захистив кандидатську дисертацію в Інституті математики Української Академії Наук (Київ) за темою «розв'язання проблем для кінцевих класів і визначення кінцевих класів »під науковим керівництвом професора (згодом академіка) П. С. Новікова. Перша ж монографія математика («Алгоритми і машинне рішення задач», в 2-х виданнях - 1957 і 1960) була переведена на болгарська, англійська, французька (обидва видання), чеський, японський (обидва видання), іспанська (обидва видання), італійський, турецький, німецьку та польську мови. Монографії «Введення в теорію кінцевих автоматів» (1962), «Кінцеві автомати: поведінка і синтез» (1970) і «Алгоритми та обчислювальні автомати» (1974) також були переведені на кілька іноземних мов.

У 2008 році в серії «Основи комп'ютерних наук» (Pillars of Computer Science) видавництва Springer Verlag вийшов збірник наукових статей на честь 85-річчя Б. А. Трахтенброта. Серед учнів Б. А. Трахтенброта - Яніс Барздіньс (нар. 1937).

Син Б. А. Трахтенброта -Марк Борисович Трахтенброт- математик в області формальних методів специфікації і тестування складних систем, співробітник Відділу програмування ВЦ СВ АН (1971-1984), вчений секретар Наукової ради Обчислювального Центру Сибірського відділення АН СРСР в Новосибірську (другий праворуч), нині завідувач відділом комп'ютерних наук в Холонском інституті технології (Ізраїль).

Бібліографія

Див часткову бібліографію тут.

Монографії

• Алгоритми і машинне рішення завдань. У серії «Популярні лекції з математики». Гостехиздат: Москва, 1957 (видання японською мовою - Токіо, 1959 і 1964).

• Введення в теорію кінцевих автоматів (спільно з Н. Є. Кобринським). Физматгиз (Державне видавництво фізико-математичної літератури): Москва, 1962.

• Складність алгоритмів і обчислень (лекції). Новосибірський Державний університет: Новосибірськ, 1967.
• Кінцеві автомати (поведінка і синтез, спільно з Я. М. Барздінем). Наука: Москва, 1970.

• Алгоритми та обчислювальні автомати. Радянське радіо: Москва, 1974.

• Selected Developments in Soviet Mathematical Cybernetics. Delphic Associated: Вашингтон, 1985.
• Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (див. електронне видання тут). Lecture Notes in Computer Science (Вступ: From Logic to Theoretical Computer Science, стор 1-39). Springer: Нью-Йорк, 2008.

Комментарии

Сайт: Википедия