Geometry.Net - Scientists: Rasiowa Helena

Helena Rasiowa
Helena Rasiowa Seite aus einem deutschsprachigen OnlinePhilosophenlexikon. Die polnische Logikerin und Mathematikerin Helena Rasiowa wurde am 20.
http://www.philosophenlexikon.de/rasiowa.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 Die polnische Logikerin Bedeutende Mathematiker und Logiker wie Borsuk, , Mazurkiewicz, Sierpinski, Mostowski Ihre Dissertation verteidigte sie 1950. Es war ein Thema zu Algebra und Logik: Algebraic treatment of the functional calculus of Lewis and Heyting algebraischen Logik und zu den mathematischen Grundlagen der Computerwissenschaft. Post , Stone, Tarski powered by Uwe Wiedemann
DBLP: Helena Rasiowa
Helena Rasiowa. 1993. 13, Helena Rasiowa, V. Wiktor Marek Mechanical Proof Systemsfor Logic II, Consensus Programs and Their Procedding (Extended Abstract).
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rasiowa:Helena.html

Extractions: List of publications from the DBLP Bibliography Server FAQ Ask others: ACM CiteSeer CSB Google ... "Home Page Search" Engine Helena Rasiowa, V. Wiktor Marek : Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS 1993 Helena Rasiowa, V. Wiktor Marek : Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. JIIS 2 George Epstein ISMVL 1991 George Epstein ... ISMVL 1990 Helena Rasiowa: Logic of Approximation Reasoning. CSL 1987 Helena Rasiowa, George Epstein : Approximation Reasoning and Scott's Information Systems. ISMIS 1987 V. Wiktor Marek , Helena Rasiowa: Approximating Sets with Equivalence Relations. TCS 48 Helena Rasiowa, Andrzej Skowron : Approximation logic. Mathematical Methods of Specification and Synthesis of Software Systems 1985 Helena Rasiowa: Completeness in Classical Logic of Complex Algorithms. MFCS 1980 Helena Rasiowa: Logic of complex algorithms. FCT 1979 Helena Rasiowa: omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures. MFCS 1974 Helena Rasiowa: On the Logical Structure of Mix-valued Programs and the omega -valued Algorithmic Logic.
Rasiowa
Helena Rasiowa. Born 20 June 1917 in Vienna, Austria Died 9 Aug 1994 in Warsaw,Poland. Although Helena Rasiowa was born in Vienna, her parents were Polish.
http://www-gap.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.
Poster Of Rasiowa
Helena Rasiowa. lived from 1917 to 1994. Helena Rasiowa worked in algebraiclogic and the mathematical foundations of computer science.
http://www-gap.dcs.st-and.ac.uk/~history/Posters2/Rasiowa.html
Untitled
Helena Lindskog Helena Lourenço Helena Machado Rino Lucia Helena Martinho Helena Mitásová Helena Nyklová Helena rasiowa helena
http://www.informatik.uni-trier.de/~ley/db/indices/nst/BDJ.NST
Rasiowa Helena - Wstêp Do Matematyki Wspó³czesnej - Ksiegarnia.wysylkowa.pl
rasiowa helena,Wstep do matematyki wspólczesnej,Rasiowa,Helena,Wstep,do,matematyki,wspólczesnej,Wydawnictwo,Naukowe,PWNKsiegarnia wysylkowa jedna z
http://wysylkowa.pl/ks249366.html

Extractions: Jest to kolejne wznowienie podrêcznika znanego wielu pokoleniom studentów matematyki. Ksi±¿ka zawiera elementy logiki matematycznej, teorii mnogo¶ci i algebry abstrakcyjnej w zakresie zapewniaj±cym Czytelnikowi odpowiednie przygotowanie do studniowania matematyki wspó³czesnej; przeznaczona jest przede wszystkim dla studentów pierwszego roku matematyki na uniwersytetach, ale tak¿e przydatna bêdzie studentom kierunków technicznych, przyrodniczych a nawet humanistycznych.
Rasiowa H. - Wstêp Do Matematyki Wspó³czesnej - Ksiegarnia.wysylkowa.pl
Osoby zainteresowane ta ksiazka ogladaly takze Wstep do matematykiwspólczesnej Autor rasiowa helena Wyd. Wydawnictwo
http://wysylkowa.pl/ks245310.html

Extractions: Jest to kolejne wznowienie podrêcznika znanego wielu pokoleniom studentów matematyki. Ksi±¿ka zawiera elementy logiki matematycznej, teorii mnogo¶ci i algebry abstrakcyjnej w zakresie zapewniaj±cym Czytelnikowi odpowiednie przygotowanie do studniowania matematyki wspó³czesnej; przeznaczona jest przede wszystkim dla studentów pierwszego roku matematyki na uniwersytetach, ale tak¿e przydatna bêdzie studentom kierunków technicznych, przyrodniczych a nawet humanistycznych.
DBLP: Helena Rasiowa
Helena Rasiowa. 1993. 9, Helena Rasiowa, V. Wiktor Marek Mechanical Proof Systemsfor Logic II, Consensus Programs and Their Procedding (Extended Abstract).
http://dblab.comeng.cnu.ac.kr/~dolphin/db/indices/a-tree/r/Rasiowa:Helena.html

Extractions: List of publications from the DBLP Bibliography Server Search Home Page with HPSearch Helena Rasiowa, V. Wiktor Marek : Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS 1993 Helena Rasiowa, V. Wiktor Marek : Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. JIIS 2 George Epstein ISMVL 1991 George Epstein ... ISMVL 1990 Helena Rasiowa: Logic of Approximation Reasoning. CSL 1987 Helena Rasiowa, George Epstein : Approximation Reasoning and Scott's Information Systems. ISMIS 1987 V. Wiktor Marek , Helena Rasiowa: Approximating Sets with Equivalence Relations. TCS 48 Helena Rasiowa, Andrzej Skowron : Approximation logic. Mathematical Methods of Specification and Synthesis of Software Systems 1985 Helena Rasiowa: Completeness in Classical Logic of Complex Algorithms. MFCS 1980 Helena Rasiowa: Logic of complex algorithms. FCT 1979 Helena Rasiowa: omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures. MFCS 1974 Helena Rasiowa: On the Logical Structure of Mix-valued Programs and the omega -valued Algorithmic Logic.
Helena Rasiowa - ResearchIndex Document Query
Find Searching for PHRASE helena rasiowa. Restrict to Header Title Order byCitations Hubs Usage Date System busy. Suggested query helena or rasiowa.
http://citeseer.nj.nec.com/cs?q=Helena Rasiowa
Www.cs.utwente.nl/amast/links/v02/i01/AL0201O1.txt
O1 AMAST Links 02 01 Helenarasiowa helena Rasiowa, descendant and member of the Polish School of Logic
http://www.cs.utwente.nl/amast/links/v02/i01/AL0201O1.txt

Extractions: [O1] ================================================ AMAST Links 02 01 Helena Rasiowa Helena Rasiowa, descendant and member of the Polish School of Logic, died on 9 August, 1994. Born on 20 June 1917, she begun the studies of mathematics at the University of Warsaw in 1938. During the second world war she continued the studies at the Underground University. She wrote her Master's thesis under the supervision of Jan Lukasiewicz and obtained her M.Sc. degree in 1945. She received her Ph.D. degree under the supervision of Andrzej Mostowski in 1950. She held academic positions at the University of Warsaw from 1945 till 1992. She served as the Head of the Chair of Foundations of Mathematics (1964-1970) and the Head of the Chair of Mathematical Logic (1970-1992). The study of the relationship between logic and algebra, originated by work of Boole and continued by Lindenbaum, Tarski, Stone, McKinsey, Mostowski, Henkin, was the main research subject of Helena Rasiowa. Two very important developments in the algebraic study of logic were the introduction by Lindenbaum and Tarski of the method of treating equivalence classes of formulas as elements of an abstract algebraic system, and the treatment of formulas as algebraic functions in certain algebras originated by Lukasiewicz and Post with their generalization of truth tables. Algebraic methods in investigations of intuitionistic and modal logics were originated by Stone, Tarski and McKinsey. Helena Rasiowa became very active in these areas in early fifties. Jointly with Roman Sikorski, she presented the first algebraic proof of G"odel's completeness theorem for classical predicate logic. Next, she proved the analogous theorems for intuitionistic and modal logics algebraically. Since then many logicians have employed algebraic methods in investigations of logical calculi. Her first monograph `The Mathematics of Metamathemathics' (Polish Science Publishers, Warsaw 1963), joint with Roman Sikorski, contains a comprehensive survey of algebraic theories of logical calculi. The algebraization is presented of classical, intuitionistic, modal and positive logics. The book concentrates on metalogical theorems concerning predicate calculi of these logics and on investigation of elementary theories based on these logics. In the next monograph `Algebraic Approach to Non-Classical Logics' (Studies in Logic and the Foundations of Mathematics, vol. 78, North Holland, Amsterdam 1974), Helena Rasiowa developed a general theory of algebraization of logical systems. Within the framework of this theory she presented algebraizations of a number of non-classical logics: classical and positive implicative logics, logics weaker than positive implicative logic, minimal logic, positive logic with semi-negation, constructive logic with strong negation, and multiple-valued Post logics. From the early seventies on, Helena Rasiowa became interested in foundational problems in computation theory. She recognised that theoretical computer science has represented an important source of inspiration in development of logic. She initiated research on logics of programs; algorithmic logic and its theory was developed under her supervision. She was working on a theory of approximate reasoning and developed various AI-oriented logical systems for modeling cognitive processes. She was active in her work till the last days, during the past two years she was working on a new monograph: `Algebraic Analysis of Non-Classical First Order Logics'. Helena Rasiowa was the founder and the editor-in-chief of Fundamenta Informaticae, collecting editor of Studia Logica, and associate editor of the Journal of Approximate Reasoning. She received numerous honors and awards, including Sierpinski medal, the title of Honorary Member of the Polish Mathematical Society, the Stefan Mazurkiewicz Award of the Polish Mathematical Society, and the First Class State Science Award in Mathematics. She served as President of the Warsaw Division of The Polish Mathematical Society and as Assessor of the Division of Logic, Methodology, and Philosophy of Science of the International Union of History and Philosophy of Science. She served the Association for Symbolic Logic as a member of the Council. She was the Head of the Council of the Polish Association of Logic and Philosophy of Science. Helena Rasiowa exerted a great influence on many logicians around the world, her death is a great loss for the logic community. Ewa Orlowska.
Www.cs.utwente.nl/amast/links/v02/i01/AL0201.txt
AMAST ftp repository A2 This issue O1 AMAST Links 02 01 Helena rasiowa helena Rasiowa, descendant and
http://www.cs.utwente.nl/amast/links/v02/i01/AL0201.txt
Rasiowa
Helena Rasiowa. Born June 20, 1917, Vienna, Austria. Died Aug 9, 1994, Warsaw,Poland Although Helena Rasiowa was born in Vienna, her parents were Polish.
http://members.fortunecity.com/jonhays/Rasiowa.htm

Extractions: Born: June 20, 1917, Vienna, Austria. Died: Aug 9, 1994, Warsaw, Poland 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. Borsuk, for example, was imprisoned after the authorities found that he was helping to run the underground university. In this dangerous situation Rasiowa learnt mathematics, knowing that the penalties for being discovered were extreme. Yet in this environment Rasiowa studied for her Master's Degree under Lukasiewicz's supervision.
BIULETYN NABYTKàW
54256, S/4926 302. rasiowa helena Wstep do matematyki wspólczesnej / HelenaRasiowa. Wyd. 12. - Warszawa Wydaw. Naukowe PWN, 2001. - 302 s. il.
http://biblioteka.aon.edu.pl/biuletyn/111201/biul_r.htm
Nowosci Biblioteki Instytutu Informatyki UwB
Helion, Gliwice 2002; rasiowa helena Wstep do matematyki wsplczesnejWydawnictwo Naukowe PWN, Warszawa 1998; Bialasiewicz Jan T
http://ii.uwb.edu.pl/bibl.html

Extractions: zaprasza nowoci rachunek umbralny Rota incidence algebras ... dary Nowoci Knuth Donald - Sztuka programowania, T1- Algorytmy podstawowe, T2- Algorytmy seminumeryczne, T3- Sortowanie i wyszukiwanie Wydwanictwa Naukowo-Techniczne, Warszawa 2002 Stasiewicz Andrzej - C++ Builder, 20 efektywnych programów , Helion, Gliwice 2002 Rasiowa Helena - Wstêp do matematyki wsp³czesnej Wydawnictwo Naukowe PWN, Warszawa 1998 Bia³asiewicz Jan T. - Falki i aproksymacje , Wydwanictwa Naukowo-Techniczne, Warszawa 2000 Redmond Don - Number Theory. An Introduction , MARCEL DEKKER, INC., New York - Besel - Hong Kong, 1996 Spiegel Eugene, O'Donnell Christopher J. - Incidence Algebras , MARCEL DEKKER, INC., Nwe York - Basel - Hong Kong, 1997 Ballew Scott M. - Zarz¹dzanie Sieciami IP za Pomoc¹ Ruterów Cisco , Wydawnictwo RM, Warszawa, 1998 S³upecki Jerzy, Ha³kowska Katarzyna, Piróg - Rzepecka Krystyna, Logika Matematyczna ,Wydawnictwo Naukowe PWN, Warszawa 1999 Stachurski Andrzej, Wierzbicki Andrzej P. - Podstawy Optymalizacji , Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 1999 Palczewski Andrzej - Równania Ró¿niczkowe Zwyczajne. Teoria i Metody Numeryczne z Wykorzystaniem Komputerowego Systemu Obliczeñ Symbolicznych
Dipartimento Di Informatica - Università Di Torino
Rangan Venkat, Ranky Paul, Rao K. Raoult J. Rapaport William. RapoportA. Rappaport Alain, rasiowa helena, Rasmussen Jens, Ratcliff Bryan.
http://www.di.unito.it/various/biblioteca/autori.php?autore=R
Katalogi - Katalogi BGPP - Wykaz Podrêczników - Automatyka I Robotyka
Zarys teorii. Warszawa, PWN, 1981; rasiowa helena, Wstep do matematykiwspólczesnej. Wyd. 5. Warszawa, PWN, 1975. Przedmiot TEORIA
http://www.ml.put.poznan.pl/katalogi/p_podrecznik_el_aut.shtml
ACM Guide: Author Index
Translate this page Rasinghani Mahesh S. Rasinghani. Rasio Frederic A. Rasio. Rasiowa H Rasiowa H.rasiowa helena Rasiowa. Rask M. Rask R. Rask Raimo Rask. Raskar Ramesh Raskar.
http://portal.acm.org/authors.cfm?part=author&dl=ACM&coll=portal&row=R&idx=45&id
Nabytki BG WAT - Dzial 51 - Matematyka
Sygn. 56726. 255. rasiowa helena Wstep do matematyki wspólczesnej / Helena Rasiowa. Wyd. 11. - Warszawa Wydaw. Nauk. PWN, 1999. - 302 s. il. ; 24 cm.
http://148.81.116.18/nabytki/2000_3/51.html
Helena Rasiowa-a View Of The Academic Trajectory And The Influence Upon Polish A
p. 144 helena rasiowaa view of the academic trajectory and the influence upon Polish and international scientific
http://www.computer.org/proceedings/ismvl/7392/73920144abs.htm

Extractions: 26th International Symposium on Multiple-Valued Logic (ISMVL '96) January 19 - 31, 1996 Jantiago de Compostela, SPAIN p. 144 Helena Rasiowa-a view of the academic trajectory and the influence upon Polish and international scientific community G. Malinowski Dept. of Logic, Lodz Univ., Poland The death of H. Rasiowa was a big loss for both, the Polish and the international scientific community. The life of Professor Rasiowa was passionately devoted to the development of logic, algebra and computer science and brought the fruits already reckoned among the results of the highest importance. The influence of her personality goes far beyond Poland and the group of logicians, mathematicians and computer scientists. Index Terms- ... computer science; Helena Rasiowa; logic; algebra; computer science; Professor Rasiowa; scientific community; academic trajectory The full text of ismvl is available to members of the IEEE Computer Society who have an online subscription and an web account
On The Contributions Of Helena Rasiowa To Mathematical Logic
p. 147 On the contributions of helena rasiowa to mathematical logic
http://www.computer.org/proceedings/ismvl/7392/73920147abs.htm

Extractions: 26th International Symposium on Multiple-Valued Logic (ISMVL '96) January 19 - 31, 1996 Jantiago de Compostela, SPAIN p. 147 On the contributions of Helena Rasiowa to mathematical logic J.M. Font Fac. of Math., Barcelona Univ., Spain Summarizes the central aspects of the contributions of Helena Rasiowa (1917-1994) to the more traditional or classical part of Mathematical Logic. One could reasonably argue that all her original research properly belongs to Mathematical Logic, more precisely to the sub-field of Algebraic Logic. As a natural consequence of her previous work on non-classical logics, in the seventies she began to study several logics motivated by computational questions, but still the spirit of her original contributions retained the same algebraic flavour. Even the introductory book (1973) bears this mark: it contains elementary set theory with special attention to ordered sets, mathematical logic, and abstract algebra. Index Terms- ... formal logic; biographies; Helena Rasiowa; mathematical logic; abstract algebra; ordered sets; non-classical logics The full text of ismvl is available to members of the IEEE Computer Society who have an online subscription and an web account

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

1-20 of 88 1 | 2 | 3 | 4 | 5 | Next 20