Helena Rasiowa
Z Wikipedii
Helena Rasiowa (ur. 20 czerwca 1917 w Wiedniu, zm. 9 sierpnia 1994 w Warszawie) - matematyk, profesor Uniwersytetu Warszawskiego i Polskiej Akademii Nauk; zajmowała się logiką, algebrą (w tym algebrą Boole'a), teoria mnogości, oraz informatyką teoretyczną. Autorka książki Wstęp do matematyki współczesnej, omawiającej zagadnienia z zakresu logiki i teorii mnogości.
[edytuj] Biografia
Helena Rasiowa urodziła się w Wiedniu w rodzinie pochodzenia polskiego. Do Polski przyjechała niedługo po odzyskaniu niepodległości w roku 1918. W roku 1938 rozpoczęła studia matematyczne na Uniwersytecie Warszawskim, które zmuszona była przerwać po rozpoczęciu II wojny światowej. Po roku spędzonym wraz z rodziną we Lwowie powróciła do Warszawy, gdzie podjęła edukację na tajnych studiach, zorganizowanych przez wykładowców UW (m.in. Karola Borsuka, Jana Łukasiewicza, Andrzeja Mostowskiego). Jej pierwsza praca magisterska, pisana pod kierunkiem Jana Łukasiewicza i Bolesława Sobocińskiego, spłonęła podczas powstania warszawskiego, zaś sama Rasiowa przeżyła je, ukrywając się w podziemiach budynków. Po wojnie krótko pracowała jako nauczycielka matematyki, by za namową Mostowskiego powrócić na studia. Napisała drugą pracę magisterską, tym razem pod kierunkiem Andrzeja Mostowskiego, którą obroniła w roku 1945. W następnym roku rozpoczęła pracę jako asystent na Uniwersytecie Warszawskim. W roku 1950 obroniła rozprawę doktorską, pisaną także pod kierunkiem Andrzeja Mostowskiego. Praca dotyczyła metod algebraicznych w logice.
W roku 1956 zdobyła drugi tytuł naukowy (odpowiednik habilitacji). Rok później rozpoczęła pracę jako profesor nadzwyczajny na Uniwersytecie Warszawskim, zaś w roku 1967 uzyskała tytuł profesora zwyczajnego. W badaniach naukowych koncentrowała się na algebraicznych aspektach logiki, logice, algebrze, w późniejszym okresie - informatycznych aspektach matematyki, algorytmiki oraz sztucznej inteligencji.
Helena Rasiowa działała w Polskim Towarzystwie Matematycznym, w latach 1955-1957 była jego sekretarzem, zaś w latach 1958-1959 wiceprezesem.
[edytuj] Publikacje książkowe
- Wstęp do matematyki współczesnej. Wydaw. Naukowe PWN, Warszawa 2003. ISBN 8301139498
- Algorithmic logic: lectures notes Simon Fraser University, Canada. "Prace IPI PAN", tom 281. Instytut Podstaw Informatyki Polskiej Akademii Nauk, Warszawa 1977.
- An algebraic approach to non-classical logics. "Studies in Logic and the Foundations of Mathematics", tom 78. Wydaw. Naukowe PWN - North-Holland, Warszawa - Amsterdam 1974.
[edytuj] Linki zewnętrzne
- John J O'Connor; Edmund F. Robertson Helena Rasiowa w MacTutor History of Mathematics archive (en)
- Biografia Heleny Rasiowej w języku angielskim
- rozprawa doktorska Heleny Rasiowej w języku angielskim
| W Polsce "pierwszy stopień zasilania" |
|
Nie ma ograniczeń w dostawach gazu, jest "pierwszy stopień zasilania" - powiedziała dziś rzeczniczka operatora systemu gazociągów przesyłowych Gaz-System, Małgorzata Polkowska.
|
| Okradał kobiety w kościołach |
|
Lubuscy policjanci zatrzymali mężczyznę, który okradał kobiety w kościołach. Jego łupem padło kilkanaście damskich torebek, telefony komórkowe oraz pieniądze z kościelnej skarbony. 27-latek dopuścił się również kradzieży w kilku zielonogórskich firmach.
|
| Włoskie ferie Donalda Tuska |
|
Piękne szczyty Dolomitów, czyste, rześkie powietrze i wspaniałe stoki do szusowania. W takich bajkowych warunkach premier Donald Tusk spędził we Włoszech kilkudniowy urlop z rodziną - donosi "Fakt".
|
| Rekordowe inwestycje w Wiśle |
|
Wisła (woj. śląskie) ma jeden z największych budżetów w historii. Planowane wydatki sięgną prawie 43 mln zł, spodziewane dochody oscylują natomiast w granicach 36 mln. Powstały deficyt w wysokości 7 mln pokryty zostanie z kredytów.
|
| Ślisko na drogach Warmii i Mazur |
|
Błoto pośniegowe na głównych drogach nr 7 między Elblągiem a Nidzicą oraz nr 16 między Kisielicami a Ełkiem powoduje, że warunki jazdy w czwartek na Warmii i Mazurach są trudne.
|