En
Register Log in

List of publications on a keyword: «Quine's algorithm for obtaining abbreviated DNF of boolean functions»

  • Vzaimosviaz' fundamental'nosti i voenno-professional'noi napravlennosti izucheniia elementov matematicheskoi logiki v voennom vuze

    Book Chapter
    Pedagogy and Psychology as the Sciences of Forming the Potential of Modern Society
    Authors:
    Nikolai V. Sadovnikov, Elena V. Shipanova, Galiia A. Sultanova
    Work direction:
    Глава I. Педагогические аспекты обучения и воспитания
    Abstract:
    The article reveals the relationship between the principles of fundamentality and the military-professional orientation of studying the elements of mathematical logic in a military university. An unconventional approach to the study of this course is proposed, which is based on a functional approach that gives a more general idea of the elements of mathematical logic.
    Keywords:
    fundamentalization of military engineer training, professional-military orientation of cadet training, two-digit logic, infinite-value logic, ordinal logic, boolean functions, canonical forms of boolean functions: SDNF and SKNF, minimization of boolean functions, simple implicants, Quine's algorithm for obtaining abbreviated DNF of boolean functions
    Go