Excerpt
VNIWERSYTECKA W WILNIE 108T Miuro | 1902 …
Excerpt
Vieta dokumente 50r-50v Data 1677.04.03 Data 1677.04.01 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Autorius Trakų vaivadijos generalinis vaznys Pastaba Trakai. Aprašas Aktavimas.Generalinio vaznio ataskaita. Trakų …
Excerpt
Fakultety bibliotekose skaitytojams išduota 846 570 leidinių, iš jy 59% | namus. Išduodama į namus vadovėliai ir kitos mokymuisi skirtos knygos. Centrinėje bibliotekoje skaitytojai į skaityklas buvo užsisakę ir skaitė 494 493 leidinius. Lyginant su …
Excerpt
147 pavad., 768 fiz. ynt. Bibliotekai finansiškai naudingi mainai vyko su 250 Lietuvos ir užsienio bibliotekų bei mokslo įstaigų. Kiti komplektavimo šaltiniai (pagal pasikeitimo ir kitas programas, finansuojamas valstybės, bei kitus šaltinius) biblioteką …
Excerpt
48 ce) A= [0,X, x VA, XV, VAS, 3 Ž 1212 ta ka, „Aka, e) A= [X4, z tRĘ "5, rA A aa4 ias, T) 2 eA tada ir tiktai tada, kai L[0,---,0)=4(4,-- 3. Perdirbti į Žegalkino polinomą ir k a, ar priklauso aibei L šios formulės: a) 1P2313,, b) 1p £09v(1> p)), e) …
Excerpt
, Ė 75 Predikatų pavyzdžiai: ai. 1. Argumentų kitimo sritis - realių skaičių aibė R. a) lygybės predikatas Li=i4) Liz4)=1 tada ir tik) "tada, kai X=4. ») Pl244)]=i tada ir tik tada, kai X g. c) Mix) =1 tada ir tik tada, kai …
Excerpt
50 . (19) sekoje. Jeigu (19) yra įrodymas, tai P. vedinama įro- doma; 0 (19) seka - formulės įrodymu. 1 pavyzdys: A=(!, J F - visi žodžiai abė- cėlėje A, Alt= [V , T=(P-PP). Kintamųjų kitimo sritis - žodžių abėcėlėje (p aibė. Tada II, IIII yra žo- džio. …
Excerpt
90 kintamuosius), 2 logiškai klaidingas, jei yra LST klai- dingas žormulės atskiras atvejis. Jei KR-R „taaĄ> R yra tapačiai teisinga formulė.“ Taigi .iš 1-12 pavyzdžių galime gauti daug logiškai teisingų | ivirtinisų. „Uždaviniai Nustatyti, ar logiškai …
Excerpt
Nų Sudėtinis teiginys pMą teisingas tada ir tik tada, kai teisingas lygiai vienas iš teiginių p ir 4. Ss Mm pl t kan Cl joo žymima simbolių > (-—> į; > ). p= 4 perskaitomas: "jei p, tai 4", "iš p išplaukia ą". Ter- minas "iš p seka 4" irgi vartotinas, …
Excerpt
TURINYS pvamis i O a a S a A Ž SEYBIOS: TEIGTNTŲ LORTKA Al a 506 $1. $ 2. „aš $ 4. 6 5. $ 6. £7. $ 8. $ 9. “ gi0. $11. 12. Laninėk Aperaci jant > Žan L LE Ekvivalenčios formulės bp Ask TL Tartaktinėd Boliamos + L e a lia 16 Loginės išvados ž aa aa k 19 …
Excerpt
i kg Aiko ii 23 tada n> L=t,42n= k ir (24) 2 (27) =A. „V 85. Tapačiai teisingų formulių taikymas aibių teorijoje Šiame paragrafe nagrinėsime žormules, kuriose loginės operacijos yra tik iš sąrašo 1,V, + , o elementarūs teiginiai = tik 18 Pi ,Pa-Dš, 2 . …
Excerpt
je - moūus ponens. as igiikam nė ana ago sieno, S 65 6) A> (AVD, 7) B= (ĄVB), 8) (A50 > (B201> ((AVB)> A), 9) (A> B1)> 2 ((A> 7B1!> 1A1, | 10) T1A> A, kur A,B,C - bet kurios formulės. Taisyklė vienintelė, Tai - E f Į '"Aprašytuose teiginių skaičiavimuose …
Excerpt
Išsprendę sistemą art+C+4=i Lid=i c+4> 1 d=0 Gauname Ū=4 „4=> 4 „€=4 |, d=O0 „taigi A,VXAr = X, X,KX,+X5. Funkcijų aibė Lit, vadinama uždara, jei kiekviena aibės funkcijų superpozicija priklauso šiai aibei t.y. Erna aibės funkcijų superpozicijai galima …
