Alexei Semenov (matematiker)

Alexei Semenov
Alexei Semenov.jpg
Född ( 1950-10-13 ) 13 oktober 1950 (72 år)
Moskva , Sovjetunionen
Medborgarskap  
  Sovjetunionen Ryssland
Utbildning Fullständig medlem RAS (2011)
Alma mater Moscow State University (1972)
Utmärkelser 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)
Vetenskaplig karriär
Fält Matematisk logik
institutioner






Lomonosov Moscow State University Axel Berg Institute of Cybernetics and Educational Computing FRC CSC RAS ​​Moscow State Pedagogical University Institute of Education, HSE University Moscow Institute of Physics and Technology Herzen University Moscow City University
Doktorand rådgivare Albert Muchnik
Doktorander Alexei Lisitsa, Andrey Muchnik , Yuri Pritykin, Tatyana Starikovskaya, Vladimir Vovk

Alexei (även Aleksei, Alexey, Aleksey) L. Semenov (även Semyonov, Semёnov) ( ryska: Алексей Львович Семенов; född 1950) är en rysk matematiker , pedagog, akademiker vid den ryska akademin för vetenskaper , Ryska akademin för utbildning. , chef för institutionen för matematisk logik och teori om algoritmer, Lomonosov State University , professor , Dr. Sc.



Presentation av hedersdiplom till studenter vid Moscow State Pedagogical University 12 augusti 2015 Den andra mannen från vänster i den andra råa är Sergey Sergeevich Kravtsov – chef för Federal Service for Supervision in Education and Science; sedan 2020 - Ryska federationens utbildningsminister.

Tidigt liv och utbildning

Alexei Semenov föddes 1950 i Moskva i en familj av elektronik- och dataingenjörer. Han tog examen från Moskva skola nr 7 och fakulteten för mekanik och matematik vid Lomonosov Moskvas statliga universitet ( 1972). Han avslutade kandidatexamen för vetenskaper i fysik och matematik ( Moscow State University , 1975, vetenskaplig rådgivare - Albert Muchnik , avhandling «On definability in some decidable theories» ), doktor i vetenskaper i fysik och matematik ( Steklov Institute of Mathematics , 1984, avhandling «Logical Theories of One-place Functions on Heltal» ) .

Karriär och forskning

Semenov genomförde sin forskning inom området matematisk logik , cybernetik , teoretisk datavetenskap , artificiell intelligens , utbildning.

Matematik

Hans huvudområde inom matematisk logik är definierbarhetsteori. Han är känd för sina avgörbarhetsresultat, Cobham – Semenovs sats, symboliska dynamiktillämpningar, gitter av definierbarhetsbeskrivningar. Hans elev Andrey Muchnik löste Michael O. Rabin -problemet, som ställdes vid International Congress of Mathematicians i Nice. Muchnik och Semenov löste ett problem med Andrey Kolmogorov från hans arbete som har sitt ursprung i beskrivande komplexitetsteori. Han bidrog också till grunderna för teorin om algoritmer och teorin om slumpmässighet.

Bland andra hans elever är Alexei Lisitsa , Yuri Pritykin , Tatyana Starikovskaya och Vladimir Vovk .

Datorer och AI

Semenov började arbeta med praktisk datoranvändning vid 14 års ålder i samarbete med sin mor, särskilt inom taligenkänning i gruppen Dmitrij Pospelov . Han deltog i det sista sovjetiska försöket att konstruera en superdator 1986. Under de senaste åren utvecklade han ett koncept för individen utökat med digitala instrument och media. Konceptet utvecklar Lev Vygotskys , Josef M. Feigenbergs , Sherry Turkle , Andy Clarks och Michel Serres vision till massskolans pedagogiska sammanhang.

Utbildning: Teori och genomförande

Alexei Semenovs teoretiska och praktiska arbete inom utbildning har sitt ursprung i hans engagemang som student och senare som lärare i Nikolay Konstantinovs matteskolor. Hans pedagogiska filosofi är rotad i "learning-by-doing (mathematics ao)" av Robert Lee Moore och Paul Halmos och ryska matematiska kretsar konstruktionistiskt tillvägagångssätt av Seymour Papert , se även London Knowledge Lab .

Prof. Semenovs tillvägagångssätt för att lära och undervisa matematik och datavetenskap i grundskolan är baserad på förfrågningsbaserad inlärning , matematiska experiment av elever, språkutveckling, betoning av visuella (på skärm och papper) och påtagliga (manipulativa, rörliga objekt) miljöer av strängar. , väskor, bord, spel och robotar som grund för all matematik, inklusive, men inte begränsat av, numerisk (aritmetik); prioritering av att lösa problem-inte-känd-hur-att-lösas framför borr-och-övning, använda dator för alla rutinuppgifter.

1985 var han organisatör och medförfattare till den första läroboken i datavetenskap för alla sovjetiska skolor (redaktör och medförfattare – akademiker AP Ershov ) . Senare var han ledare för författarteamen för läroböcker i matematik och datavetenskap för grund- och gymnasieskolor.

1987 efter sitt arbete i Vetenskapsakademin startade han ett icke-vinstdrivande Institute of New Technologies (INT), som introducerade den konstruktionistiska filosofin i ryska skolor och startade samarbete mellan INT och andra ryska utbildare med Paperts grupp vid MIT Media Lab , Blagovest Sendovs problemgrupp för utbildning vid Bulgarian Academy of Sciences , Robert Tinkers grupp vid TERC , LCSI , Key Curriculum Press . Så INT producerade ryska anpassningar, inlärnings- och undervisningsmaterial för Logotyp, pedagogiskt LEGO, Geometer's Sketchpad, etc.

Semenov initierade och ledde i samarbete med Sergey Soprunov projektet med logotyp-inlärningsmiljö för pre-literacy pre-numeracy barn, erkänd av S. Papert i hans bok "The Connected Family".

2017–2019 ledde han design och implementering av ett system för resultativ utbildning (personlig kompetensbaserat lärande) för ryska skolor.

2019 organiserade Alexei Semenov ett 3-årigt program «Fundamental Scientific Support for the Digitalization of General Education» i Russian Foundation for Fundamental Research. Som ett resultat av experturvalet fick 62 team från 12 regioner i Ryssland ekonomiskt stöd. "Charter for the Digital Way of School" (2021) är ett av resultaten som skapats som en del av arbetet med programmet som ett resultat av en dialog mellan deltagarna i programmet och andra framstående personer inom rysk utbildning.

2021 startade han ett masterprogram vid Moscow State University om AI och digital teknologi. År 2022 omorganiserade han den grundläggande grundkursen i matematisk logik och teori om algoritmer som en helt problemlösande kurs i stil med Paul Halmos .

2022 blev Alexei Semenov ledare för sammanställningen av New Russian Mathematical Encyclopedia som en källa för digital Great Russian Encyclopedia , där han blev vice ordförande.

2022–2023 initierade han ett projekt av grundskolans metaämne "Framtidens värld". I alla skolämnen introduceras eleverna för framtiden genom att göra sina bitar nu i sådana moduler som "Introduktion" (barn till varandra, till läraren, surfplattan och nätverket), "Organisation" (håller mig i tid), " Kommunikation" (video-aidio-text, som inspelning av det första minnet av den äldsta i familjen), etc.

Lärar- och forskarbefattningar

Undervisade vid Moskvaskolan №7, Andrey Kolmogorov internatskola vid Lomonosov Moscow State University och vid Institutionen för matematisk logik fakulteten för mekanik och matematik vid Lomonosov Moscow State University .

Rektor för Moscow Institute of Open Education (1993–2013) som ansvarade för professionell utveckling, fortbildning, vägledning och rådgivning av alla 100 000 Moskvalärare. År 2002 återskapade han skola nr 179 och lämnade tillbaka matematikern och läraren Nikolay Konstantinov för att arbeta där.

Rektor för Moscow State Pedagogical University (2013–2016) – den ledande lärarutbildningsinstitutionen i landet.

Direktör för Axel Berg Institute of Cybernetics and Educational Computing FRC CSC Russian Academy of Sciences (2015 – nu).

Prefekt för institutionen för matematisk logik och teori om algoritmer MSU Fakulteten för mekanik och matematik ( 2018 – nu).

Senior expert vid Institute of Education of Higher School of Economics (Moskva) (2017 – nu).

Chefredaktör för « Kvant-tidningen » (2012–2018). Chefredaktör för tidskriften Doklady Mathematics (från 2021) fungerade som inbjuden redaktör för volymer av Theoretical Computer Science och MDPI – Mathematics (2022, 2023), se Lista över MDPI akademiska tidskrifter .

Författare till över 200 vetenskapliga artiklar inom matematik, datavetenskap och utbildning.

Internationella aktiviteter

Alexei Semenov deltog i många internationella aktiviteter av matematiska och IKT-lärare.

Alexei Semenovs vision stöddes och spreds av UNESCO med hjälp av rekommendationer för såväl grundutbildning som allmän utbildning. Senare deltog han i de team som leddes av Ivan Kalaš, som skapade rekommendationer för förskoleundervisning och grundutbildning. Han deltog i skapandet av UNESCOs rekommendationer om IKT för lärarutbildning. Prof. Alexei Semenovs aktiviteter och inflytande uppmärksammades av UNESCOs pris för IKT i utbildning.

Alexei Semenov var nationell koordinator för Second Information Technology in Education Study: SITES 2006, medlem av International Task Force on Teachers for Education 2030, etc.

1989 initierade och spelade han en avgörande roll i återkomsten av den internationella organisationen för teknologier inom utbildning ORT (med ursprung i StPetersburg 1880) till Sovjetunionen och Centraleuropa, fungerar som medlem av styrelsen och medordförande i Academic Advisory Council of organisationen.

2007–2009 var han medlem av den verkställande kommittén för International Commission on Mathematical Instruction .

Utmärkelser och utmärkelser

  • Akademiker vid den ryska vetenskapsakademin vid avdelningen för matematiska vetenskaper (sedan 2011).
  • Akademiker vid Russian Academy of Education (sedan 2010).
  • UNESCO – Kung Hamad Bin Isa Al-Khalifa-priset 2009 – för tillämpningen av informations- och kommunikationsteknik inom utbildning.
  • AN Kolmogorov-priset 2006 - för enastående prestationer inom matematikområdet för serien "Om förfining av AN Kolmogorov , relaterad till teorin om slumpen".
  • Presidenten för Ryska federationens utmärkelse inom utbildningsområdet 1998 - ledde teamet för utveckling och genomförande av ett omfattande program för informatisering av utbildning i Moskva-regionen.
  • Ryska federationens regeringspris inom utbildningsområdet 2009 - för utvecklingen av projektet "Informatisering av Ryska federationens utbildningssystem". Priset delades ut på order av Ryska federationens regering den 28.08.2009 nr 1246-r.
  • Medalj "Till minne av Moskvas 850-årsjubileum" - tilldelad Alexei Semenov 1997 för hans betydande bidrag till utvecklingen av staden Moskva. Medaljen godkändes av Ryska federationens president dekret den 26 februari 1997.
  • Märket "Hedersarbetare för allmän utbildning i Ryska federationen" - tilldelas 2000 för prestationer inom utbildningsområdet i Ryssland.
  • Vänskapsorden 2010 – för uppnådd arbetsframgång och långsiktigt fruktbart arbete genom dekretet från Ryska federationens president av den 15 maj 2010 nr 609 "Om belöning med statliga utmärkelser från Ryska federationen".
  • Tacksamhet från Ryska federationens president 2012 – för de uppnådda arbetsframgångarna och det långsiktiga samvetsgranna arbetet genom Orden av Ryska federationens president daterad 03.05.2012 nr 213-rp.
  • Hedersorden 2016 – för prestationer inom utveckling av vetenskap, utbildning, utbildning av kvalificerade specialister och många års fruktbart arbete genom presidentdekret nr 359 daterat den 28 juli 2016.
  • Hederstitel «Honored Worker of Higher School of the Russian Federation» 2005 – genom dekret från Rysslands president av den 5 februari 2005. Certifikat för statlig utmärkelse nr 172788.

Privatliv

Hans fru är EI Bulin–Sokolova, en examen från Moskvas statliga universitet , en utbildare, doktor i pedagogiska vetenskaper. Barn: med Galina Sheina: Maria Possitselskaya (1974) – lärare, författare till matteläroböcker för grundskolan, Daria Semenova (1979) – sångerska, lärare, författare till musikläroböcker, med Tatiana Rudchenko: Mikhail Semenov (1992) – nystartad entreprenör, med EI Bulin-Sokolova: Marfa Bulin-Sokolova (1994) – arkitektonisk designer, Fedor Bulin-Sokolov (1995) – finansanalytiker, Anna Semenova (1999) – psykolog, Nikolay Semenov (2001) – fotograf, Andrey Semenov (2004) – modemodell och mjukvaruutvecklare, Ivan Semenov – gymnasieelev. Barnbarn: Alexandra Semenova – lingvist, Ekaterina Possitselsky – molekylärbiolog, Dmitry, Anastasiya, Grigory, Timothey, Kirill – elever, Olga – förskola.

En stor roll i AL Semenovs liv spelades av ett möte 1979 med Jana Ryšlinková och efterföljande relationer med henne.

externa länkar

Hämtad från " https://en.wikipedia.org/w/index.php?title=Alexei_Semenov_(matematiker)&oldid=1139398194 "