696 rezultatov
-
-
-
-
-
-
-
-
-
-
-
-
The Mathematics of Secrets - Cryptography from Caesar Ciphers to Digital Encryption(2018) JOSHUA HOLDENVezava: Mehka24,98 €
-
-
Mathematical Logic(1994) EBBINGHAUS, H.-D.,FLUM, J.,THOMAS, WOLFGANGOur first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom systemVezava: Trda91,58 €
-
-
-
-
-
-