Maksimova, Larisa Lvovna
| Larisa Lvovna Maksimova | |
|---|---|
| Születési dátum | 1943. november 5. (78 évesen) |
| Születési hely |
|
| Ország | Szovjetunió → Oroszország |
| Tudományos szféra | matematikai logika |
| Munkavégzés helye | |
| alma Mater | |
| Akadémiai fokozat | A fizikai és matematikai tudományok doktora (1986) |
| Akadémiai cím | Egyetemi tanár |
| tudományos tanácsadója | A. I. Malcev |
| Díjak és díjak |
 |
Larisa Lvovna Maksimova (született: 1943. november 5.) orosz matematikus és tanár, a matematikai logika szakértője, A. I. Maltsev-díjas (2009).
Életrajz
-ben született. Kochenevo, Kochenevsky kerület, Novoszibirszk régió.
1965-ben diplomázott a Novoszibirszki Állami Egyetem Mechanikai és Matematikai Karán.
1968-ban védte meg Ph.D. disszertációját (témavezető: A. I. Maltsev akadémikus ).
1986-ban védte meg doktori disszertációját.
A Szovjetunió Tudományos Akadémia (RAS) Szibériai Tagozatának Szobolev Matematikai Intézetében 1965-től: kutatógyakornok, junior (1967), vezető (1979), vezető (1986), főkutató (2009).
1965 óta részmunkaidőben dolgozik az NSU-nál: adjunktus, egyetemi docens (1972), professzor (1991) az Algebra és Matematikai Logika Tanszéken.
Tudományos tevékenység
Tudományos terület: matematikai logika, különösen nem klasszikus logika: releváns, szuperintuicionista, modális, időbeli logika; algebrai logika, algebrai rendszerek általános elmélete.
Megoldásra került a táblázatosság problémája az intuicionista logika kiterjesztésében és a jól ismert modális logika S4 kiterjesztésében.
Az interpolációs tulajdonsággal és a projektív Beth tulajdonsággal rendelkező szuperintuicionista logikák kimerítő leírása található.
Bizonyítottuk a táblázatossági és interpolációs feladatok megoldhatóságát szuperintuicionista és modális számításokban.
Bebizonyosodott, hogy minden tranzitív modális logika rendelkezik Beth definiálhatósági tulajdonsággal. Ezzel szemben a lineáris vagy elágazó idejű időbeli logikák nem rendelkeznek sem interpolációs, sem Beth tulajdonsággal.
Főbb publikációk
- Maksimova L. Craig tétele a szuperintuicionista logikában és a pszeudo-Boole-algebrák összevonható változataiban // Algebra and Logic, 16. kötet (1977), p. 643-681.
- Maksimova L. A változók szétválasztásáról a modális és szuperintuicionista logikában // Studia Logica, 55(1995), 99-112.
- Maksimova L. Intuicionista logika és implicit meghatározhatóság // Annals of Pure and Applied Logic, 105(2000), 83-102.
- Maksimova L. A modális és intuíciós kalkulusok erősen eldönthető tulajdonságai // Logic Journal of IGPL, 8, no. 6 (2000), 797-819.
- I. A. Lavrov I. A., Maksimova L. L. Problémák a halmazelméletben, a matematikai logikában és az algoritmusok elméletében. 4. kiadás M., Fizmatlit, 2001 (korábbi kiadások - 1974, 1985, 1995, magyar fordítás - 1988).
Díjak
- A. I. Maltsev-díj (2009) - „Implicit definiálhatóság és interpoláció a nem klasszikus logikában” című tudományos közlemények sorozatáért
- Az Orosz Föderáció kormányának díja az oktatás területén (2010).
Jegyzetek
- ↑ Matematikai genealógia (angol) - 1997.
Linkek
- Maksimova, Larisa Lvovna az Orosz Tudományos Akadémia hivatalos honlapján
- Maksimova, Larisa Lvovna a Math-Net.Ru matematikai portálon
- Személyes oldal a webhelyen Az SB RAS fotóarchívuma
- http://mmf-old.nsu.ru/sites/default/files/professors-mmf-2016_3.pdf
 Tematikus oldalak | ||||
|---|---|---|---|---|
| ||||