Trakhtenbrot, Boris Avraamovici
Boris Avraamovici Trakhtenbrot (de asemenea Boris Abramovici , ing. Boris (Boaz) Trachtenbrot, Trakhtenbrot , Trajtenbrot & Trahtenbrot , ebr . בועז טרכטנברוט ; 20 februarie , raionul Sorca1921 , Israel , 1921 , sovietic , 1921, 1921, Israel, Sorca1921 , Israel matematician în domeniul logicii matematice, al teoriei algoritmilor și al ciberneticii . Doctor în științe fizice și matematice (1962), profesor (1963).
Unul dintre pionierii informaticii teoretice din URSS, un teoretician proeminent în domeniul matematicii discrete și al limbajelor formale , precum și al logicii matematice , calculatoarelor electronice , în special teoria automatelor (vezi teorema de indecidibilitate Trakhtenbrot și Trakhtenbrot- Teorema decalajului Borodin ).
Biografie
Boris Trakhtenbrot (inițial Trakhtenbroit) s-a născut în colonia agricolă evreiască basarabeană Brichevo (acum regiunea Dondyushansky din Moldova ) în 1921 în familia lui Abram Trakhtenbroit, care în 1941 a fost deportat într-o așezare și muncă forțată în Siberia . [4] A studiat la o școală primară din Brichevo, apoi la Bălți și la un gimnaziu masculin din Soroca (a absolvit-o în 1939 ). [5] [6]
În 1940 a intrat la Catedra de Fizică şi Matematică a Institutului Pedagogic Chişinău . La începutul lui iulie 1941, B. A. Trakhtenbrot a reușit să evadeze din orașul asediat și să ajungă la Chkalov , unde și-a continuat studiile la institutul pedagogic local, iar un an mai târziu s-a transferat înapoi la Institutul Pedagogic Chișinău , evacuat la Buguruslan . În același timp, a lucrat la o fabrică de pantofi, apoi la construcția unei conducte de gaz între Buguruslan și Kuibyshev . În august 1944, împreună cu Institutul Pedagogic, se întoarce la Chișinău . După ce a primit diploma de absolvire a institutului în 1945, a lucrat ca profesor la Bălți. După ce a decis să se apuce de matematică în serios, în același an a intrat la Facultatea de Fizică și Matematică de la Universitatea din Cernăuți, unde a urmat cursurile de teoria probabilităților susținute de Alexander Bobrov. În 1947 a absolvit Facultatea de Matematică a Universității din Cernăuți și a intrat la Institutul de Matematică al Academiei de Științe a RSS Ucrainei din Kiev . S-a specializat în logica matematică sub îndrumarea lui PS Novikov și și-a susținut disertația în 1950 .
În 1950-1958 a lucrat la Institutul Pedagogic Penza , în 1958-1960 - la Institutul Politehnic Penza [7] . Din 1960 - la Institutul de Matematică al Filialei Siberiei a Academiei de Științe a URSS ( Novosibirsk Academgorodok ) și la Universitatea de Stat din Novosibirsk (din 1963 - profesor, șef de departament).
După ce s-a mutat în Israel în decembrie 1980, a devenit profesor la Departamentul de Științe Exacte și Calculatoare a Universității din Tel Aviv (din 1991 - profesor emerit). Membru al comitetului editorial al revistei Information and Computation (Elsevier).
A început să publice în 1950 ( teorema de indecizie a lui Trakhtenbrot a fost prezentată și demonstrată) și, în același timp, și-a susținut doctoratul . [8] Prima monografie a unui matematician („Algoritmi și rezolvarea problemelor cu mașini”, în 2 ediții - 1957 și 1960) a fost tradusă în bulgară , engleză , franceză (ambele ediții), cehă , japoneză (ambele ediții), spaniolă ( ambele ediții), italiană , turcă , germană și poloneză . Monografiile An Introduction to Finite Automata Theory (1962), Finite Automata : Behavior and Synthesis (1970) și Algorithms and Computing Automata (1974) au fost, de asemenea, traduse în mai multe limbi străine.
În 2008, în seria Pillars of Computer Science, Springer Verlag a publicat o colecție de articole științifice în onoarea celei de-a 85-a aniversări a lui B. A. Trakhtenbrot. Printre studenții și coautorii lui B. A. Trakhtenbrot se numără Janis Barzdin (n. 1937) [9] .
Familie
- Soție (din 1947) - Berta Isaakovna Trakhtenbrot (născută Rabinovich ; 1921, Atacuri - 2013, Rehovot ).
- Fiul - Mark Borisovich Trakhtenbrot (n. 1950), matematician în domeniul metodelor formale de specificare și testare a sistemelor complexe, angajat al Departamentului de Programare al Centrului de Calcul al Filialei Siberiei a Academiei de Științe (1971-1984), secretar științific al Consiliului științific al Centrului de calcul al filialei siberiene a Academiei de Științe URSS din Novosibirsk [10] , șef al Departamentului de Informatică la Institutul de Tehnologie Holon ( Israel , 2006-2009).
- Fiul - Iosif Borisovich Trakhtenbrot (născut în 1952), specialist în dezvoltarea de sisteme software mari.
De asemenea
- Teorema lui Trakhtenbrot (1950)
- Teorema decalajului (1964)
Bibliografie
Vezi bibliografia parțială aici (link descendent din 13-05-2013 [3459 zile] - istoric ) .
Monografii
- Algoritmi și rezolvarea problemelor mașinii. Ediția a doua (extinsă). Fizmatgiz: Moscova , 1960.
- Algoritmie i automatyczne rozwiazyvanie zadan (în poloneză ). Pasttwowe Wydawnictwo Naukowe: Varșovia , 1961.
- Algorithmes et machines à calculer (în franceză ). Dunod: Paris , 1963.
- Algoritmie a strojove reseni ulokh (în cehă ). Nakladatelstvi Ceskoslovenske akademie ved: Praga , 1963.
- Algoritmi și soluții automate pentru probleme (în bulgară ). Editura Darzhavno Tehnica: Sofia , 1963.
- Algoritmi și mașini automate de calcul (în engleză ). În seria „Subiecte în matematică”. DC Heath and Company: Boston , 1963.
- Algoritmi e Macchine Calcolatrici Automatiche (în italiană ). Progresso Tecnico Editoriale: Milano , 1964.
- Algoritmalar ve Otomatik Hesap Makinalari (în turcă ). Turk Matematik Dernegi Yaynlari: Istanbul , 1964.
- Introduccion a la Teoria Matematica de las Computadoras y de la Programacion (în spaniolă ). Siglo Veintiuno Editores SA: Mexico City , 1967.
- Algorithme et Resolution de Problemes par des Machines (în franceză ). A doua parte a cărții Nouvelles Orientations des Mathematiques (I. Yaglom, B. Trakhtenbrot, G. Wenzel, A. Solodovnikov). Edițiile Mir: Moscova , 1975.
- Los Algoritmos y la Resolución Automática de Problemas (în spaniolă ). Editorial Mir: Moscova , 1977.
- アルゴリズムの数学 (単行本(ソフトカバー)) (în japoneză , vezi aici (link descendent din 13-05-2013 [3459 zile]) ). 東京図書: Tokyo , 1994.
- Introducere în teoria automatelor finite (împreună cu N. E. Kobrinsky ). Fizmatgiz (Editura de stat de literatură fizică și matematică): Moscova , 1962.
- Introducere în teoria automatelor finite (în engleză ). În seria „Studii de logică și fundamentele matematicii”. Compania de editură North-Holland: Amsterdam , 1965.
- Uvod do Teorie Konecnych Automatu (în cehă ). Literatura Nakladatelstvi Technicke: Praga , 1967.
- Einfuhrung in die Theory Endlicher Automaten (în germană ). Akademie-Verlag: Berlin , 1967.
- Complexitatea algoritmilor și calculelor (prelegeri). Universitatea de Stat din Novosibirsk: Novosibirsk , 1967.
- Automate finite (comportament și sinteză, cu Ya. M. Barzdin). Știință: Moscova , 1970.
- Finite Automata (Comportament și Sinteză, în engleză ). În seria „Studii fundamentale în informatică”. North-Holland Publishing Company: Amsterdam - Londra , 1973 și American Elsevier Publishing Company: New York , 1973.
- Algoritmi și mașini de calcul. Radio sovietică: Moscova , 1974.
- Algorithmen und Rechenautomaten (în germană ). Deutsche Verlag der Wissenschaften: Berlin , 1977.
- Što su algoritmi: algoritmi i računski automati (în croată ). Školska Knjiga: Zagreb , 1978.
- Algoritmusok és absztrakt automaták (în maghiară ). Műszaki Könyvkiadó: Budapesta și lumea: Moscova , 1978.
- Evoluții selectate în cibernetica matematică sovietică. Delphic Associated: Washington , 1985.
- Pillars of Computer Science: Eseuri dedicate lui Boris (Boaz) Trakhtenbrot cu ocazia celei de-a 85-a ani de naștere (vezi ediția online aici ). Note de curs în informatică (Introducere: De la logică la informatica teoretică, pp. 1-39). Springer: New York , 2008.
Note
- ↑ 1 2 Arhiva MacTutor Istoria Matematicii
- ↑ http://www.iis.nsk.su/
- ↑ 1 2 Genealogie matematică (engleză) - 1997.
- ↑ Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (Vezi ediția online aici Arhivat 22 iulie 2011 la Wayback Machine ). Springer: New York , 2008
- ↑ BA Trakhtenbrot „Early Days” (Pilarii informaticii)
- ↑ Buzya Trakhtenbroit în Soroca . Consultat la 2 noiembrie 2014. Arhivat din original la 24 septembrie 2015. (nedefinit)
- ↑ Genii uitate: Boris Trakhtenbrot . Consultat la 20 septembrie 2016. Arhivat din original pe 9 mai 2018. (nedefinit)
- ↑ B. A. Trakhtenbrot. Amintindu-l pe Alexei Andreevici (anii cincizeci) . Preluat la 24 februarie 2008. Arhivat din original la 26 iunie 2020. (nedefinit)
- ↑ Janis Barzdins (link inaccesibil) . Data accesului: 24 februarie 2008. Arhivat din original la 17 decembrie 2008. (nedefinit)
- ↑ Pagina personală a lui Mark Trakhtenbrot (link inaccesibil) . Consultat la 6 decembrie 2014. Arhivat din original la 24 septembrie 2015. (nedefinit)
Link -uri
Site-uri tematice |
|
---|
În cataloagele bibliografice |
---|
|
|