Vilius MatulisGimė 1933 m sausio 1 d Mumeliškės Degučių valsčiusMirė 2009 m kovo 5 d 76 metai Palaidotas Zarasų rajone D
Vilius Matulis

Vilius Matulis | |
---|---|
Gimė | 1933 m. sausio 1 d. Mumeliškės, Degučių valsčius |
Mirė | 2009 m. kovo 5 d. (76 metai) Palaidotas Zarasų rajone, Degučių seniūnijoje, Baltriškių kapinėse |
Veikla | fizikos-matematikos mokslų daktaras |
Sritis | matematika, informatika |
Organizacijos | Matematikos ir informatikos institutas |
Alma mater | Vilniaus universitetas |
Doktorant. vadovas | N.A. Šaninas |
Žymūs studentai | Albertas Čaplinskas, R. Pliuškevičius |
Žymūs apdovanojimai | |
Lietuvos TSR Ministrų Tarybos premija (1987 m.) |
Vilius Matulis (1933 m. sausio 1 d. Mumeliškėse, Degučių valsčius – 2009 m. kovo 5 d.) – Lietuvos mokslininkas, fizikos-matematikos mokslų daktaras, pirmasis Lietuvoje apgynęs disertaciją iš matematinės logikos, vienas iš informatikos mokslo tyrimų Lietuvoje pradininkas.
Mokslinė veikla
Pagrindinės mokslinių tyrimų kryptys: matematinė logika (sekvenciniai klasikinio predikatų skaičiavimo variantai, sekvencijų išvedimo paieškos taktikos). V.Matulis vienas iš pirmųjų Lietuvoje pradėjo taikyti skaičiavimo techniką ir matematinius metodus ne tik mokslo, bet ir praktiniams ūkio uždaviniams spręsti.
Biografija
1951 m. baigė Antalieptės vidurinę mokyklą.
1956 m. baigė Vilniaus universiteto Fizikos ir matematikos fakultetą. Porą metų dėstė Vilniaus statybos technikume. Nors diplominį darbą rašė iš tikimybių teorijos, vadovaujamas prof. Jono Kubiliaus, 1958 m. išlaikė stojamuosius egzaminus į matematinės logikos aspirantūrą V.A. Steklovo Matematikos instituto Leningrado (dabar – Sankt Peterburgo) filiale ir Fizikos ir matematikos (dabar – Matematikos ir informatikos) instituto buvo komandiruotas specializuotis matematinės logikos srityje (vadovas – prof. N. A. Šaninas). V. Matulis nagrinėjo sekvencinius klasikinio predikatų skaičiavimo variantus bei sekvencijų išvedimo paieškos taktikas. 1961 m. Vilius Matulis sėkmingai baigė aspirantūrą, grįžo į Vilnių ir pradėjo dirbti Fizikos ir matematikos institute.
1962 m. spalio 1 d., ruošiantis institute pradėti naudoti elektronines skaičiavimo mašinas (ESM), buvo įkurtas Skaičiavimo matematikos sektorius (SkMS), kurio vadovu tapo V. Matulis. 1963 m. V. Matulis apgynė fizikos-matematikos mokslų kandidato disertaciją, pradėjo skaityti matematinės logikos kursą Vilniaus universiteto Fizikos ir matematikos fakultete, vadovavo studentų diplominiams darbams.
1962–1964 m. vadovavo projektui „Kolūkių ir tarybinių ūkių pasėlių ir gyvūlių bandos planavimo sistema“.
1964 m. įkurtas naujas Matematinės logikos ir programavimo sektorius, o jo vadovu paskirtas V. Matulis. Sektoriui buvo numatytos dvi pagrindinės tyrimų kryptys: matematinės logikos teorija ir skaičiavimo technikos taikymas praktiniams ūkio uždaviniams.
1964 m. V. Matulio iniciatyva pradėta domėtis tinklinio planavimo ir valdymo uždaviniais. Pirmosios programos buvo sudarytos Lietuvos statybininkams, bet gana greitai pradėta sudarinėti programas Maskvos, Leningrado, Novosibirsko ir kitų miestų projektavimo ir konstravimo biurams, laivų statykloms bei kitoms organizacijoms. 1969 m. viena iš sistemų buvo demonstruota TSRS Liaudies ūkio pasiekimų parodoje vykusioje sąjunginėje geriausiųjų programinės įrangos darbų peržiūroje ir buvo apdovanota dviem sidabro ir keliais bronzos medaliais.
Tokio masto programų sistemų kūrimo darbai TSRS buvo vykdomi tik keliose grupėse. Grupės teoriniai darbai šia tematika sąjungoje irgi buvo pakankamai gerai žinomi. Už šiuos darbus pagrindiniai jų vadovai V. Matulis ir A. Čaplinskas 1987 m. buvo apdovanoti Lietuvos TSR Ministrų Tarybos premija.
1993 m. buvo išrinktas Vilniaus miesto Tarybos nariu. Tuo pat metu V. Matulis atsisakė darbo institute, išėjo į pensiją.
V. Matulis yra daugelio mokslinių darbų, paskelbtų įvairiuose leidiniuose autorius, ruošė habilitacinį darbą tema „Resursų skirstymo tinklinio planavimo ir valdymo sistemose algoritmų kompleksas“. Be mokslinių tyrimų daug jėgų ir energijos skyrė mokslinei-organizacinei veiklai – organizavo (kartu su sektoriaus darbuotojais) seminarus, konferencijas, renginių darbų leidybą.
Bibliografija
- A. Čaplinskas, V. Matulis. Sistema „Vilnius“. Koncepcija, struktūra ir naudojimo technologija, 1981 m.
Šaltiniai
- Mažoji Lietuviškoji enciklopedija.- T. 2.- 1971, p. 534.
- Liucija Guzejeva // Tarybinė žemė.- 1980, liep. 19.
- Tarybų Lietuviškoji enciklopedija.- T. 3.- 1988, p. 19.
- V.Matulis MII.LT
- Matematikos ir informatikos institutas Archyvuota kopija 2014-11-29 iš Wayback Machine projekto. / [rengėjai Mifodijus Sapagovas, Gintautas Dzemyda, Stasys Rutkauskas, Aidas Žandaris, Dalė Daugaravičienė]. – Vilnius : Matematikos ir informatikos institutas, 2006.
- S.Norgėla, Mathematical logic in Lithuania, In book: Logic in Central and Eastern Europe: History, Science and Discourse, University Press of America, 2013, pp. 183–193.
Autorius: www.NiNa.Az
Išleidimo data:
vikipedija, wiki, lietuvos, knyga, knygos, biblioteka, straipsnis, skaityti, atsisiųsti, nemokamai atsisiųsti, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, pictu, mobilusis, porn, telefonas, android, iOS, apple, mobile telefl, samsung, iPhone, xiomi, xiaomi, redmi, pornografija, honor, oppo, Nokia, Sonya, mi, pc, web, kompiuteris, Informacija apie Vilius Matulis, Kas yra Vilius Matulis? Ką reiškia Vilius Matulis?
Vilius MatulisGime 1933 m sausio 1 d Mumeliskes Deguciu valsciusMire 2009 m kovo 5 d 76 metai Palaidotas Zarasu rajone Deguciu seniunijoje Baltriskiu kapineseVeikla fizikos matematikos mokslu daktarasSritis matematika informatikaOrganizacijos Matematikos ir informatikos institutasAlma mater Vilniaus universitetasDoktorant vadovas N A SaninasZymus studentai Albertas Caplinskas R PliuskeviciusZymus apdovanojimaiLietuvos TSR Ministru Tarybos premija 1987 m Vilius Matulis 1933 m sausio 1 d Mumeliskese Deguciu valscius 2009 m kovo 5 d Lietuvos mokslininkas fizikos matematikos mokslu daktaras pirmasis Lietuvoje apgynes disertacija is matematines logikos vienas is informatikos mokslo tyrimu Lietuvoje pradininkas Moksline veiklaPagrindines moksliniu tyrimu kryptys matematine logika sekvenciniai klasikinio predikatu skaiciavimo variantai sekvenciju isvedimo paieskos taktikos V Matulis vienas is pirmuju Lietuvoje pradejo taikyti skaiciavimo technika ir matematinius metodus ne tik mokslo bet ir praktiniams ukio uzdaviniams spresti Biografija1951 m baige Antalieptes vidurine mokykla 1956 m baige Vilniaus universiteto Fizikos ir matematikos fakulteta Pora metu deste Vilniaus statybos technikume Nors diplominį darba rase is tikimybiu teorijos vadovaujamas prof Jono Kubiliaus 1958 m islaike stojamuosius egzaminus į matematines logikos aspirantura V A Steklovo Matematikos instituto Leningrado dabar Sankt Peterburgo filiale ir Fizikos ir matematikos dabar Matematikos ir informatikos instituto buvo komandiruotas specializuotis matematines logikos srityje vadovas prof N A Saninas V Matulis nagrinejo sekvencinius klasikinio predikatu skaiciavimo variantus bei sekvenciju isvedimo paieskos taktikas 1961 m Vilius Matulis sekmingai baige aspirantura grįzo į Vilniu ir pradejo dirbti Fizikos ir matematikos institute 1962 m spalio 1 d ruosiantis institute pradeti naudoti elektronines skaiciavimo masinas ESM buvo įkurtas Skaiciavimo matematikos sektorius SkMS kurio vadovu tapo V Matulis 1963 m V Matulis apgyne fizikos matematikos mokslu kandidato disertacija pradejo skaityti matematines logikos kursa Vilniaus universiteto Fizikos ir matematikos fakultete vadovavo studentu diplominiams darbams 1962 1964 m vadovavo projektui Kolukiu ir tarybiniu ukiu paseliu ir gyvuliu bandos planavimo sistema 1964 m įkurtas naujas Matematines logikos ir programavimo sektorius o jo vadovu paskirtas V Matulis Sektoriui buvo numatytos dvi pagrindines tyrimu kryptys matematines logikos teorija ir skaiciavimo technikos taikymas praktiniams ukio uzdaviniams 1964 m V Matulio iniciatyva pradeta dometis tinklinio planavimo ir valdymo uzdaviniais Pirmosios programos buvo sudarytos Lietuvos statybininkams bet gana greitai pradeta sudarineti programas Maskvos Leningrado Novosibirsko ir kitu miestu projektavimo ir konstravimo biurams laivu statykloms bei kitoms organizacijoms 1969 m viena is sistemu buvo demonstruota TSRS Liaudies ukio pasiekimu parodoje vykusioje sajungineje geriausiuju programines įrangos darbu perziuroje ir buvo apdovanota dviem sidabro ir keliais bronzos medaliais Tokio masto programu sistemu kurimo darbai TSRS buvo vykdomi tik keliose grupese Grupes teoriniai darbai sia tematika sajungoje irgi buvo pakankamai gerai zinomi Uz siuos darbus pagrindiniai ju vadovai V Matulis ir A Caplinskas 1987 m buvo apdovanoti Lietuvos TSR Ministru Tarybos premija 1993 m buvo isrinktas Vilniaus miesto Tarybos nariu Tuo pat metu V Matulis atsisake darbo institute isejo į pensija V Matulis yra daugelio moksliniu darbu paskelbtu įvairiuose leidiniuose autorius ruose habilitacinį darba tema Resursu skirstymo tinklinio planavimo ir valdymo sistemose algoritmu kompleksas Be moksliniu tyrimu daug jegu ir energijos skyre mokslinei organizacinei veiklai organizavo kartu su sektoriaus darbuotojais seminarus konferencijas renginiu darbu leidyba BibliografijaA Caplinskas V Matulis Sistema Vilnius Koncepcija struktura ir naudojimo technologija 1981 m SaltiniaiMazoji Lietuviskoji enciklopedija T 2 1971 p 534 Liucija Guzejeva Tarybine zeme 1980 liep 19 Tarybu Lietuviskoji enciklopedija T 3 1988 p 19 V Matulis MII LT Matematikos ir informatikos institutas Archyvuota kopija 2014 11 29 is Wayback Machine projekto rengejai Mifodijus Sapagovas Gintautas Dzemyda Stasys Rutkauskas Aidas Zandaris Dale Daugaraviciene Vilnius Matematikos ir informatikos institutas 2006 S Norgela Mathematical logic in Lithuania In book Logic in Central and Eastern Europe History Science and Discourse University Press of America 2013 pp 183 193