From Boole’s logic to Boolean applications in computer science
Boolean algebra as a mathematical language of thought. Demonstration of the role of Boolean logic in computer science through the development of design schemes, its use in cryptography as a significant example of the role of logic in modern computing.
Подобные документы
The discussion about boolean algebras and their application to switching circuits. The rotation groups of the regular solids are investigated. New material on order of an element and cyclic groups, more details about the lattice of divisors of an integer.
учебное пособие, добавлен 11.10.2014The logic of quantification. Non-standart set theories. Typically ambiguous variables. Standardized theory of types. Equate the null classes. Connections with Zermelo's theory. Functional Logic. A motive for unifying universes. Use general variables.
статья, добавлен 11.09.2012The textbook includes topics of discrete mathematics. Relations: binary relations, pictorial representatives of relations, inverse relation, functional relation. Mathematical logic: propositions and compound statements, basic laws of logical operations.
учебное пособие, добавлен 11.10.2014The paper attempts to state and prove a completeness theorem for the system S5 of supplemented by first-order quantifiers and the sign of equality. The basic modal language. A general strategy for proving completeness theorems for quantified modal logics.
статья, добавлен 10.09.2012Study of the content of Galileo's revolution in science, which introduced into science the analytical method typical of the general modern thinking. Familiarization with the method of determining the laws of motion of objects using time functions.
статья, добавлен 10.04.2023Role of Euler`s number in differential and integral calculus, in algebra. Consideration of a new limit for the number e and giving its rigorous proof using the apparatus of mathematical analysis. Combinatorial interpretation is given for Euler’s number.
статья, добавлен 28.08.2020The mathematization of scientific knowledge. The role of mathematization process as precondition of transformation of science into direct productive force of the industrial society. Factor of scientific communication complementarity in knowledge society.
статья, добавлен 31.08.2018Biographies of scholars such as Leonardo da Vinci, Kelly Miller, Rene Descartes, Leonhard Euler, Nicolaus Copernicus, Alan Turing and other scientists who have made an invaluable contribution to science. Their ways of life and achievements in science.
реферат, добавлен 01.04.2016Sums, floors and recurrences. Finite and infinite calculus. Hypergeometric functions and transformations. Special, exponential generating functions. Euler’s summation formula. Domino theory and change. Partial hypergeometric sums. Stirling numbers.
учебное пособие, добавлен 25.11.2013Separating the foundations of mathematics from philosophy. Difference between the theory of formal systems theory and evidence. Classical first order predicate logic. Elementary and full analysis. Existing proof theory. Infinitely long expressions.
статья, добавлен 09.09.2012The Italian system of numeration of propositions. Account of Peano's Logical Symbolism. Russell's "Logic of Relations". On Finite and Infinite Cardinal Numbers. Connect of the proposition. Combinations and Permutations, the class of infinite numbers.
статья, добавлен 09.09.2012An application of mathematical models in transport infrastructure and the field of road construction. The problems of traffic jams, road accident, overload, underload of transport nodal points and their solving with the help of mathematical modeling.
статья, добавлен 20.04.2019Names of Greek letters and their pronunciation in formulas. Some facts on the development of the number system. Abbreviation and mathematical dictionary for the telecommunications specialists. Expressions and constructions used while retelling texts.
учебное пособие, добавлен 11.10.2014Approximations in Scientic Computation, сomputer Arithmetic, mathematical Software. Linear Systems, solving Linear Systems, Iterative Methods for Linear Systems. Linear Least Squares, eigenvalues and Singular Values, Nonlinear Equations, optimization.
учебное пособие, добавлен 25.11.2013The natural connection between interassociates and variants of a semigroup. Variants of regular semigroups. Connection interassociates with commutative dimonoids. Study interassociates of the free semigroup with two generators using computer modeling.
статья, добавлен 27.06.2016The Cartesian product of copies. The set of all nonnegative real numbers. The algebra of polar operators (poles). Definition of a binary operation. Polarized elements, extension of the algebra of poles to the whole plane. Classes of equivalence.
статья, добавлен 27.06.2016The basics of cryptography and its levels of reliability. Secret key cryptosystem and symmetric ciphers, message authentication codes. Fundamentals of discrete mathematics, homomorphisms and isomorphisms. Modular arithmetic and function Euler's Totient.
учебное пособие, добавлен 19.03.2014The mathematical principles of the operation of cryptocurrencies. Mathematical formulas for calculating the public key from the private key. Properties of elliptic curves and the principle of their application during the creation of cryptocurrency.
статья, добавлен 10.05.2023Consideration of the process of evolution and prospects of mathematical methods and models in economic research. Characterization of advantages and identification of disadvantages of mathematical formalization in the conditions of a new economic paradigm.
статья, добавлен 31.07.2022Mathematical methods of optimizing statistical research. Solution the problem of computation the entropy value of binary messages of increased length generated by Bernoulli information sources. Development of methods to reduce the number of calculations.
статья, добавлен 19.09.2024The emergence of noncommutative geometry, its relationship with the corresponding selected algebra function. The establishment of the anti-equivalence between the category of spaces and the corresponding category of algebras of functions on such spaces.
дипломная работа, добавлен 30.07.2016Further examples of population dynamics. Representation of real numbers in an arbitrary base. A geometrical model for continued fractions. The idea of computational complexity. Elementary applications of congruence. The fundamental theorem of arithmetic.
книга, добавлен 08.03.2014Overview of constraint solving. Term algebra. Attacker model. Constraint generation. Subterms and product closures. Well-defined protocols and constraint sequences. Ground derivability. Conservative solutions. Decision procedure for symbolic constraints.
статья, добавлен 15.09.2012Arithmetic operations and properties of decimals, proportion and percents. Fundamental concepts of algebra, functions and graphs. The fundamental operations with complex numbers. Limits of function values, one-sided limits, infinitesimal functions.
учебное пособие, добавлен 11.10.2014Consideration of the Shannon's mathematical theory of communication as the technology processing of information. Problems associated with the transmission of messages: eliminate redundancy, perform coding and messaging communication channels with noise.
статья, добавлен 15.09.2012