Haku
Viitteet 1-1 / 1
Signalointi IF-logiikassa
(2019)
Valinnaisten opintojen tutkielma
Valinnaisten opintojen tutkielma
Tutkielman aiheena on IF-logiikka (’Independence-Friendly logic’) ja siinä esiintyvä signaloinniksi kutsuttu ilmiö. IF- logiikka on tavallisen ensimmäisen kertaluvun predikaattilogiikan laajennus, jossa voidaan esittää ...