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.2012Правила преобразования сигнала логическими схемами. Разработка мобильного игрового приложения "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- 14. Язык 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.2015Consideration 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.2016One 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.2012Характеристика особенностей органического светодиода. Изучение областей его применения. Рассмотрение свойств и основных отличий гибкого экрана от его предшественников. Исследование технологии 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.2016Type theory introduced by Russell and Whitehead to overcome a paradox found in Frege’s work. The design of lambda-calculus in functional programming languages. The isomorphism between concepts of logic and concepts in type theory and programming.
статья, добавлен 22.02.2021