Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.intsys.msu.ru/staff/kudryavtsev/BF_und_PK_1.pdf Дата изменения: Sun Dec 21 03:21:45 2008 Дата индексирования: Mon Oct 1 22:39:37 2012 Кодировка:

S.W. Jablonski G.P. Gawrilow W.B. Kudrjawzew

Booleshe Funktionen
und

Postshe Klassen

Vieweg C.F. Winter

Logik und Grundlagen der Mathematik


Logik und Grundlogen der Mothemotik
Hrousgegeen von

S. \X/. Jablonski

G. P. Gawrilow

Prof. Dr. Dieter Rodding, ijnster
Bond 6

W. B. Kudrjawzew

Bond

l

L. Fe|ix, lemntormothmotik in modrnr DorsteIlung
Bond 2 A. A. Sinowjew, Uer mhrwrtige Logik Bond
3

Blsh F'unktinn und Postsh Klassn

J. . Whitesitt, Boolsh AIgero und ihre Anwndungen

Bond 4

G. Chognet, Nue lmentogeometrie
Bond 5 A. onjolIon, infijhrung in di moderne qthemotik Bond 6 s. W. Joblonski lG.P. Gowri|ow /W. B. Kudrjowzw, BooIeshe Funktionn und Postshe Klossen
C. F. Winter,she Yerlagsuhhandlung . Basel

idr. Yiweg & Sohn . Braunshweig


-

Ullrstzung: I)r. Illf 'Lirrlner, Jrra tl:rkLi
Inha]tsvrzihnis

inlittrng rster Til

vtr

Kapitl I. Grunlbgriff

$ 1. Definition
$ $ $ $
2. 3. 4. 5.

lsBN
L970

528 08286

0

$ 6. Kapitl II. Selbstduale, monotone urrd linae Boot,slr i'unktirrn $ 1. Slbstdualitiit. Die }Inge./), rrnd ihr Rasis. in Lmma
slbsttluale

'

I

I

+

6

I

2. Mnotonie. Di }Inge ,4' rrnd ihr asis. in T,ernrn, iib niht. monotone lltnktionen. Gkiirzte alternative Normalformn 3. Die Mnge l), und ihr Basis. 4. Linarit:i't. I)r Satz von Se,r-IN. Ein Lmma iibr nihtlinare
Boor,st.he }''unkt ionen

tr'unktionrr

iiber

li)

l5

12

t8

Titel der russishen originalausgae: C. B. I{' . . ap.lto, B. . I{y'Ltpe rrrt apI I{II lI aI IIoTa
rshinen 1966 im Vrlag NAUKA, Moskau opyright @ r9?0 y Akaderni-Vrlg GmbH
Lizenzausgae des Akademie.Yerlages. 1}rlin
,All Rehte n der deutshen Ausgabe vorbelralten

Kapitel II. }.rrndamrrt,tpn

ab

gshlossene i}Irrgen O-Separation vom Grade

iibr abgshlossn, die tr'unkt,ion eJ nt,haltende Mngen $ 2. in Lmma iibr die Bziehungn zrvischn dr 0- irnd l.Sparation vom Grad 2, der Slbstdualitd.t und dr Morlotoni Boor,sher

$ 1. n'undamrrtt;rprr' Dic l- und
Frrnktionen

2.

Lrrrmata

2t
o

Druk: VR Drukerei ,,Thmas Miintzeroo, 582 Rad Langsalza Printed in Grmany Bstell.Nr. B2B6

$ 3. Die Menge Cn rrd ihr Basis ' $ 4. Di Mngen , rInd , und ihr $ 5. Di slbstdu:r'ln a.Funktionn
I{apitl

26 Basn

27
2S

IY. Einige s1lzill abgshlossne }Ingen $ l. Die 0- und l-Saation vom Gradtrl rrnd
Boo,Eshr }.unktion en


0- und l..Sparation
31


VI
s s s

]

nha

ltsvzilrnis
die 34

2. Di 3. Die 4. 5. 6. 7. 8. 9.

s
$

l0.

Mrng /fl und ihr Basis. Ein Lemra iier (a, 7).Mngen, di 1fl enthaitn Die engn 1fl, i und ihr Basen. Ein Lemma tibr (cr)-Mngn, die .F'fl nt'halten. in Lemma iibr (,y)-}Iengen, die -!'fl nthalten Ein Lmma iiber di ordnungen von , 1v?, n;,I? Ein Lmma iibr l\[engn vn Funktionen, di l-spairnd vom Grade 2, jedoh niht vom Gad 7-l _[ r (>2) sind Die Mng.{ und ihre Basis. Die lfenge -P( und ihre Basis. Die Mengen 1|t, nt und ihre ]]asn Ein Lemma iibr di ordnungn 1,on lff, n n';, n. .

/fl

nge

nt,haltn

/fl und ihr Basis. in Lemma iier (a)-}Iengen,

rr
37 38

40

4l

4I
43

Zrvitr Til

Kapitel V. Charakt,risirung dr abgrschlossnen l\Iengen in 3.

2. Abgschlossene engen linarr Boor,shr 4. 5. 6. 7.
-,

l. Die

Q
45
1,7

abgeshlosserren l(ngn

1,,

P,;, S;

().l[ngen (rster Til). (a' 6)-l[ngn 8. (", 0)- rrnd (t, y)-Mengen (rster Til) ..... 9. (*).Mngen (z.iter Teil) 10. (a, 0)-, (",7)-llengn (zwiter Til) l1.. Die Hauptsd,tz von Pos iiber abgeshlossen ngn Boo-slrr

(, {],7).Mengen {", 0, y, d)-}Iengen

{y)-, {0,

y)-Mengen

Trrnktionn

49 49 50
50 52 55 58

oJ

Tunktionen

6l

Kapitel VI. Die Konstrukt'ion ds Posshn Graplrn aller abgshlossnn 1. (a)-l[engen 2. (, 0)- und (a,
Mensen

3. (o, 4. (, 5. Di Konstruktion des Posschn Gaphn all abgeshlssnn
Mngn. inig

7)-l[engn d)-Mngn F' y)-ngn

63 66 68 69 69
12
,17

Folgerungrn.

labell der abgshlossenen engn Boolsher n'rrntionen
Liter t urvzihnis

Namen- und Sachrsistr

8l