Geometry.Net - the online learning center
Home  - Scientists - Rasiowa Helena

e99.com Bookstore
  
Images 
Newsgroups
Page 5     81-88 of 88    Back | 1  | 2  | 3  | 4  | 5 
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)
  1. Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing)
  2. The mathematics of metamathematics (Polska Akademia Nauk. Monografie matematyczne) by Helena Rasiowa, 1963
  3. Mathematical problems in computation theory (Banach Center publications) (English and Russian Edition)
  4. Understanding Computers' Intelligence:Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa by D. Niwinski, 2010-08-15
  5. Introduction to Modern Mathematics by Helena Rasiowa, 1973
  6. Fundamenta Informaticae - Vol 1, No 1
  7. Mathematical Foundations of Computer Science (Banach Center Publications, Volume 2) by Helena Rasiowa, A Banachowski, 1977
  8. Lectures on infinitary logic and logics of programs (Quaderni. Serie III) by Helena Rasiowa, 1982
  9. The Mathematics of Metamathematics by Helena & Roman Sikorski Rasiowa, 1963-01-01
  10. Mathematics of Metamathematics.Second Edition Revised. by Helena Rasiowa, 1968
  11. A generalization of a formalized theory of fields of sets on nonclassical logics (Instytut Matematyczny Polskiej Akademii Nauk. Rozprawy matematyczne) by Helena Rasiowa, 1964

81. Sophies Welt - Www.ezboard.com
Translate this page Lukanien Ossowska, Maria Pamphila von Epidauros Pantakleia Peisirrhode von TarentPhemonoe Philtys Phintys von Sparta Phyllis Porcia rasiowa, helena Sachs, Eva
http://pub115.ezboard.com/fdocgonzossprechzimmerfrm7.showMessage?topicID=12.topi

82. Contents, Volume 5
Modern Logic 5/3, July 1995. Wiktor BARTOL, Ewa ORLOWSKA Andrzej SKOWRON,helena rasiowa, 1917 1994, Modern Logic 5 (1995), 231 - 247.
http://www.ed.ac.uk/philosophy/ml/abs5.html
Modern Logic
Contents and abstracts for Modern Logic Volume 5
Vol. 5, no. 1 Vol. 5, no. 2 Vol. 5, no. 3 Vol. 5, no. 4
Modern Logic /1, January 1995
Studies in the Nineteenth-century History of Algebraic Logic and Universal Algebra: A Secondary Bibliography Modern Logic
This bibliography lists all the nineteenth and twentieth century secondary materials on the nineteenth century history of algebraic logic, universal algebra and closely related topics, including lattice theory known to the compilers up to the time of printing. Also included are secondary studies on such areas as linear and multilinear algebra and what in the early nineteenth century such British algebraists as George Peacock and Charles Babbage called "symbolical algebra" which had an influence on the research in logic of such men as Boole, Charles Peirce, Schroeder, and Whitehead, among others. The bibliography lists approximately 1400 items.
Modern Logic /2, April 1995
Benjamin S. HAWKINS, Jr. De Morgan, Victorian syllogistic and relational logic Modern Logic
Historical analysis of the work in logic of Augustus De Morgan is set within the context of the Victorian scientific, intellectual and cultural milieu. De Morgan's concepts of formal logic and formal systems are analyzed, and a contrast is drawn between Victorian and modern aspects of De Morgan's work. The origins of De Morgan's Laws are noted as is his work in the logic of relations. The study includes a review of Daniel Merrill's book

83. Untitled
helena rasiowa
http://www.jesmanowicz.com/leon/car/car.php?name=Helena Rasiowa&nr=89

84. SwtMathworks
January 2000 Full Issue (3.5M). Page. Contents. 1, Cover (328K). 2, BiographyHelena rasiowa (292K) Laura Chavkin. 3, Problems of the Month (284K). 4,
http://mathexplorer.math.swt.edu/Mathworks/Magazines/MathExplorer/99_00/January
January 2000 Full Issue
Page
Contents

Cover
Biography: Helena Rasiowa
Laura Chavkin Problems of the Month Texas Connections
Texas Connections (cont'd)
Puzzle Page ... Math Notes
Links
Subscribe
Math Reader Math Explorer
October 1999 ... December 1999 January 2000 February 2000 March 2000 April 2000 Summer 2000

85. Algebraische Strukturen Und Logische Kalküle - Hauptseite

http://www.uni-leipzig.de/~logik/aslk/
Vorausgesetzt Seminarplan Literatur
, Springer 1955.
Helena Rasiowa, Roman Sikorski, The Mathematics of Metamathematics , PWN 1963
Theory of Logical Calculi , Kluwer 1988. Das Proseminar findet jeweils Mittwochs 09 - 11 Uhr im Raum 2-33/34 (SG) statt. Peter Steinacker

86. GAZETTE N°16

http://www.math.univ-montp2.fr/gazette/Annee1999-2000/16/
Next: About this document ...
Département des Sciences Mathématiques
Gazette N o
- Semaine du 07/02/2000 au 11/02/2000 -
Convergence d'une méthode de type proximal fondée sur la pénalisation exponentielle pour la programmation linéaire
, mardi 8 février à 16h30, salle 331, , par R. Wolak.
, jeudi 10 février à 14h00, salle 431, , par S. Foutou-Cupit (Université de Strasbourg).
Sur la nature de la turbulence développée , par K. Gawedski (IHES).
Déterminant (relatif) du laplacien sur les variétés non-compactes , par G. Carron (ENS Lyon).
2. Groupes de travail.
Problèmes non locaux en analyse variationnelle
, mardi 8 février, à 17h en salle 431. Classes caractéristiques et singularités , jeudi 10 février, à 10h30, en salle 431. Sur les groupes arithmétiques , jeudi 10 février, à 15h15, en salle 431. Sur la courbure scalaire , vendredi 11 février, à 9h30, en salle 207. 3. Acquisitions de la Bibliothèque. - DELIGNE, Pierre et al. editors / Quantum Fields and strings : A course for mathematicians : volume 1 - Providence R.I. : A.M.S, 1999.

87. Grazyna Mirkowska CV
Mathematics and Mechanics, Warsaw University promotor prof. HelenaRasiowa reviewers prof. Z. Pawlak, prof. A. Mostowski. Dr. Sc.
http://www.univ-pau.fr/~salwicki/cvgr95eng.html
GRAZYNA MIRKOWSKA
Curriculum Vitae
Publications Table of Contents CURRICULUM VITAE
Degrees

Professional career

TEACHER
...
Organizer of international meetings
1. CURRICULUM VITAE
name: Mirkowska-Salwicka first and middle name: Miroslawa Grazyna born: 23 kwietnia 1943r. Skarzysko-Kamienna POLAND address: 5, rue Pasteur Cadier, res. Chenes 2, 64000 Pau, France
tel. family: married, 2 children citizenship: polish employed: professor at Université de Pau, Departement d'Informatique to Table of Contents
1.1. Degrees
M.Sc.
title: Grammar of Curry's Formalism
date: 23-06-1965
place: Department of Mathematics and Physics, Warsaw University
director: prof. dr hab. Z. Pawlak
Ph.D. title: Algorithmic Logic and its applications in the theory of programs date: 12-06-1972 place: Department of Mathematics and Mechanics, Warsaw University promotor: prof. Helena Rasiowa reviewers: prof. Z. Pawlak, prof. A. Mostowski Dr. Sc. (habilitation) title: PAL - Propositional Algorithmic Logic date: 15-06-1981 place:Department of Mathematics, Informatics and Mechanics, Warsaw University opponents: prof. E; Engeler, prof. H. Rasiowa, prof. A. Blikle

88. ? ?.?.?
The summary for this Ukrainian page contains characters that cannot be correctly displayed in this language/character set.
http://homepages.tversu.ru/~p000101/tt.html

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  

Page 5     81-88 of 88    Back | 1  | 2  | 3  | 4  | 5 

free hit counter