Aleksiej Semenow (matematyk)

Aleksiej Semenow
Alexei Semenov.jpg
Urodzić się ( 13.10.1950 ) 13 października 1950 (wiek 72)
Moskwa , ZSRR
Obywatelstwo  
  ZSRR Rosja
Edukacja Pełnoprawny członek RAS (2011)
Alma Mater Moskiewski Uniwersytet Państwowy (1972)
Nagrody Prize of the President of RF (1997) Kolmogorov Prize Honored Worker of Higher Education of the Russian Federation (2005) Order of Friendship (2010) Order of Honour (2016)
Kariera naukowa
Pola Logika matematyczna
Instytucje






Łomonosowa Moskiewski Uniwersytet Państwowy Instytut Cybernetyki i Informatyki Edukacyjnej im. Axela Berga FRC CSC RAS ​​Moskiewski Państwowy Uniwersytet Pedagogiczny Instytut Edukacji, Uniwersytet HSE Moskiewski Instytut Fizyki i Technologii Uniwersytet Hercena Moskiewski Uniwersytet Miejski
Doradca doktorski Alberta Muchnika
Doktoranci Alexei Lisitsa, Andrey Muchnik , Yuri Pritykin, Tatyana Starikovskaya, Vladimir Vovk

Alexei (także Aleksei, Alexey, Aleksey) L. Semenov (również Siemionow, Semёnov) (ros. Алексей Львович Семенов; ur. 1950) to rosyjski matematyk , pedagog, akademik Rosyjskiej Akademii Nauk , akademik Rosyjskiej Akademii Edukacji , kierownik Katedry Logiki Matematycznej i Teorii Algorytmów, Łomonosowski Uniwersytet Państwowy , profesor , dr hab.



Wręczenie dyplomów z wyróżnieniem studentom Moskiewskiego Państwowego Uniwersytetu Pedagogicznego 12.08.2015 Drugi mężczyzna od lewej w drugim szeregu to Siergiej Siergiejewicz Krawcow – szef Federalnej Służby Nadzoru Oświaty i Nauki; od 2020 - Minister Edukacji Federacji Rosyjskiej.

Wczesne życie i edukacja

Alexei Semenov urodził się w 1950 roku w Moskwie w rodzinie inżynierów elektroników i informatyków. Ukończył moskiewską szkołę nr 7 oraz Wydział Mechaniki i Matematyki Moskiewskiego Uniwersytetu Państwowego im. Łomonosowa (1972). Ukończył stopień kandydata nauk fizycznych i matematycznych ( Uniwersytet Moskiewski , 1975, doradca naukowy — Albert Muchnik , rozprawa „O definiowalności w niektórych teoriach rozstrzygalnych” ), stopień doktora nauk fizycznych i matematycznych ( Instytut Matematyki Stekłowa , 1984, rozprawa doktorska «Teorie logiczne funkcji jednomiejscowych na liczbach całkowitych» ).

Kariera i badania

Semenov prowadził badania w dziedzinie logiki matematycznej , cybernetyki , informatyki teoretycznej , sztucznej inteligencji , edukacji.

Matematyka

Jego główną dziedziną logiki matematycznej jest teoria definiowalności. Znany jest ze swoich wyników rozstrzygalności, twierdzenia Cobhama – Semenova, zastosowań dynamiki symbolicznej, krat opisów definiowalności. Jego uczeń Andrey Muchnik rozwiązał problem Michaela O. Rabina , postawiony na Międzynarodowym Kongresie Matematyków w Nicei. Muchnik i Semenow rozwiązali problem Andrieja Kołmogorowa z jego pracy wywodzącej się z opisowej teorii złożoności. Przyczynił się także do powstania podstaw teorii algorytmów i teorii losowości.

Wśród jego uczniów są Aleksiej Lisica , Jurij Pritykin , Tatiana Starikowskaja i Władimir Wowk .

Informatyka i sztuczna inteligencja

Semenov rozpoczął pracę w praktycznym informatyce w wieku 14 lat we współpracy z matką, a konkretnie w rozpoznawaniu mowy w grupie Dmitrija Pospiełowa . Uczestniczył w ostatniej sowieckiej próbie budowy superkomputera w 1986 roku. W ostatnich latach rozwinął koncepcję indywidualizacji rozszerzonej o instrumenty i media cyfrowe. Koncepcja rozwija wizję Lwa Wygotskiego , Josefa M. Feigenberga , Sherry Turkle , Andy'ego Clarka i Michela Serresa do kontekstu edukacyjnego szkoły masowej.

Edukacja: teoria i realizacja

Teoretyczna i praktyczna praca Aleksieja Semenowa w edukacji wywodzi się z jego zaangażowania jako ucznia, a później jako nauczyciela w szkołach matematycznych Nikołaja Konstantinowa . Jego filozofia edukacyjna jest zakorzeniona w „uczeniu się przez działanie (matematyka ao)” Roberta Lee Moore'a i Paula Halmosa oraz konstrukcjonistycznym podejściu Seymoura Paperta z rosyjskich kręgów matematycznych , patrz także London Knowledge Lab .

podejście prof . , torby, stoły, gry i roboty jako podstawa całej matematyki, w tym między innymi numerycznej (arytmetyki); pierwszeństwo rozwiązywania problemów, których nie wiadomo, jak rozwiązać, nad ćwiczeniem i ćwiczeniem, przy użyciu komputera do wszystkich rutynowych zadań.

W 1985 był organizatorem i współautorem pierwszego podręcznika informatyki dla wszystkich sowieckich szkół (redaktor i współautor – akademik AP Ershov ). Później kierował zespołami autorskimi podręczników do matematyki i informatyki dla szkół podstawowych i średnich.

W 1987 roku po pracy w Akademii Nauk założył niekomercyjny Instytut Nowych Technologii (INT), który wprowadził filozofię konstrukcjonizmu do rosyjskich szkół i rozpoczął współpracę INT i innych rosyjskich pedagogów z grupą Paperta w MIT Media Lab , Błagovest Sendov 's Problem Group on Education w Bułgarskiej Akademii Nauk , grupa Roberta Tinkera w TERC , LCSI , Key Curriculum Press . Dlatego INT wyprodukował rosyjskie adaptacje, materiały do ​​nauki i nauczania dla Logo, edukacyjnego LEGO, Geometry's Sketchpad itp.

Semenov zainicjował i prowadził we współpracy z Siergiejem Soprunowem projekt środowiska uczenia się w stylu Logo dla dzieci przed umiejętnością czytania i pisania, uznany przez S. Paperta w jego książce „The Connected Family”.

W latach 2017-2019 kierował projektowaniem i wdrażaniem systemu edukacji wynikowej (spersonalizowane nauczanie oparte na kompetencjach) dla rosyjskich szkół.

W 2019 roku Alexei Semenov zorganizował 3-letni program „Podstawowe wsparcie naukowe dla cyfryzacji edukacji ogólnej” w Rosyjskiej Fundacji Badań Podstawowych. W wyniku selekcji ekspertów wsparcie finansowe otrzymały 62 zespoły z 12 regionów Rosji. „Karta Cyfrowej Drogi Szkoły” (2021) to jeden z efektów pracy nad programem w wyniku dialogu między uczestnikami Programu a innymi wybitnymi postaciami rosyjskiego szkolnictwa.

W 2021 roku rozpoczął studia magisterskie na Moskiewskim Uniwersytecie Państwowym w zakresie sztucznej inteligencji i technologii cyfrowych. W 2022 roku zreorganizował podstawowy kurs logiki matematycznej i teorii algorytmów jako kurs całkowicie rozwiązujący problemy w stylu Paula Halmosa .

W 2022 roku Aleksiej Semenow został liderem opracowania Nowej Rosyjskiej Encyklopedii Matematycznej jako źródła cyfrowej Wielkiej Encyklopedii Rosyjskiej , gdzie został wiceprzewodniczącym.

W latach 2022-2023 zainicjował projekt metaprzedmiotu szkoły podstawowej „Świat przyszłości”. We wszystkich przedmiotach szkolnych uczniowie są wprowadzani w przyszłość, wykonując swoje prace teraz w takich modułach, jak „Wprowadzenie” (dzieci do siebie nawzajem, do nauczyciela, tabletu i sieci), „Organizacja” (trzymanie się w czasie), „ Komunikacja” (wideo-aidio-tekst, jako zapis pierwszego wspomnienia najstarszego w rodzinie) itp.

Stanowiska dydaktyczne i badawcze

Uczył w moskiewskiej szkole nr 7, szkole z internatem im. Andrieja Kołmogorowa na Moskiewskim Uniwersytecie Łomonosowa oraz na Wydziale Logiki Matematycznej Wydziału Mechaniki i Matematyki Moskiewskiego Uniwersytetu Państwowego im. Łomonosowa .

Rektor Moskiewskiego Instytutu Otwartej Edukacji (1993–2013), który był odpowiedzialny za rozwój zawodowy, doskonalenie zawodowe, poradnictwo i doradztwo dla wszystkich 100 000 moskiewskich nauczycieli. W 2002 roku odtworzył Szkołę nr 179 i przywrócił do niej matematyka i nauczyciela Nikołaja Konstantinowa .

Rektor Moskiewskiego Państwowego Uniwersytetu Pedagogicznego (2013–2016) – wiodącej instytucji kształcącej nauczycieli w kraju.

Dyrektor Instytutu Cybernetyki i Informatyki Edukacyjnej im. Axela Berga FRC CSC Rosyjskiej Akademii Nauk (2015 – obecnie).

Kierownik Katedry Logiki Matematycznej i Teorii Algorytmów Wydziału Mechaniki i Matematyki MSU (2018 – obecnie).

Starszy ekspert w Instytucie Edukacji Wyższej Szkoły Ekonomicznej (Moskwa) (2017 – obecnie).

Redaktor naczelny magazynu „ Kvant ” (2012–2018). Redaktor naczelny czasopisma Doklady Mathematics (od 2021) był zaproszonym redaktorem tomów Informatyki Teoretycznej i MDPI – Matematyka (2022, 2023), patrz Wykaz czasopism naukowych MDPI .

Autor ponad 200 prac naukowych z zakresu matematyki, informatyki i pedagogiki.

Działania międzynarodowe

Alexei Semenov brał udział w wielu międzynarodowych działaniach nauczycieli matematyki i ICT.

Wizja Aleksieja Semenowa była wspierana i rozpowszechniana przez UNESCO za pomocą zaleceń dla szkolnictwa podstawowego i ogólnego. Później brał udział w zespołach kierowanych przez Ivana Kalaša, które tworzyły rekomendacje dla edukacji przedszkolnej i szkolnictwa podstawowego. Uczestniczył w tworzeniu zaleceń UNESCO dotyczących ICT w kształceniu nauczycieli. Działalność i wpływ prof. Aleksieja Semenowa zostały docenione Nagrodą UNESCO w dziedzinie technologii informacyjno-komunikacyjnych w edukacji.

Alexei Semenov był krajowym koordynatorem Drugiego Badania Informatycznego w Edukacji: SITES 2006 , członkiem International Task Force on Teachers for Education 2030 itp.

W 1989 roku zainicjował i odegrał kluczową rolę w powrocie do ZSRR i Europy Środkowej międzynarodowej organizacji zajmującej się technologiami w edukacji ORT (powstałej w St. organizacja.

W latach 2007-2009 był członkiem Komitetu Wykonawczego Międzynarodowej Komisji ds. Nauczania Matematyki .

Nagrody i wyróżnienia

  • Akademik Rosyjskiej Akademii Nauk w Wydziale Nauk Matematycznych (od 2011).
  • Akademik Rosyjskiej Akademii Pedagogicznej (od 2010).
  • UNESCO – Nagroda Króla Hamada Bin Isa Al-Khalifa w 2009 roku – za zastosowanie technologii informacyjno-komunikacyjnych w edukacji.
  • Nagroda im. AN Kołmogorowa 2006 – za wybitne osiągnięcia w dziedzinie matematyki za cykl prac „O udoskonaleniu AN Kołmogorowa , związanych z teorią przypadku”.
  • Nagroda Prezydenta Federacji Rosyjskiej w dziedzinie oświaty w 1998 r. – kierował zespołem ds. opracowania i realizacji kompleksowego programu informatyzacji oświaty w obwodzie moskiewskim.
  • Nagroda Rządu Federacji Rosyjskiej w dziedzinie edukacji w 2009 roku – za rozwój projektu „Informatyzacja systemu edukacji Federacji Rosyjskiej”. Nagroda została przyznana Zarządzeniem Rządu Federacji Rosyjskiej z dnia 28.08.2009 nr 1246-r.
  • Medal „Dla upamiętnienia 850-lecia Moskwy” – przyznany Aleksiejowi Semenowowi w 1997 roku za znaczący wkład w rozwój miasta Moskwy. Medal został zatwierdzony dekretem Prezydenta Federacji Rosyjskiej z dnia 26 lutego 1997 r.
  • Odznaka „Honorowy Pracownik Edukacji Ogólnej Federacji Rosyjskiej” – przyznana w 2000 roku za osiągnięcia w dziedzinie oświaty w Rosji.
  • Order Przyjaźni 2010 - za osiągnięte sukcesy zawodowe i wieloletnią owocną pracę Dekretem Prezydenta Federacji Rosyjskiej z dnia 15 maja 2010 r. Nr 609 „O nagradzaniu odznaczeniami państwowymi Federacji Rosyjskiej”.
  • Wdzięczność Prezydenta Federacji Rosyjskiej w 2012 roku – za osiągnięte sukcesy zawodowe i wieloletnią sumienną pracę Zarządzeniem Prezydenta Federacji Rosyjskiej z dnia 03.05.2012 nr 213-rp.
  • Order Honoru 2016 – za osiągnięcia w rozwoju nauki, edukacji, kształcenia wykwalifikowanych specjalistów i wieloletniej owocnej pracy Dekretem Prezydenta RP nr 359 z dnia 28 lipca 2016 r.
  • Tytuł honorowy „Zasłużony Pracownik Wyższej Szkoły Federacji Rosyjskiej” w 2005 r. – dekretem Prezydenta Federacji Rosyjskiej z dnia 5 lutego 2005 r. Dyplom za Nagrodę Państwową nr 172788.

Życie osobiste

Jego żoną jest EI Bulin-Sokolova, absolwentka Moskiewskiego Uniwersytetu Państwowego , pedagog, doktor nauk pedagogicznych. Dzieci: z Galiną Sheiną: Maria Possitselskaya (1974) – nauczycielka, autorka podręczników do matematyki dla szkoły podstawowej, Daria Semenova (1979) – piosenkarka, nauczycielka, autorka podręczników do muzyki, z Tatianą Rudczenko: Michaił Semenow (1992) – przedsiębiorca startupowy, z EI Bulin-Sokolovą: Marfa Bulin-Sokolova (1994) – projektantka architektoniczna, Fedor Bulin-Sokolov (1995) – analityk finansowy, Anna Semenova (1999) – psycholog, Nikolay Semenov (2001) – fotograf, Andrey Semenov (2004) – modelka i programista, Ivan Semenov – licealista. Wnuki: Alexandra Semenova – językoznawca, Ekaterina Possitselsky – biolog molekularny, Dmitrij, Anastazja, Grigorij, Tymoteusz, Kirill – studenci, Olga – przedszkolak.

Dużą rolę w życiu AL Semenova odegrało spotkanie w 1979 roku z Janą Ryšlinkovą i późniejsze relacje z nią.

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Alexei_Semenov_(mathematician)&oldid=1139398194 ”