George Boole algebrája
Algebrája mérföldkő volt a logika történetében, és létfontosságú a bináris aritmetika áramkörökkel való megvalósításában.
A komputer algebrai rendszerek használatának elterjesztése a közoktatásban
A pályázat célja a szimbolikus számítások elvégzésére alkalmas, interaktív, a felfedezéses tanulást támogató számító számítógépes szoftverek használatának minél szélesebb körben való elterjesztése az általános- és középiskolákban.