From boole’s logic to boolean applications in computer science
Explanation of theoretical insights between Boolean logic and modern Boolean logic. An additional method of investigation is the demonstration of the role of Boolean logic in informatics through the development of a design scheme and cryptography.
Подобные документы
Consideration of new forms of binary representations of Boolean functions. Analysis of single algebraic and non-inverting classic models of the Reed-Muller. Using technology "EDM - Extended Data Mining". Characteristics of main data mining algorithms.
??????, добавлен 14.07.2016A mixing core for block cipher cryptography. Measured Boolean function nonlinearity in variable size block ciphers. Orthogonal latin squares, nonlinear balanced block mixers, and mixing ciphers. Binomial and Poisson statistics functions in JavaScript.
?????, добавлен 08.03.2014Finding Boolean functions with maximum algebraic immunity based on univariate polynomial representation. Algebraic techniques in differential cryptanalysis revisited. An efficient rational secret sharing scheme based on the chinese remainder theorem.
?????, добавлен 08.03.2014?????????? ??????????? ???????? ?? ????? Logic 3, ??????????? ???????????? ? ????????????. ??????????? ? ?????????????? ??????????? ????????. ?????????? ?????????? ?????????? ??????? ? ?????????? ??????? ????????? ? ?????????? ????????? ????????? FIFO.
???????? ??????, добавлен 09.06.2013The approaches to the information system construction for analyzing work complexity. Business logic and access logic to the database, as a basis of software implementation and in future presentation logic. The block diagram of the information system.
??????, добавлен 26.06.2016Database and logic abduction method. Classical Logic Programming approach. Soundness and completeness DLA method. Various aspects of analysis of security protocols. Needham-Schroeder protocol. Optimized Otway-Rees protocol. Internet Key Exchange Protocol.
??????? ??????, добавлен 15.09.2012Studies show that despite the existence of a large number of monitoring methods used in the evaluation of the technical condition of generators on a real-time basis in modern times, they create certain limits in the evaluation of some parts or parameters.
??????, добавлен 08.12.2024??????? ?????????????? ??????? ??????????? ???????. ?????????? ?????????? ???????? ?????????? "Logic". ???????? ???????????? ????????? ? ????????? ?? ??????????. ???????????? ??????????. ???????? ??????? ??????????, ???????????? ????? ??? ??????.
??????, добавлен 28.02.2019The logic of authentication of Burrows, Abadi and Needham. which transforms a protocol into a special form and then uses logical rules to analyze it. Using BAN logic and its enhancements in order to find new weaknesses in various cryptographic protocols.
??????, добавлен 15.09.2012????? ?????????? ??????, ?????????? ?? ???????? ?????????? ??????. ????? Fuzzy Logic Toolbox ? ??????? ?? MATLAB ??? ???? ?? ???????? ???????????????? ????????????, ???????????? ??? ?????????????? ???????? ??????. ??????? ? ????? ?????????? ?????????.
??????, добавлен 26.07.2018Application an extension of the well-known Abadi-Rogaway logic with hashes. Description extends Micciancio and Warinschi's completeness result for the original logic to this setting, interpretation of this extension using Canetti's oracle hashing.
??????, добавлен 15.09.2012One Useful Logic That Defines Its Own Truth. On Synchronous and Asynchronous Interaction in Distributed Systems. A Robust Class of Regular Languages. Deterministic Models of Communication Faults. The Maximum Independent Set Problem in Planar Graphs.
?????, добавлен 08.03.2014The design of a von Neumann architecture machine. A stored-program digital computer. Development of the stored-program concept. Early von Neumann-architecture computers. Von Neumann bottleneck. Features of Von Neumann Architecture. Arithmetic Logic Unit.
???????????, добавлен 25.10.2017???????? ???????? ????? ??????? ?????????????? ???????? ????????. ??????? ?????????? ? ????????? ??????? ?????????????? ? ?????? ???????? MatLab. ?????? ? ??????????? ?????????????? ???????? ?????? Fuzzy Logic Toolbox, ????????? ? ????? ???????? MatLab.
???????????? ??????, добавлен 25.08.2011- 15. ???? VBScript
?????????? ????????? Microsoft VBScript ??? ????? ????????? ????????? ? ??????????? ???????????? web-??????????. ???????? ??????? ??????: Integer, Currency, Boolean, String ? Date. ?????????? ?????????? ? ????????. ??????????? ?????? ? ????????? ??????.
??????, добавлен 31.01.2012 ???????? ???????????? ??????? ??? ?????????? ?????????? ?????????????? ???????? ? ????????????? ?? ??????????. ???????? ????????? Boolean ?????????? ???????????? ??? ????? ? ?????? ?????????? ??????. ?????? ???? ?????????. ?????????? ???????? ?? ????????.
???????????? ??????, добавлен 05.12.2021The comparison of the computer development in the USA and Ukraine. At the time when the computer science was just uprising this two countries were one of the most noticeably influential. Howard Aiken's contributions to the development of the computer.
????, добавлен 13.09.2011The invention of the computer. Babbage's demonstration model mechanical calculator. Sequence of operations for column. The logical structure of the Analytical Engine. The programming language. Mechanical calculation device based on the design in 1853.
???????, добавлен 17.12.2015The model and structure of the intrusion detection system, which is built on the basis of immunological principles. Detecting the network traffic status. The decision rules for the classification of States of network traffic of a computer network.
??????, добавлен 24.03.2016Information Retrieval as finding material of an unstructured nature that satisfies an information need from within large collections. Unstructured (text) and structured (database) data in 1996 and 2006. Basic assumptions of Information Retrieval.
???????????, добавлен 19.02.2014Computer science as the theory of representation, processing and use of the information, main directions of development of science, its subject, ikomponenty. Properties and coding information. Rules of conversion from binary to decimal number system.
???????????, добавлен 18.11.2015One of the basic primitives in cryptography and of computer science is a pseudo-random generator. The number of important applications, including the construction of a private provably secure key cryptosystem. The construct a pseudo-random generator.
??????, добавлен 15.09.2012Consideration and analysis of nanoelectronic three-input element "and", which consists of five tunnel junctions, three capacitors and four voltage sources. Consideration and characteristic features of the single-electron circle with tunnel junctions.
??????, добавлен 26.06.2016?????????????? ???????????? ????????????? ??????????. ???????? ???????? ??? ??????????. ???????????? ??????? ? ???????? ??????? ??????? ?????? ?? ??? ????????????????. ???????????? ?????????? Plastic Logic. ?????? ??????????? ???????????? ?????.
???????, добавлен 09.04.2015The characteristics and features of the method for assessing the changes of health system with multiple levels of efficiency, depending on the state change of its elements. The essence, the specificity of logical differential calculus, multivalue logic.
??????, добавлен 28.02.2016