Maksimova, Larisa Lvovna
| Larisa Lvovna Maksimova | |
|---|---|
| Data nașterii | 5 noiembrie 1943 (78 de ani) |
| Locul nașterii | |
| Țară | URSS → Rusia |
| Sfera științifică | logica matematica |
| Loc de munca | |
| Alma Mater | |
| Grad academic | Doctor în științe fizice și matematice (1986) |
| Titlu academic | Profesor |
| consilier științific | A. I. Maltsev |
| Premii și premii |
 |
Larisa Lvovna Maksimova (născută la 5 noiembrie 1943) este o matematiciană și profesoară rusă, specialistă în domeniul logicii matematice, laureată a Premiului A. I. Maltsev (2009).
Biografie
Născut în cu. Kochenevo, districtul Kochenevsky, regiunea Novosibirsk.
În 1965 a absolvit Facultatea de Mecanică și Matematică a Universității de Stat din Novosibirsk.
În 1968 și-a susținut teza de doctorat (conducător - academician A. I. Maltsev ).
În 1986 și-a susținut teza de doctorat.
La Institutul de Matematică Sobolev al Filialei Siberiei a Academiei de Științe a URSS (RAS) din 1965: cercetător stagiar, junior (1967), senior (1979), conducător (1986), cercetător șef (2009).
Din 1965, lucrează cu jumătate de normă la NSU: Asistent, Profesor Asociat (1972), Profesor (1991) al Departamentului de Algebră și Logică Matematică.
Activitate științifică
Domeniul științific: logica matematică, în special, logica neclasică: logica relevantă, supraintuiționistă, modală, temporală; logica algebrică, teoria generală a sistemelor algebrice.
Problema tabularității în extensii ale logicii intuiționiste și în extensii ale binecunoscutei logici modale S4 este rezolvată.
Se găsește o descriere exhaustivă a logicii superintuiționiste cu proprietatea de interpolare și cu proprietatea proiectivă Beth.
Este dovedită solubilitatea problemelor de tabularitate și interpolare în calculul superintuiționist și modal.
Se dovedește că toate logicile modale tranzitive au proprietatea de definibilitate Beth. În schimb, logicile temporale cu timp liniar sau ramificat nu au nici proprietatea de interpolare, nici proprietatea Beth.
Publicații majore
- Teorema lui Maksimova L. Craig în logica superintuiționistă și varietăți amalgamabile de algebre pseudo-booleene // Algebra și logica, vol. 16(1977), p. 643-681.
- Maksimova L. On variable separation in modal and superintuitionist logics // Studia Logica, 55(1995), 99-112.
- Maksimova L. Intuitionistic Logic and Implicit Definability // Annals of Pure and Applied Logic, 105(2000), 83-102.
- Maksimova L. Strongly Decidable Properties of Modal and Intuitionistic Calculi // Logic Journal of IGPL, 8, nr. 6 (2000), 797-819.
- I. A. Lavrov I. A., Maksimova L. L. Probleme în teoria mulțimilor, logica matematică și teoria algoritmilor. a 4-a ed. M., Fizmatlit, 2001 (ediții anterioare - 1974, 1985, 1995, traducere maghiară - 1988).
Premii
- Premiul A. I. Maltsev (2009) - pentru o serie de lucrări științifice „Definibilitatea implicită și interpolarea în logica non-clasică”
- Premiul Guvernului Federației Ruse în domeniul educației (2010).
Note
- ↑ Genealogia matematică (engleză) - 1997.
Link -uri
- Maksimova, Larisa Lvovna pe site-ul oficial al Academiei Ruse de Științe
- Maksimova, Larisa Lvovna pe portalul matematic Math-Net.Ru
- Pagina personala de pe site-ul Fotoarhiva a SB RAS
- http://mmf-old.nsu.ru/sites/default/files/professors-mmf-2016_3.pdf
 Site-uri tematice | ||||
|---|---|---|---|---|
| ||||