logiikka

Substantiivi

1. 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. 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ä.”

3. programmable logic controller

   • ohjelmoitava logiikka

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