+ ja · ning ühest unaarsest operatsioonist , kusjuures + ja · on kommutatiivsed, assotsiatiivsed, idempotentsed ning teineteise suhtes distributiivsed ning eksisteerivad elemendid 0 ja 1, nii et x · x = 0 ning x + x = 1. Näited. {2A ,,, } - Cantori algebra. { (0,1) n ,&,V, } - loogikaalgebra. · Kaks algebrat on isomorfsed ( A1 = < M1 ,S1 > A2 = < M2 ,S2 > ), kui eksisteerib üksühene vastavus nii, et : (M1 S1 ) ( M2 S2 ), kus fi (mj1 ,....,mjk-1)=mjk (fi )((mj1 ),....,((mjk-1 )) = (mjk), mjl M1 , (mjl) M2 , fi S1 , (fi ) S2 . Cantori algebra ja loogikaalgebra on isomorfsed. Ülesanded. · A={0,1,...,p-1}. Operatsioonid : +(mod p) ja x(mod p) (s.o. liitmine ja korrutamine mooduliga p). Kas selliselt kirjeldatud algabra on rühm? · A={1,2,3,4}. Ehitada kõikvõimalike tükelduste võre. MATEMAATILINE LOOGIKA Vaatleme loogikafunktsioone f(x1 ,x2 ,...xn), kus nii argumendid kui funktsiooni väärtus
assotsiatiivsed, idempotentsed ning teineteise suhtes distributiivsed ning eksisteerivad elemendid 0 ja 1, nii et x x = 0 ning x + x = 1. Näited. {2A ,,, } - Cantori algebra. { (0,1) n ,&,V, } - loogikaalgebra. Kaks algebrat on isomorfsed ( A1 = < M1 ,S1 > A2 = < M2 ,S2 > ), kui eksisteerib üksühene vastavus nii, et : (M1 S1 ) ( M2 S2 ), kus fi (mj1 ,....,mjk-1)=mjk (fi )((mj1 ),....,((mjk-1 )) = (mjk), mjl M1 , (mjl) M2 , fi S1 , (fi ) S2 . Cantori algebra ja loogikaalgebra on isomorfsed. Ülesanded. A={0,1,...,p-1}. Operatsioonid : +(mod p) ja x(mod p) (s.o. liitmine ja korrutamine mooduliga p). Kas selliselt kirjeldatud algabra on rühm? A={1,2,3,4}. Ehitada kõikvõimalike tükelduste võre. MATEMAATILINE LOOGIKA Vaatleme loogikafunktsioone f(x1 ,x2 ,...xn), kus nii argumendid kui funktsiooni väärtus
NSA kontrolli kogu luurealase suhtlemise üle. Selline kontroll lubab NSA-l jälgida iga eraisiku e-maili, telefoni, teleksit, telegramme ja nüüd ka on-line-is olevaid arvuteid, jälgides suvalise isiku isiklikku suhtlemist nii, kuidas ise tahavad. 14 ¾ ÜLISALAJANE - MAJIC TEEMA: MAJI PROJEKT: GRUDGE/AQUARIUS: (TS/MAJIC) Dokumendi kontroll: ECN Salastatud: MJ1/MAJI poolt Avalikustatud: Vabastatud salastatusest PROJEKT AQUARIUS (TS/ORCON), (Eellugu: Grudge) Sisaldab 16 köidet dokumenteeritud informatsiooni, mis on kogutud sellest ajast peale kui Ameerika Ühendriigid hakkasid uurima UFO-sid (Unidentified Flying Objects - tundmatud lendavad objektid) ja IAC-sid (Identified Alien Crafts - tuvastatud tulnukate laevad/sõidukid). Projekt oli algselt loodud 1953 a. president Eisenhower-i käsul, mis oli siis CIA ja MAJI kontrolli all. 1960 a