logiikka

Substantiivi

1. logic, formal logic

   formaalinen tiede, jonka kohteena ovat käsitteiden yleiset ja muodolliset ominaisuudet ja suhteet, joita kuvaamaan käytetään erityisistä merkeistä koostuvia filosofian ja matematiikan lainalaisuuksia noudattavia formaaleja kieliä

   “Logiikka tutkii ajattelua, järjellistä päättelyä ja todistusmenetelmiä.”

2. programmable logic controller

   ohjelmoitava logiikka

   “Käännetään logiikan toimintakytkin RUN-asentoon.”