Geometry.Net - Scientists: Rasiowa Helena


Home - Scientists - Rasiowa Helena

e99.com Bookstore

Images

Newsgroups

21-40 of 88 Back | 1 | 2 | 3 | 4 | 5 | Next 20

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Rasiowa Helena: more books (19)

An Algebraic Approach to Non-Classical Logics. by Helena. Rasiowa, 1974-07

Wstep Do Matematyki Wspolczesnej by Helena Rasiowa, 1984

The Mathematics of Metamathematics by Helena and Roman Sikorski Rasiowa, 1963

Mathematics of Mathematics by Helena Rasiowa, R Sikorski,

Mathematics of Metamathematics by Helena Rasiowa;Co-AuthorsRoman Sikorski, 1970

lists with details

Rasiowa
Biography of helena rasiowa (19171994) helena rasiowa. Born 20 June 1917 in Vienna, Austria
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Rasiowa.html

Extractions: Although Helena Rasiowa was born in Vienna, her parents were Polish. In 1918 Poland regained its status as an independent nation and Rasiowa's parents moved to Warsaw. She was educated there, obtaining a good secondary school education with music lessons taken at a special music school. After completing her school studies she took a course in business management before entering university. Rasiowa entered the University of Warsaw in 1938 but, after the German invasion of Poland in 1939, the university closed. Rasiowa and her parents moved to Lvov but the Poles were trapped between the Soviets and the Germans and Lvov came under Soviet control. Life there seemed even more difficult than under German occupation, so after a year the family returned to Warsaw. There was an impressive collection of mathematicians at the University of Warsaw at this time including Borsuk Lukasiewicz Mazurkiewicz Sierpinski ... Mostowski and others. They had organised an underground version of the university which was strongly opposed by the Nazi authorities.
Philosophenlexikon.de
Petrus; Ranke, Leopold von; rasiowa, helena; Rashdall, Hastings;
http://www.philosophenlexikon.de/index-rr.htm

Extractions: Ebbinghaus - Ewald ... Geschichte der Philosophie Diskussion PhilTalk Philosophieforen Andere Lexika PhilLex -Lexikon der Philosophie Lexikon der griechischen Mythologie PhiloThek Bibliothek der Klassiker Zeitschriftenlesesaal Nachschlagewerke Allgemeine Information ... Dokumentenlieferdienste Spiele Philosophisches Galgenraten PhilSearch.de Shops PhiloShop PhiloShirt Service Kontakt Impressum eMail [a] [b] [c] [d] ... [z] R powered by Uwe Wiedemann
DBLP: George Epstein
ISMVL 1994 356361. 1991. 5, George Epstein, helena rasiowa Theory and Usesof Post Algebras of Order \omega+\omega\ast. Part II. ISMVL 1991 248-254. 1990.
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Epstein:George.html

Extractions: List of publications from the DBLP Bibliography Server FAQ Ask others: ACM CiteSeer CSB Google ... "Home Page Search" Engine George Epstein: A Weak Propositional Calculus for Signal Processing with Thresholds. ISMVL 1994 George Epstein, Helena Rasiowa ISMVL 1991 George Epstein, Helena Rasiowa ISMVL 1990 George Epstein: Thresholds for Certainty and the Modal Logic S3. IPMU 1988 Helena Rasiowa , George Epstein: Approximation Reasoning and Scott's Information Systems. ISMIS 1987 EE John S. Bailey , George Epstein: Single Function Shifting Counters. JACM 9 DBLP: [ Home Author Title Conferences ... Michael Ley (ley@uni-trier.de) Fri Mar 28 15:24:21 2003
References For Rasiowa
References for the biography of helena rasiowa W Bartol, E Orlowska and A Skowron, helena rasiowa, 1917 1994, Bull.
http://www-history.mcs.st-and.ac.uk/References/Rasiowa.html
HELENA RASIOWA
helena rasiowa. helena rasiowa began the study of mathematics at theUniversity of Warsaw in 1938. During the second world war she
http://www.risc.uni-linz.ac.at/misc-info/ewm/newsletter/news2/node10.html

Extractions: Next: Report on AWISE Meeting Up: EUROPEAN WOMEN IN MATHEMATICS Previous: Dusa McDuff elected Fellow Helena Rasiowa began the study of mathematics at the University of Warsaw in 1938. During the second world war she continued these studies at the Underground University. In 1944 she wrote a master's thesis under the supervision of Jan Lukasiewicz. In 1945 she received the M.Sc. degree and in 1950 the Ph.D degree from the University of Warsaw. Andrzej Mostowski was the supervisor of her Ph.D dissertation. She held academic positions at the University of Warsaw from November 1945 till June 1992. She served as the head of the Section of Foundations of Mathematics (1964-1970) and the head of the Section of Mathematical Logic (1970-1992). She was the dean of the Faculty of Mathematics (1958-1960, 1962-1966, 1968-1978). Helena Rasiowa was the author of more than 100 papers in the area of mathematical logic and theoretical computer science, and of the books ``The mathematics of Metamathematics'' (with Roman Sikorski), ``Introduction to Modern Mathematics'' and ``Algebraic Approach to Non-Classical Logics''. She was the founder and the editor-in-chief of the journal Fundamenta Informaticae , collecting editor of Studia Logica and associate editor of the Journal for Approximate Reasoning She received numerous prestigious honors and awards, among others the Sierpinski medal, the title of Honorary Member of the Polish Mathematical Society, the Polish Mathematical Society ``Stefan Mazurkiewicz'' Award and the First Class State Science Award in Mathematics. She served as the president of the Polish Mathematical Society Warsaw Division (1957-58, 1963-64). In the Association for Symbolic Logic she was the Council member (1958-60) and the Executive Committee for European Affairs member (1972-77). In the International Union of History and Philosophy of Sciences, Division of Logic, Methodology and Philosophy of Science she was the alternate assessor (1972-75) and the assessor (1975-79).
Report On AWISE Meeting Held In London On 31st October 1994
next up previous Next Proposal to start a Up EUROPEAN WOMEN IN MATHEMATICSPrevious helena rasiowa. Report on AWISE Meeting held
http://www.risc.uni-linz.ac.at/misc-info/ewm/newsletter/news2/node11.html

Extractions: Next: Proposal to start a Up: EUROPEAN WOMEN IN MATHEMATICS Previous: HELENA RASIOWA In March 1994, a group of female scientists in the UK decided to form a group tentatively called the Association of Women In Science and Engineering (AWISE). I attended one of the first formal meetings of this group on October 31st 1994. Those present at the meeting included representatives of several existing groups, including representatives from Women in Physics, Women in Engineering (WiE), Gender and Mathematics Association, Women in Technology in Europe and Women Chemists' Committee. Dusa McDuff and I attended as self-elected representatives of women in maths. The meeting was chaired by Dr. Anne McLaren of the Royal Society. One of the first issues to be raised was that of the name and role of the organisation. Objections to the current name were received from the Engineering Research Council (who run a programme for school girls called WISE) and from the president of the UK Women in Engineering (who felt that female engineers were already well-represented by WiE). It was decided that another name should be chosen, reflecting the ``science'' aspect of the body rather than engineering. As to the role of the organisation, it seems that there is a need for an umbrella organisation to bring together the existing ``Women in ....'' groups in the UK as well as a society to which individuals can belong. A constitution along these lines is being drawn up.
DBLP: V. Wiktor Marek
1993. 30, helena rasiowa, V. Wiktor Marek Mechanical Proof Systems forLogic II, Consensus Programs and Their Procedding (Extended Abstract).
http://dblab.comeng.cnu.ac.kr/~dolphin/db/indices/a-tree/m/Marek:V=_Wiktor.html

Extractions: List of publications from the DBLP Bibliography Server Homepage EE Raphael A. Finkel , V. Wiktor Marek, Miroslaw Truszczynski : Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. JELIA 2002 EE V. Wiktor Marek, Inna Pivkina Miroslaw Truszczynski : Annotated revision programs. Artificial Intelligence 138 EE V. Wiktor Marek, Jeffrey B. Remmel : On the Expressibility of Stable Logic Programming. LPNMR 2001 Joeri Engelfriet , V. Wiktor Marek, Jan Treur Miroslaw Truszczynski : Default logic and specification of nonmonotonic reasoning. JETAI 13 EE Marc Denecker Maurice Bruynooghe , V. Wiktor Marek: Logic programming revisited: Logic programs as inductive definitions. TOCL 2 Marc Denecker , V. Wiktor Marek, Miroslaw Truszczynski : Uniform semantic treatment of default and autoepistemic logic. KR 2000 EE V. Wiktor Marek, Inna Pivkina Miroslaw Truszczynski : Annotated Revision Programs. LPNMR 1999 V. Wiktor Marek, Anil Nerode Jeffrey B. Remmel : Logic Programs, Well-Orderings, and Forward Chaining. Annals of Pure and Applied Logic 96 EE Pawel Cholewinski , V. Wiktor Marek
None Of The Above
Hard to classify. A tribute to Professor helena rasiowa. in Logic at Work,vviii, Ewa Orlowska editor, Physica-Verlag, 1998. A symmetric
http://comet.lehman.cuny.edu/fitting/bookspapers/none.html

Extractions: Hard to classify A tribute to Professor Helena Rasiowa. in Logic at Work , v-viii, Ewa Orlowska editor, Physica-Verlag, 1998. A symmetric approach to axiomatizing quantifiers and modalities. Synthese Apple Writer on the Franklin Ace. Creative Computing , 9:202204, June 1983. A generalization of elementary formal systems. Universal Algebra and Applications , volume 9, pages 8996, Warsaw, Poland, 1982. Banach Center Publications. Propositional logic using elementary algebra. Mathematics and Computer Education 16:204207, 1982. Formerly The Matyc Journal An axiomatic approach to computers. Theoria Elementary formal systems for hyperarithmetical relations. Non-classical logics and the independence results of set theory. Theoria Intuitionistic model theory and the Cohen independence proofs. In John Myhill, Akiko Kino, and Richard Vesley, editors, Intuitionism and Proof Theory , Proceedings of the Summer Conference at Buffalo, N.Y. 1968, pages 219226. North-Holland, 1970. [Go home]
Helena Karsten - ResearchIndex Document Query
huebner, helena.lindskog}kau.se Abstract This paper discusses privacy.lindskog.ws/teachpet.pdfhelena rasiowa And Cecylia Rauszer Research On Logical..
http://citeseer.nj.nec.com/cs?q=Helena Karsten
F99b Abstract
On the contributions of helena rasiowa to Mathematical Logic. by Josep Maria Font.MultipleValued Logic, an International Journal, 4 (1999) 159-179. Abstract.
http://www.mat.ub.es/~font/F99babs.html

Extractions: After an overview of the main fields of mathematical logic where Rasiowa made significant contributions, the author analyzes with some detail the philosophical basis of Rasiowa's approach to the study of mathematical logic and the main technical points that characterize her contributions. In particular, it is shown that theses contributions are grounded on three key ideas of major Polish logicians, namely: (1) Lindenbaum's idea of treating the set of formulas as an abstract algebra. (2) Mostowski's idea of interpreting quantifiers as infinite conjunctions or disjunctions in the (ordered) set taken as model. (3) Tarski's idea of defining a logic in general as a finitary closure operator on the power set of the set of formulas, completed by Los' and Suszko's notion of "structurality" (invariance under substitutions). These ideas and Rasiowa's own constructions are described in their historical context.
"Wstêp Do Matematyki Wspó³czesnej" - Helena Rasiowa
Tytul Wstep do matematyki wspólczesnej. Autor helena rasiowa.Wyd. Wydawnictwo Naukowe PWN, Warszawa 1998, ISBN 8301-01373-7.
http://www.wne.uw.edu.pl/smil/k_1rok/wojtowicz_rasiowa_1998.html

Extractions: Tytu³: Wstêp do matematyki wspó³czesnej Autor: Helena Rasiowa Wyd. Wydawnictwo Naukowe PWN, Warszawa 1998, ISBN 83-01-01373-7 Publikacja zawiera elementy teorii mnogoci, logiki matematycznej i algegry abstrakcyjnej w zakresie zapewniaj¹cym odpowiednie przygotowanie do studiowania matematyki. Przeznaczona jest g³ównie dla studentów pierwszego roku matematyki na uniwersytetach do zajêæ z przedmiotu Wstêp do matematyki. SPIS TRECI Przedmowa Rozdzia³ I. Algebra zbiorów § 1. Pojêcie zbioru § 2. Suma zbiorów § 3. Iloczyn zbiorów. Prawa absorbcji i rozdzielnoci § 4. Ró¿nica zbiorów. Zwi¹zki pomiêdzy ró¿nic¹ i dzia³aniami dodawania i mno¿enia zbiorów § 5. Przestrzeñ. Dope³nienie zbioru § 6*. Aksjomaty algebry zbiorów § 7*. Cia³a zbiorów § 8. Funkcje zdaniowe jednej zmiennej § 9*. Wzmianka o aksjomatach teorii mnogoci § 10*. Uwagi o potrzebie aksjomatycznego ujêcia teorii mnogoci i o teoriach aksjomatycznych Rozdzia³ II. Liczby naturalne. Dowody indukcyjne § 1(*). Aksjomatyczne ujêcie liczb naturalnych. Zasada indukcji
Biography-center - Letter R
history/Mathematicians/Raphson.html; rasiowa, helena wwwhistory.mcs.st-and.ac.uk/~history/Mathematicians/rasiowa.html;Rasky, Harry www
http://www.biography-center.com/r.html

Extractions: random biography ! Any language Arabic Bulgarian Catalan Chinese (Simplified) Chinese (Traditional) Croatian Czech Danish Dutch English Estonian Finnish French German Greek Hebrew Hungarian Icelandic Indonesian Italian Japanese Korean Latvian Lithuanian Norwegian Polish Portuguese Romanian Russian Serbian Slovak Slovenian Spanish Swedish Turkish 483 biographies
AUTHOR INDEX
LOGIC, ALGEBRA AND COMPUTER SCIENCE helena rasiowa AND CECYLIA RAUSZER IN MEMORIAM.Warszawa, Poland June 10, 1995. 1. helena rasiowa and Cecylia Rauszer.
http://www.filozof.uni.lodz.pl/bulletin/v2534.html

Extractions: 1. Helena Rasiowa and Cecylia Rauszer. Two generations in Logic , Wiktor Bartol [DVI] 2. Helena Rasiowa's list of publications [DVI] 3. Cecylia Rauszer's list of publications [DVI] 4. Abstracts of lectures [DVI] 4.3. Representation Theorems for Implicative Structures, Wojciech Buszkowski [DVI] 4.4. Post Algebras in Helena Rasiowa's Explorations, Tadeusz Traczyk [DVI] 4.5. Non-classical Logics in Quantum Mechanics and Phisics, Maciej Maczynski [DVI] 4.6. Helena Rasiowa's and Cecylia Rauszer's Contribution to Algebra, Wiktor Bartol [DVI] 4.7. Helena Rasiowa's and Cecylia Rauszer's Research on Logical Foundations of Computer Science, Zdzislaw Pawlak and Andrzej Skowron
Instytut Filozofii U£
rasiowa, helena, Wstep do matematyki wspólczesnej, PWN, rózne wydania. 4helena rasiowa, Wste p do matematyki wspólczesnej, PWN Warszawa 1968.
http://www.filozof.uni.lodz.pl/podstawowe.htm

Extractions: Przedmioty podstawowe WPROWADZENIE DO FILOZOFII konwersatorium: 30 godzin; semestr I PROWADZ¥CY: prof. dr hab. Adam Nowaczyk WARUNKI ZALICZENIA: Aktywny udzia³ w dyskusji, pozytywna ocena pisemnych analiz tekstów. CEL ZAJÊÆ: Nabycie przez studentów pierwszego roku umiejêtnoci czytania i interpretacji tekstów filozoficznych oraz wypowiadania siê w kwestiach filozoficznych zarówno w dysk u sji jak i na pimie. PROPONOWANY TERMIN: poniedzia³e. 10.15-11.45, 12.00-13.30 (dwie grupy) PRO GRAM RAMOWY: Analiza wybranych fragmentów dzie³ filozoficznych reprezentuj¹cych ró¿ne epoki i style filozofowania. LITERATURA PODSTAWOWA: Niewielkie fragmenty dzie³ filozoficznych dostarczane w formie kserokopii; wród nich teksty Arystotelesa, Kartezjusz a, Berkeley'a, Hume'a, Hegla, Bergso na i filozofów wspó³czesnych. WPROWADZENIE DO FILOZOFII warsztaty: 30 godzin; semestr I PROWADZ¥CY: prof. nadzw. dr hab. Aldona Pobojewska WARUNKI ZALICZENIA: Nie wiêcej ni¿ trzy nieobecnoci, aktywny udzia³ w zajêc iach, napisanie relacji, streszczenia i rozprawki. CEL ZAJÊÆ: Zajêcia maj¹ za zadanie kszta³towanie u uczestników pewnego typu postawy poznawczej oraz wyrabianie u nich okrelonych umiejêtnoci niezbêdnych do zajmowania siê filozofi¹. Podejmowane s¹ próby kszta³towania:
Wstêp Do Matematyki Wspó³czesnej; Helena Rasiowa; Ksi±¿ka; Druk; Www.merlin
autor helena rasiowa Tytul Wstep do matematyki wspólczesnej Nosnikdruk Dzial ksiazka Identyfikator 8301-01373-7 Wydawca PWN.
http://www.merlin.com.pl/katalog/17/120731.html

Extractions: Jest to kolejne wznowienie podrêcznika znanego wielu pokoleniom studentów matematyki. Ksi±¿ka zawiera elementy teorii mnogo¶ci, logiki matematycznej i algebry abstrakcyjnej w zakresie zapewnij±cym Czytelnikowi odpowiednie przygotowanie do studiowania matematyki. Publikacja jest przeznaczona przede wszystkim dla studentów pierwszego roku matematyki na uniwersytetach, których, zgodnie z programem studiów, obowi±zuje wyk³ad "Wstêp do matematyki ". Bêdzie przydatna tak¿e studentom wydzia³ów przyrodniczych i technicznych ró¿nych uczelni wy¿szych a nawet humanistom pragn±cym przygotowaæ siê do g³êbszych studiów matematycznych.
Index For The Letter R
Lyle; Randell, Brian; Ranjan, Desh; rasiowa, helena; Ravi, R. Ravi,SS;
http://sigact.acm.org/genealogy/index-R.html
Warszaw University
Andrzej (1938); Niwinski, Damian (1987); Pelc, Andrzej (1981); Radev,Slavian (1981); rasiowa, helena (unknown year); Rozenberg, Gregorz
http://sigact.acm.org/genealogy/index-Warsaw.html
CWI Library: Acquisitions
Niwinski, Damian / Zawadowski, Marek / rasiowa, helena Logic, algebra, and computerscience helena rasiowa in memoriam minisemester held at the Stefan
http://www.cwi.nl/~rob/library/general/acquisitions/AW51_12.html

Extractions: To find certain reports, authors, key-words etc. use the search capabilities of your browser. Lietuvos matematiku draugijos XXXIX konferencija : Kaunas, 1998 m. birzelio 18-19 d. : pranesimu tezes Vilnius : MII, 1998 Proceedings of the thirty-third European Study Group with industry : Leiden, The Netherlands, 14-18.09.1998 Amsterdam : C.W.I., 1991 (CWI syllabus ; 46) Coates, John H. / Greenberg, Ralph / Ribet, Kenneth A. / Rubin, Karl / Viola, Carlo Arithmetic theory of elliptic curves : lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Cetraro, Italy, 12-19.07.1997 Berlin [etc.] : Springer, 1999 (Lecture notes in mathematics [LNM] ; 1716) Anastassiou, G. A. / Rachev, S. T. Solving moment problems with applications to stochastics Timisoara : Universitatea de Vest din Timisoara / Facultatea de matematica, 1998 (Monografii matematice ; 65) Ricker, Werner
Women In Math: Biographies
R. Ragsdale, Virginia (18701945 ) rasiowa, helena Ratner, Marina (1938 - ) Reid,Nancy (1952 - ) Rees, Mina Spiegel (1902-1997) Rees, Mina (1902- ) Reid, Nancy
http://www.uoregon.edu/~wmnmath/People/Biographies/R.html
A Report On LACS A Tribute To Helena Rasiowa
A Report on LACS a tribute to helena rasiowa. Logic, Algebra and ComputerScience. helena rasiowa. A Minisemester at Warsaw, December 222, 1996.
http://www.imsc.res.in/~iarcs/vol2-1/rasiowa.html

Extractions: The atmosphere was easy-unlike that in a standard conference-and the long span of the meeting gave one a lot of scope for academic interaction. Quite a few participants were close associates/students of Rasiowa, and so during conversations, one caught glimpses of the great personality as well. It was a privilege to be a part of the assembly and also, to present our work on rough logic that follows Rasiowa's style of investigation. The participants were accommodated either at the Banach Center, or hotels of the University of Warsaw, and the organizers took great care to see to the comfort of each one (in particular that none froze!). In general too, considering the extremely hard time that the Polish are going through, one was amazed at the warmth exuded and help extended, even by the common person on the street. Among the audience, we had a number of bright young students (Polish, and others), shooting questions, and enjoying the proceedings. I remember a nice evening with some of them, trudging through the ice to a concert at the renowned Chopin School of Music, and then being amply rewarded by the concert itself-three well-performed piano concertos by students of the School. We also had long exchanges about the problems in our countries, specially those in the academic spheres. There did not seem to be many differences.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

21-40 of 88 Back | 1 | 2 | 3 | 4 | 5 | Next 20