Lietuvos matematikos rinkinys
Not a member yet
1812 research outputs found
Sort by
Paprastesnis nepaprastų uždavinių sprendimas – kaip tai vyksta?
Full text linkSeveral non-standard problems are regarded and the possibilities of simple approaching to their solution are regarded and discussed.Santraukos nėra
Sekvencinis skaičiavimas propozicinei tikėtinumo logikai
No full textThere is not abstract.Darbe yra pateikiamas klasikinis sekvencinis skaičiavimas propozicinei tikėtinumo logikai. Įrodoma, kad šiame skaičiavime yra leistinos struktūrinės bei pjūvio taisyklės. Taip pat įrodomi pateiktojo skaičiavimo korektiškumas bei pilnumas duotos semantikos atžvilgiu
Įrodymų specializacija modalumo logikai S5
No full textLoop-check-free decidable specialization of sequent calculus for modal logic S5 is presented. Soundness and completness of this calculus is proved.Pateikta korektiška ir pilna specializacija sekvenciniam skaičiavimui modalumo logikai S5. Pasiūlytas specializuotas skaičiavimas įgalina gauti išprendžiamąją procedūrą, kurios realizacijoje nėra ciklų
Laiko eilučių agregavimo, deagregavimo uždaviniai ir tolima priklausomybė
Full text linkLarge-scale aggregation and its inverse, disaggregation, problems are important in many fields of studies like macroeconomics, astronomy, hydrology and sociology. It was shown in Granger (1980) that a certain aggregation of random coefficient AR(1) models can lead to long memory output. Dacunha-Castelle and Oppenheim (2001) explored the topic further, answering when and if a predefined long memory process could be obtained as the result of aggregation of a specific class of individual processes. In this paper, the disaggregation scheme of Leipus et al. (2006) is briefly discussed. Then disaggregation into AR(1) is analyzed further, resulting in a theorem that helps, under corresponding assumptions, to construct a mixture density for a given aggregated by AR(1) scheme process. Finally the theorem is illustrated by FARUMA mixture densityÆs example.Santraukos nėra
s-mačio toro endomorfizų tolygus pasiskirstymas, II
No full textThere is not abstract.Darbe apibendrinama D. Moskvino teorema apie s-mačio toro Ωs endomorfizmų (mod 1) tolygų pasiskistymą. Vietoje apribojimo – funkcijų φ1(t ), . . . , φs(t) vronskijanas W(t) ≠ 0, t ∈ [a, b], naudojama kita sąlyga (φ\u27\u271 (t))2 + ⋯ + (φ"s (t))2 > 0, t ∈ [a, b]
Žinių bazių lyginamoji analizė: sistemos architektūra
No full textWhen comparing similar knowledge bases the question arises: what situations produce different conclusions in these bases? The task of comparing knowledge bases can emerge in different domains. For example, in legal domain, it is sometimes essential to compare different versions of a legal act or similar legal acts of different countries. The article presents an architecture of the system designed for the automated comparing of knowledge bases. The architecture implements the method of comparing based on the construction of elementary test situations.Lyginant panašias žinių bazes kyla klausimas, kokiose situacijose skiriasi išvados iš šių žinių bazių. Šis uždavinys gali iškilti įvairiose dalykinėse srityse, pavyzdžiui, teisėje, kai reikia palyginti skirtingas teisės akto versijas arba skirtingų šalių analogiškus teisės aktus. Straipsnyje pateikta programų sistemos, skirtos žinių bazių palyginimui, architektūra, realizuojanti metodą, grindžiamą elementariųjų testuojamųjų situacijų konstravimu
Integralas vidurinėje mokykloje
Full text linkTeaching of integrals in Lithuania, Denmark and France is presented. It is suggested to progress to three levels teaching of mathematics.Santraukos nėra
Stimuliuojama dinamika ir jos modeliavimas
No full textThere is not abstract.Darbe nagrinėjami tikimybinės dinamikos bei dinaminio patikimumo veiksniai susieti su stimuliuojamos dinamikos apibrėžimu ir agregatinio modeliavimo metodo taikymu, analitinis ir imitacinis hibridinių sistemų formalizavimo ir modeliavimo būdai bei dinaminių sistemų modeliavimas atsižvelgiant į atsitiktines laiko trukmes tarp stimulų atsiradimo ir dinamikos kitimo. Pateikta nauja metodika, skirta tolydžių procesų ir nuo jų priklausančių įvykių sąveikos modeliavimui
Namų darbų reikšmė mokinių matematinio ugdymo sistemoje
No full textThe article examines the factors that describe homework policy and characterize their influence on students\u27 achievements in learning mathematics. The data of national research of 2004 is analyzed on the basis of statistic methods. 346 mathematics teachers and 2030 students of the 6th form and 1827 students of the 10th form took part in the research.Most teachers recognize that the main function of homework is to review the knowledge and skills acquired in the classroom. However, the results of the research show that this object is achievable in case students are responsibly trained for homework, and the teacher develops the right students\u27 attitude towards their duties by constant and moderate insistence.Santraukos nėra
Pilnumo klasės intuicionistinei pirmos eilės laiko logikai su laiko tarpsniais
No full textThere is not abstract.Darbe yra pateikiama pirmos eilės intuicionistinė laiko logika TBJ su laiko tarpsniais. Parodoma, kad šios logikos sekvencinis skaičiavimas LBJ yra korektiškas, tačiau nepilnas logikos TBJ atžvilgiu. Apibrėžiamos Glivenko sekvencijų klasės skaičiavimui LBJ bei jo klasikiniam atitikmeniui LB. Sekvencija priklausanti kuriai nors Glivenko klasei yra įrodoma skaičiavime LB tada ir tik tada, kai ji yra įrodoma skaičiavime LBJ. Glivenko klasės apibrėžiamos sekvencijoms, kurių sukcedentas susideda iš vienos formulės (visiškai Glivenko σ-klasės), ir sekvencijoms turinčioms tuščią sukcedentą (Glivenko σ -klasės). Parodoma, kad Glivenko klasės yra LBJ pilnumo logikos TBJ atžvilgiu klasės