Maksimová, Larisa Lvovna
| Larisa Lvovna Maksimová | |
|---|---|
| Datum narození | 5. listopadu 1943 (78 let) |
| Místo narození | |
| Země | SSSR → Rusko |
| Vědecká sféra | matematická logika |
| Místo výkonu práce | |
| Alma mater | |
| Akademický titul | doktor fyzikálních a matematických věd (1986) |
| Akademický titul | Profesor |
| vědecký poradce | A. I. Malcev |
| Ocenění a ceny |
 |
Larisa Lvovna Maksimova (narozena 5. listopadu 1943) je ruská matematička a učitelka, specialistka v oblasti matematické logiky, laureátka ceny A. I. Malceva (2009).
Životopis
Narozen v s. Kočenevo, okres Kochenevsky, oblast Novosibirsk.
V roce 1965 promovala na Fakultě mechaniky a matematiky Novosibirské státní univerzity.
V roce 1968 obhájila doktorskou práci (školitel - akademik A. I. Maltsev ).
V roce 1986 obhájila doktorskou disertační práci.
V Sobolevově matematickém ústavu sibiřské pobočky Akademie věd SSSR (RAS) od roku 1965: stážista, junior (1967), senior (1979), vedoucí (1986), hlavní (2009) výzkumný pracovník.
Od roku 1965 pracuje na částečný úvazek na NSU: asistent, docent (1972), profesor (1991) katedry algebry a matematické logiky.
Vědecká činnost
Vědní obor: matematická logika, zejména neklasická logika: relevantní, superintuicionistická, modální, temporální logika; algebraická logika, obecná teorie algebraických systémů.
Je vyřešen problém tabulkovosti v rozšířeních intuicionistické logiky a v rozšířeních známé modální logiky S4.
Je nalezen vyčerpávající popis superintuicionistických logik s interpolační vlastností as projektivní Bethovou vlastností.
Je prokázána řešitelnost úloh tabularity a interpolace v superintuicionistických a modálních kalkulech.
Je dokázáno, že všechny tranzitivní modální logiky mají vlastnost Beth definovatelnosti. Naproti tomu temporální logiky s lineárním nebo rozvětveným časem nemají ani vlastnost interpolace, ani vlastnost Beth.
Hlavní publikace
- Maksimova L. Craigova věta v superintuicionistické logice a amalgamovatelných varietách pseudobooleovských algeber // Algebra and Logic, vol. 16(1977), s. 643-681.
- Maksimova L. O separaci proměnných v modální a superintuicionistické logice // 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. Silně rozhodnoutelné vlastnosti modálních a intuicionistických kalkulů // Logic Journal of IGPL, 8, no. 6(2000), 797-819.
- I. A. Lavrov I. A., Maksimova L. L. Problémy v teorii množin, matematické logice a teorii algoritmů. 4. vyd. M., Fizmatlit, 2001 (předchozí vydání - 1974, 1985, 1995, maďarský překlad - 1988).
Ocenění
- Cena A. I. Maltseva (2009) - za sérii vědeckých prací „Implicitní definovatelnost a interpolace v neklasických logikách“
- Cena vlády Ruské federace v oblasti vzdělávání (2010).
Poznámky
- ↑ Matematická genealogie (anglicky) - 1997.
Odkazy
- Maksimova, Larisa Lvovna na oficiálních stránkách Ruské akademie věd
- Maksimova, Larisa Lvovna na matematickém portálu Math-Net.Ru
- Osobní stránka na webu Fotoarchiv SB RAS
- http://mmf-old.nsu.ru/sites/default/files/professors-mmf-2016_3.pdf
 Tematické stránky | ||||
|---|---|---|---|---|
| ||||