From philosophy to computation: how Russell’s type theory impacts programming languages
Type 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.
Подобные документы
Classical cryptography and quantum computation, as well as the signature scheme to the security of Merkle. Challenges in quantum cryptography and the authentication path computation. Basic designs and variations of multivariate public-key cryptography.
материалы конференции, добавлен 08.03.2014Analysis of affine coordinates for pairing computation. Construction of designated connfirmer signature and its application to optimistic fair exchange. Designing a code generator for pairing based cryptographic functions and efficient constructions.
книга, добавлен 08.03.2014The article is aimed at researching the possibilities and strategies of innovative integration of parametricism in the field of graphic design and analyzing the main problems and solutions of using parametric design in the creation of graphic objects.
статья, добавлен 20.07.2024The essence of using a functionally complete tolerant elements. Comparison of the exponential reliability functional performance. Rating and characteristic tree of the transmitting transistors. Description of redundancy of the transmitting transistors.
статья, добавлен 28.02.2016Development new field of design - multimedia design. Communication of computer processes. Composition as a fundamental factor in the creation of multimedia products. Realization of the idea of project. Compositional organization of multimedia project.
статья, добавлен 10.05.2018Designing for maximum usability. The essential characteristics of rules in the form of standards and guidelines in order to enhance the interactive properties of the system. Principles of flexibility and robustness. HCI design patterns and golden rules.
презентация, добавлен 28.12.2013Специализированные языки создания систем управления данными являются эффективным инструментом для построения прикладных систем обработки данных. Характеристики прикладных пакетов. Paradox – популярная реляционная модель баз данных, таблицы и кросстаблицы.
учебное пособие, добавлен 26.11.2009Universal design principles. Peculiarities of using multi-sensory systems. Applying speech, non-speech, sound, touch, handwriting and gestures in multi-modal systems. Recognition problems in interactive computer systems. Personal orientation of design.
презентация, добавлен 28.12.2013The main features of non-traditional social engineering. Characteristics of the main non-traditional design, which involves the formation of a number of new types of activities (involvement of users in design, complex management and project expertise).
статья, добавлен 26.04.2023Data flow diagrams as a hierarchy of functional processes related data flows. Familiarity with the main components of a data flow diagram: external entities, systems and subsystems, processes. Analysis of the structure of building hierarchy DFD.
статья, добавлен 25.03.2019Modeling an optoelectronic fire smoke alarm detector at the functional diagram level by means of Matlab tools. Characteristics of developed detector model and evaluating the ability of the logic unit to distinguishing between fire signals and noise.
статья, добавлен 26.06.2016Основные виды теплообменных аппаратов. Анализ кожухотрубчатых теплообменников. Работа с программой Heat Exchangers Design (HeatExchange): ввод и редактирование исходных данных, сохранение выполнение расчетов. Стандартные команды для работы с данными.
контрольная работа, добавлен 12.11.2017Правила преобразования сигнала логическими схемами. Разработка мобильного игрового приложения "Logic". Описание спецификации программы и алгоритма ее реализации. Тестирование приложения. Создание дизайна приложения, прописывание кодов для кнопок.
статья, добавлен 28.02.2019It is developed software integration of different computer-aided design systems in the design of wind power plants. The block-diagram of computer-aided design system is presented. Analysis and especially considering of the format conversion mechanism.
статья, добавлен 26.06.2016The 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.2017The determination of the level of security provided by the finalists is largely guesswork, as in the case of any unbroken cryptosystem. Software implementation languages. General security. Software speeds for encryption, decryption, and key setup.
книга, добавлен 08.03.2014The 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.2012The choice of technologies for application development as an stage. The importance of the correct selection of a combination of technologies in ensuring comfortable work in the future at all stages of the program's existence. Scalable technology stack.
статья, добавлен 11.07.2022The main tasks of artificial intelligence: creation and work in systems of symbolic calculations, systems with fuzzy logic, cognitive psychology, understanding of natural language, creation of expert systems. Its importance in business processes.
статья, добавлен 17.12.2022Сфера применения систем, основанных на нечетком логическом выводе. Пакет Fuzzy Logic Toolbox в составе ПО MATLAB как один из наиболее распространенных инструментов, используемых при проектировании нечетких систем. Процесс и этапы разработки программы.
статья, добавлен 26.07.2018Sensor - a device that measures physical quantity and converts it into a signal. The context-aware systems a combination of hardware and software that analyze the state of the user and the environment and adapt their work to the changing condition.
статья, добавлен 30.04.2019Replacing symbolic information, such as a sequence of bits or a message written in a natural language, by another message using different symbols. The properties of arithmetic coding. The problem of reliable communication. Coding natural languages.
книга, добавлен 08.03.2014Application 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.2012Questionnaires are the tools uses in lexical typology with collect data for low-resourced languages, for which there are no large corpora or detailed dictionaries. Algorithm for automatically collect visual stimuli for lexico-typological research.
дипломная работа, добавлен 04.12.2019Information technologies for working with knowledge bases are considered, and a description of the concepts of Knowledge Management and "Business Intelligence" is given. The classification of knowledge is given. according to different categories of signs.
статья, добавлен 04.09.2022