Helena Rasiowa – najwybitniejsza polska matematyczka, współtwórczyni używanego w teorii mnogości aksjomatu teoretycznego Rasiowa-Sikorski. Jako profesor Uniwersytetu Warszawskiego Rasiowa zajmowała się logiką, algebrą, teorią mnogości oraz informatyką teoretyczną. Wykładała i była dziekanem Wydziału Matematyki, Mechaniki i Informatyki Uniwersytetu Warszawskiego. Pani Helena ma również ogromne zasługi dla rozwoju prac nad wykorzystaniem logiki matematycznej w informatyce. Już 40 lat temu przewidziała, że wiele problemów informatycznych może być rozwiązanych metodami wypracowanymi w logice. ?Wychowała? wielu wybitnych matematyczek i matematyków, którzy dzięki niej zaczęli stosować metody algebraiczne w badaniach nad systemami logicznymi. Autorka książki ?Wstęp do matematyki współczesnej? studiowanej przez kolejne pokolenia naukowców.
AUTOR: mgr inż. Renata Kowalczyk
Foto: https://en.wikipedia.org/wiki/File:Helena_Rasiowa.jpg