関連ワード:  use of logic in computer science    application of logic in computer science    uses of logic gates in computer science    application of propositional logic in computer science    applications of mathematical logic in computer science    application of boolean logic in computer science    applications of predicate logic in computer science    applications of logical connectives in computer science    what is logic in computer science