| Amangeldy Iskakovich Omarov | |
|---|---|
| Amangeldi Yskakuly Omarov | |
| Syntymäaika | 1. marraskuuta 1940 |
| Syntymäpaikka | Ushtobe , Taldy-Kurganin alue , Kazakstanin SSR , Neuvostoliitto |
| Kuolinpäivämäärä | 8. lokakuuta 2007 (66-vuotias) |
| Kuoleman paikka | Alma-Ata , Kazakstan |
| Maa | Neuvostoliitto → Kazakstan |
| Tieteellinen ala | matematiikka , matemaattinen logiikka , malliteoria |
| Työpaikka | Kazakstanin kansallinen yliopisto |
| Alma mater | Novosibirskin valtionyliopisto |
| Akateeminen tutkinto | Fysikaalisten ja matemaattisten tieteiden tohtori |
| tieteellinen neuvonantaja | Taimanov Asan Dabsovich |
| Opiskelijat |
Dosanbai Perdebek Tolepbergenuly Nauryzbaev Kim Aldaševitš |
| Tunnetaan | matemaattisen logiikan asiantuntija |
Amangeldy Iskakovich Omarov ( 1. marraskuuta 1940 , Ushtobe - 8. lokakuuta 2007 , Alma-Ata ) - Kazakstanin tiedemies , matemaattisen logiikan asiantuntija , fysiikan ja matemaattisten tieteiden tohtori , professori .
Syntynyt 20. lokakuuta Ush-Toben kaupungissa, Karatalin alueella , Taldy-Kurganin alueella .
Hän kuoli 8. lokakuuta 2007 [2] .
Tekoäly Omarovin tieteelliset kiinnostuksen kohteet liittyvät matemaattisen logiikan ja universaalin algebran eri alueisiin . Neuvostoliiton tiedeakatemian akateemikko A.I. Maltsev ja Kazakstanin SSR:n tiedeakatemian akateemikko A.D. Taimanov olivat tämän suunnan alkulähteitä . Hänen väitöskirjassaan ultratuotetekniikkaa käyttäen saatiin monia tunnettuja malliteorian tuloksia ( Maltsevin ja muiden paikallinen lause ) uudelleen ja yhtenäisellä tavalla , algebrallinen todiste klassiselle Ehrenfeucht-Mostowski -lauseelle. löydettiin (B. I. Plotkinin perustavanlaatuisen monografian "Algebrallisten järjestelmien automorfismiryhmät" kirjoittaja) ja useita uusia tuloksia, jotka vahvistavat M. McKayn tuloksia.
E. A. Palyutin esitteli tutkimuksessaan uuden kaavojen luokan, jota kutsutaan P-kaavojen luokaksi. A. I. Omarov osoitti, että suodatuskaavoja on vain kolme luokkaa:
1. kaikki kaavat suodatetaan ultrasuodattimella (Losin lause);
2. karteesisilla tuloilla suodatetut kaavat - kertovat kaavat;
3. kaavat, jotka on suodatettu suodattimilla, jotka sisältävät ei-atomialkuaineen - P-kaavat.
A. I. Omarovin väitöskirjassa on kuvattu syntaktisesti monimutkaisin kolmas kaavojen luokka. Hän omistaa yli viisikymmentä tieteellistä artikkelia, joista suurin osa on julkaistu Neuvostoliiton ja Kazakstanin keskuspainoksissa . A. I. Omarovin ohjauksessa puolustettiin kolme väitöskirjaa.
A. I. Omarov sai perustavanlaatuisia tuloksia tutkiessaan erilaisia rakenteita, jotka ovat malliteorian ja universaalin algebran risteyksessä:
- ultratuotteet, ultrarajat , suodatetut tuotteet ja tehot, yleiset tuotteet, Boolen tuotteet;
— mallien kyllästymisen ja yhtälötiiviyden tutkimus ja siihen liittyvä algebrallisten järjestelmien tiettyjen luokkien tutkimus
— Boolen algebrat ja distributiiviset hilat;
— algebrallisten järjestelmien Horn-luokkien tutkimus ja suodatuskaavojen luokan syntaktinen kuvaus.
AI Omarovilla on suuria ansioita matemaattisen logiikan kansallisen koulun luomisessa. Novosibirskin yliopiston jälkeen hän aloitti yhdessä N. G. Khisamiyevin ja T. G. Mustafinin kanssa opettamisen Kazakstanin valtionyliopistossa. Nuoret tutkijat onnistuivat houkuttelemaan lahjakkaita nuoria uudelle tieteenalalle. Monet KazGU:n valmistuneet ovat M. G. Peretjatkin, V. P. Dobritsa, A. T. Nurtazin, B. N. Drobotun, M. I. Bekenov, M. M. Erimbetov, B. S. Baizhanov, K. A. Meirembekov, B. Omarov, K. Zh. Kudaibergenovista tuli tunnettuja logiikka-asiantuntijoita ja muita ja A. I. Omarovilla oli suuri rooli heidän kehityksessään.
Nyt kotimainen matemaattisen logiikan koulu on saanut kansainvälistä tunnustusta ja sillä on siteitä tutkijoihin Ranskasta , Englannista , USA :sta , Saksasta ja Italiasta yhteisten tieteellisten hankkeiden, apurahojen, tieteellisen vaihdon ja yhteisten tieteellisten konferenssien tukemana. [3]
1. Kompakteissa malliluokissa // Algebra ja logiikka. Novosibirsk, 1967. - V.6, numero. 2. - S. 49 - 60.
2. Mallien suodatetuille tuotteille // Algebra ja logiikka. - Novosibirsk, 1967. Vol. 6, no. 3. - P.77 - 90.
3. Suodatetut tuotteet malliteoriassa // Abstracts of the 8th Vsesoyuz. kollokvio yleisalgebrasta. Riika, 1967. - Riika, 1967. - S. 95
4. Boolen algebroiden kylläisyys // Sibir. matto. lehti - 1974. - T.15, N 6. - S. 1414-1415.
5. B-erotettavissa olevista algebroista // Algebra ja logiikka. - Novosibirsk, 1986.-T.25, N 3. - S. 315-325.
6. Muutamia huomioita algebran lajikkeista // USh Vsesoyuz. konf. matemaattisesta logiikasta, Moskova, 1986. - M., 1986. S. 145
7. 0 paikallisesti äärellinen, laskettavasti kategorinen Hornin teoria // Algebra ja logiikka. - Novosibirsk, 1989. - T.28, N 4. - S. 444-453.
8. Suodatuskaavojen syntaktinen kuvaus//Dokl. Neuvostoliiton tiedeakatemia. - 1991. - T. 319, N 1. - S. 58 - 60
9. Suodatuskaavat // Algebra ja logiikka. - Novosibirsk, 1991. - T. 30, N 6. - S. 693-704
10. Suodatettujen kaavojen syntaktinen kuvaus // Paris 7 logique CNRS N 34 Comptes - Rendus au Colloque CNRM 27. tammikuuta - helmikuuta 1992. - Paris, 1992. - P. 13-15
11. Kertojakaavat // Algebra ja logiikka. - Novosibirsk, 1993. - T. 32, N 2. S. 136-144