Maksimova, Larisa Lvovna
| Larisa Lvovna Maksimova | |
|---|---|
| Syntymäaika | 5. marraskuuta 1943 (78-vuotiaana) |
| Syntymäpaikka | |
| Maa | Neuvostoliitto → Venäjä |
| Tieteellinen ala | matemaattinen logiikka |
| Työpaikka | |
| Alma mater | |
| Akateeminen tutkinto | Fysikaalisten ja matemaattisten tieteiden tohtori (1986) |
| Akateeminen titteli | Professori |
| tieteellinen neuvonantaja | A. I. Maltsev |
| Palkinnot ja palkinnot |
 |
Larisa Lvovna Maksimova (s. 5. marraskuuta 1943) on venäläinen matemaatikko ja opettaja, matemaattisen logiikan asiantuntija, A. I. Maltsev -palkinnon saaja (2009).
Elämäkerta
Syntynyt kanssa. Kochenevo, Kochenevsky piiri, Novosibirskin alue.
Vuonna 1965 hän valmistui Novosibirskin valtionyliopiston mekaniikan ja matematiikan tiedekunnasta.
Vuonna 1968 hän puolusti väitöskirjaansa (ohjaaja akateemikko A. I. Maltsev ).
Vuonna 1986 hän puolusti väitöskirjaansa.
Neuvostoliiton tiedeakatemian (RAS) Siperian osaston Sobolevin matematiikan instituutissa vuodesta 1965: tutkijaharjoittelija, nuorempi (1967), vanhempi (1979), johtava (1986), päätutkija (2009 ) .
Vuodesta 1965 hän on työskennellyt osa-aikaisesti NSU:ssa: apulaisprofessori (1972), professori (1991) algebran ja matemaattisen logiikan laitoksella.
Tieteellinen toiminta
Tieteenala: matemaattinen logiikka, erityisesti ei-klassinen logiikka: relevantti, superintuitionistinen, modaalinen, ajallinen logiikka; algebrallinen logiikka, algebrallisten järjestelmien yleinen teoria.
Tabulointiongelma intuitionistisen logiikan laajennuksissa ja tunnetun modaalilogiikan S4 laajennuksissa on ratkaistu.
Löytyy tyhjentävä kuvaus superintuitionistisesta logiikasta interpolointiominaisuuden ja projektiivisen Beth-ominaisuuden kanssa.
Taulukko- ja interpolointiongelmien ratkaistavuus superintuitionistisissa ja modaalilaskuissa on todistettu.
On todistettu, että kaikilla transitiivisilla modaalilogiikoilla on Beth-määriteltävissä oleva ominaisuus. Sitä vastoin aikalogiikalla, jossa on lineaarinen tai haarautunut aika, ei ole interpolointiominaisuutta eikä Beth-ominaisuutta.
Tärkeimmät julkaisut
- Maksimova L. Craigin lause superintuitionistisessa logiikassa ja pseudo-Boolen algebroiden sulautuvissa muunnelmissa // Algebra and Logic, vol. 16(1977), s. 643-681.
- Maksimova L. Muuttujien erottelusta modaalisessa ja superintuitionistisessa logiikassa // Studia Logica, 55(1995), 99-112.
- Maksimova L. Intuitionistinen logiikka ja implisiittinen määrittely // Annals of Pure and Applied Logic, 105(2000), 83-102.
- Maksimova L. Modaalisten ja intuitionististen laskelmien vahvasti ratkaisevat ominaisuudet // Logic Journal of IGPL, 8, no. 6(2000), 797-819.
- I. A. Lavrov I. A., Maksimova L. L. Joukkoteorian, matemaattisen logiikan ja algoritmien teorian ongelmat. 4. painos M., Fizmatlit, 2001 (edelliset painokset - 1974, 1985, 1995, unkarinkielinen käännös - 1988).
Palkinnot
- A. I. Maltsev -palkinto (2009) - sarjalle tieteellisiä artikkeleita "Implicit definability and interpolation in ei-klassisessa logiikassa"
- Venäjän federaation hallituksen koulutusalan palkinto (2010).
Muistiinpanot
- ↑ Matemaattinen sukututkimus (englanniksi) - 1997.
Linkit
- Maksimova, Larisa Lvovna Venäjän tiedeakatemian virallisella verkkosivustolla
- Maksimova, Larisa Lvovna matemaattisessa portaalissa Math-Net.Ru
- Henkilökohtainen sivu sivustolla SB RAS:n valokuva-arkisto
- http://mmf-old.nsu.ru/sites/default/files/professors-mmf-2016_3.pdf
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| ||||