Excerpt
Vieta dokumente 144r-145v Data 1677.05.05 Data 1677.04.26 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Aprašas Aktavimas. Testamentas. Trakų vaivadijos žemionio Kristupo Gedgaudo testamentas . Nurodoma, kaip žmona Margarita …
Excerpt
Birželio mėn. bibliotekos darbą tikrino, o vėliau išvadas ir rekomendacijas Senato komisijai pateikė Rektoriaus įsakymu sudaryta komisija, kurioje buvo ne vien Vilniaus universiteto bendruomenės nariai. Komisijos pirmininku paskirta VU Komunikacijos …
Excerpt
Vieta dokumente 21r-21v Data 1677.03.26 Data 1677.03.20 Kalba Lenkų, kanc. slavų k. Autorius Trakų pilies teismas. Pastaba Trakai. …
Excerpt
== =z| E E a ee La BC VILNIAU 7 UNIVERSITETO BIBLIOTEKA 2OO3 METAIS …
Excerpt
Lituanistikos skyriaus parengtos parodos: 1. Bernardui Brazdžioniui — 95. 2. Stasys Santvaras (1902-1991). 3. Antai pažvelki! Tai Vilnius rūmai Dunkso tarp kalnų plačiai (Maironis). Levo Vladimirovo JTO depozito skaityklos parengtos parodos (Bendrojoje …
Excerpt
Malonu pažymėti bibliotekos leidybinio darbo tęstinumą. 2003 m. rugsėjo 17 d. Vilniaus paveikslų galerijoje buvo iškilmingai atidaryta paroda Imago Lithuaniae. Lietuvos Didžiosios Kunigaikštystės žemėlapiai ir dokumentai iš Tomaszo Niewodniczanskio …
Excerpt
Public relations Throughout several past years old VUL collections have been frequently displayed in diverse interna- tional events. In 2002 six books from old book collection, artists’ prints from Graphic Study have been exposed and the CD ROM Historical …
Excerpt
Įžangos žodis Butkevičienė VUB direktorė Birutė Garsus šiuolaikinis rašytojas socialinių mokslų ir vadybos prof. Peteris F. Druckeris žurnale Zhe Nov. visuomenė bus žinių visuomenė. Žinios bus jos Economist (2001, 1) rašo, kad ateities pagrindinis …
Excerpt
dės i 11 c) J EA Ek, a yre A NB e) fs €A, BL. 1 Įrodysim, kad aibė F= It fo, fa, Į] (o tuo pačiu ir At) ia Mas da A re ini T k are tiekia, Naja m yra pilna. Kadangi 4, KT, „iai galimi'du atvejai: 1 Ais, 1 Tada Ų(x)]= f (x,...,x) yra lygi konstantai 1, nes …
Excerpt
179 tamųjų. Pvz., vietoje (P(x,4) 0043) | rašysime Pfx,1).£ 0ix), b) praleisti skliaustus, jeigu neiginys yra prieš tei- "ginius arba „predikatinius kintamuosius. Pvz., vaė6ipjė T PE4S-- 01 rašysime TP, An], Ą Vadinsiue formulę A. Kiekvienoje formulėje …
Excerpt
19 (kontaktai sujungti arba išjungti). Apskritai neapsiribosime tik tokiomis grandinėmis, o nagrinėsime elektros grandines, žrtai iš bet kokių Keds Irenos juos CO |), ku- rie gali būti vienos iš dviejų būsenų. Jei elementas yra pirmos būsenos, tai …
Excerpt
"- 59 (a> 214)2 (A2B) (1 lema), A> 26 (pagal MP taisyklę), Lema įrodyta. Tarkime, A - bet kuri E ių Pa.P2 + BN = pilnas sąrašas skirtingų teiginių, sudarančių A. Pažymėkime v P.isje v=1 P s ap = ju v=0 s A za Bie "kys - „Loginių operacijų skaičių …
Excerpt
"E 3 m i 54 3 jam“ ir likusius A „ Lieka TFB 7. Jeigu T-A> 2B „iai T,AF-B. . i Įrodymas. Tarkime, B, B1s+- + B,ų „A> Byra formu= lės A > B žioūdugis iš prielaidų T. Prijungę prie tos ser kos A (kaip prielaidą) bei B (pagal MP taisyklę iš Ai3 B. ir A), …
Excerpt
> : 53 Raide T žymėsime baigtinę (gali būti ir tuščia) žalio lių seką. , Formulės B įrodymu iš prielaidų T vadinsime baigtinę į seką B,, B,,-+- Bm s kurioje kiekviena B,(l+(* "m ) yra arba aksioma, arba viena iš prielaidų, arba gauta iš kairėje jos …
Excerpt
Vieta dokumente 56r-56v Data 1677.04.06 Data 1677.04.01 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Autorius Trakų vaivadijos generalinis vaznys Stanislovas Talatavičius Pastaba Trakai. Aprašas Aktavimas.Generalinio vaznio …
Excerpt
Vieta dokumente 182r-182v Data 1677.05.10 Data 1677.05.01 Kalba Tekstas lenkų kalba Autorius Trakų pilies teismas. Autorius Gardino maršalkos, Pilypavo ir Pševalkos seniūnas Jonas Kazimieras Kerdiejus Aprašas Aktavimas.Kaltinimas. Gardino maršalkos, …
Excerpt
38 M elementas. Tačiau aibę M |adaro tik antrosios grupės aibės. Prieštaravimas rodo, kad šio spėjimo turime atsisaky- ti. Vadinasi, aibė M yra antrosios grupės ir nėra savo pa- čios elementas. Bet ir to negali būti: juk M yra visų an- trosios grupės …
Excerpt
„5 P, G, Ti. PV (4 £ 74) 11P V (rAI1r) Neo me p las et šok m WNoeėe t mm mue mo e Koa KO m wNoOoX- + + m NONėe +- + k. " Jeigu Formulės Apps Pagii gs) ir BlPi- Pa) yra ekvivalečios, tai. Šis 45 | vadinami fiktyviaia formulšje. A.- Pašeiksiūt | dar vieną …
Excerpt
4 | šiuo atveju = prielaida). Pirmuoju atveju A 2 B, pakeisime A=> B4 įrodymu: B, (akaioma), B,2(A= B.) (1.1*aksiomų schema), A2 B, (pagal liP taisyklę). Antruoju atveju A> B; keičiame analogiška seka (tik B. 1 Trečiuoju atveju A2A keičiame jos įrodymu, …
