Now showing items 1-3 of 3

  • System for processing of logical expressions.

    T.E.I. of Crete, School of Engineering (STEF), Department of Informatics Engineering
    Authors: Patsakis, Nikolaos; Papadakis, Georgios
    Thesis advisor: Papadakis, Nikolaos
    Publication Date: 19-01-2015
    Our thesis relates to logical operations, gates and truth tables. We examine the logical operations of: conjunction ( ˄ ), negation ( ⌐ ), disjunction ( ˅ ) and implication ( → ), which give us a logical result ( 0 or 1 ...
  • System for processing of logical expressions.

    T.E.I. of Crete, School of Engineering (STEF), Department of Informatics Engineering
    Authors: Πατσακισ, Νικόλαος; Παπαδάκης, Γεώργιος
    Thesis advisor: Papadakis, Nikolaos
    Publication Date: 19-01-2015
    Our thesis relates to logical operations, gates and truth tables. We examine the logical operations of: conjunction ( ˄ ), negation ( ⌐ ), disjunction ( ˅ ) and implication ( → ), which give us a logical result ( 0 or 1 ...
  • Solutions for the implications problem and comparative results using C

    T.E.I. of Crete, School of Engineering (STEF), Department of Mechanical Engineering
    Authors: Pagkalos, Georgios
    Thesis advisor: Papadakis, Nikolaos
    Publication Date: 2016-06-01
    This project refers to one of the most challenging problems in robotics, software engineering and databases, the ramification problem. This problem relates to the comprehensive description of the indirect effects of an ...